andante

1645

1030

また寝坊しましたウー


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


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

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