1104
お昼から仕事。ぼんやり。バッテリー消費が激しい問題をちょっと調べたけど、Instrumentsとニラメッコしてるだけではよくわかりませんでした。ただバックグラウンドなのに描画関係でCPUを使っているらしいので、次はそのあたりの調査をしようと思います(とはいえ心当たりがあまりない。ただバックグラウンドで起きているだけでも不可避的に起こるのでは?)。
夜はa,ßとご飯を食べました。誘ってくれたのはßだったけど僕はaと数学の話ばっかりしていた(すみません)。最近米田の補題って読んだんだけどこれどうつかうと便利なん?とか、極限ってあんまり極限感ないけどどうなん?とか訊いた。米田の補題は、僕が読んだところまでだと関手で飛ばしたSetsの対象がその関手にまつわる自然変換の集合と同型って話だったけど、ある2つの対象について、それぞれ対象を固定して別の対象からHomを作る関手Hom(X,-)とHom(Y,-)の同型を言えればXとYとの同型が言える、という使いかたが多い、そうです。あと、Hom(X,-)にしたほうが対象がちょっと「具体的っぽく」なるのでわかりやすくなる、みたいな話もしていたような気がするけど、この説明も僕の理解もあまり正確ではないでしょう。とにかくめっちゃ使うそうです。あと数論の教科書を薦めてもらったので、いま読んでる本の次に読もう。
自分より頭の良い人と話すのは楽しいなあと思う。
今夜はお風呂に入って、髪が乾くまで録画してあるはずのすべFを観ましょう。あと米田の補題の証明、メタメタしくってよくわからないので、ちゃんと絵を描いて確かめよう。