1001
0110 0220 0330 1001 1111 1221
「圏論の歩き方」読みました。読んだは読んだけど半分くらいはぜんぜんわからなくて、ただおもしろそうな感じに酩酊しただけであった。圏論的論理学のこととか、圏論的量子力学とのアナロジーとか。残りの半分は定義を紙に書いたりしながらなんとなく雰囲気はわかったので、それはそれでよかったし。でも、わからなかったパートがもうちょっと簡単だったらよかったのになあ、とも。
朝起きたらOSXのEl Capitanが来てたのできゃぴきゃぴしました。いまのところ特段おもしろいことはないけどこっちでもシステムフォントが変わった。だんだん好きになってきた気がするけど、やっぱり数字の2と7とがジオメトリックすぎる気がする。慣れかなあ。
仕事は比較的順調。ただロジック部分の仕様が地味にちょっとよくない可能性が出てきたので、ちょっと修正が必要かも。どう直せばいいのかまだ考えてないけど。あと現実的な使用でどの程度問題になるか、とか。
あとそろそろCoreDataとかAPIとかと向き合わないといけない時期なんだけど、APIは来週まで来なさそうだし、もうちょっとUI詰めておこう。あとロードが遅いのをいいかげんなんとかしたい。半分は地図が悪い気がするけれど(遅延ロードできないかな?)。
今夜はこれから「ビューティフル・マインド」を観ます(アポロ13はどうした)。