diary

1030

また寝坊しました。ウー。


お昼から仕事。あいかわらず具合が悪くてのろのろとしていましたが、なんとか目標のリファクタは一段落しました。これでちょっとは見透しが良くなったので、UI要素の簡単化を進めようと思います。
あと仕様変更について議論。コンセプトを再設定した感じで、それはいいんだけどその実現には時間がかかりそう。うまくゆくといいのだけど。


昨晩ふと思い立って「層・圏・トポス」を読み始めました。評判の本だからと買ったきり五年くらいほったらかしていたのです。なんで読まなかったんだっけ。言葉遣いの古めかしさがなんか嫌だったのか。
前層の定義、僕の抽象力の限界のちょっと上くらいにある感じがしていきなり難しいです。あと二種類の定義の同値性のところ、この構成ちょっとおかしくない?

ほんとうは物理の本を読もうと思ったのだけど、前まで読んでた「ゲージ場の量子論」をひさびさに開いたらなんだかぜんぜん読める気がしなくて、あーこりゃだめだな、と思ってやめたのでした。そもそも量子力学から復習しないといけない感じがあるし、計算もつらそうだ。ふうむ。