0710
昨晩はWWDC観たあと数学をしました。離散付値、いまはまだなんでこんなものが出てきたのかよくわかりません。いや、しかし$\Q$を$\Q_p$にすると便利だったように（僕はあれ、本質的に$\Q_p$の便利さだったのかまだ腑に落ちていませんが）、一般の体に関しても$K_\nu$を考えると便利なのかしら。でもまだ具体的にどんな種類の問題に便利なのかはわからないな。ちょっとしんどい。
仕事はちょっと厳しい感じ。というのもけっこう致命的なクラッシュレポートが届いたからで、おそらくそこまで頻繁に起こるケースではないにせよ（もしそうなら検証で見つかっただろう）バージョンアップ初日に来たからには今後続々来る可能性があるし、それだったらとてもつらい。そして対応は次バージョンすなわち二週間後になってしまうわけで、非常に心苦しいし、ショックだ。うーん、慢心、かなあ。ともあれつらい二週間が始まりそうです。
それ以外はまあ順調。不具合対応と微調整以外は完了。
さて週末。喉の痛みはまだ続いていますが健康状態はそこまで悪くない感じなので、さらにゆっくり休んで回復したいところ。