andante

2014-11-05

1104

お昼から仕事ぼんやりバッテリー消費が激しい問題をちょっと調べたけどInstrumentsとニラメッコしてるだけではよくわかりませんでしたただバックグラウンドなのに描画関係でCPUを使っているらしいので次はそのあたりの調査をしようと思いますとはいえ心当たりがあまりないただバックグラウンドで起きているだけでも不可避的に起こるのでは


夜はa,ßとご飯を食べました誘ってくれたのはßだったけど僕はaと数学の話ばっかりしていたすみません最近米田の補題って読んだんだけどこれどうつかうと便利なんとか極限ってあんまり極限感ないけどどうなんとか訊いた米田の補題は僕が読んだところまでだと関手で飛ばしたSetsの対象がその関手にまつわる自然変換の集合と同型って話だったけどある2つの対象についてそれぞれ対象を固定して別の対象からHomを作る関手Hom(X,-)とHom(Y,-)の同型を言えればXとYとの同型が言えるという使いかたが多いそうですあとHom(X,-)にしたほうが対象がちょっと具体的っぽくなるのでわかりやすくなるみたいな話もしていたような気がするけどこの説明も僕の理解もあまり正確ではないでしょうとにかくめっちゃ使うそうですあと数論の教科書を薦めてもらったのでいま読んでる本の次に読もう

自分より頭の良い人と話すのは楽しいなあと思う


今夜はお風呂に入って髪が乾くまで録画してあるはずのすべFを観ましょうあと米田の補題の証明メタメタしくってよくわからないのでちゃんと絵を描いて確かめよう

1105

朝起きた瞬間あっこれはだめだなと思ったので迷った末に会社を休みました結局一日寝ていたしまあ正しい判断だったのでしょういまはそれほど忙しくないし問題ないはず……


そういえば就職して一年になります率直に言っていろいろなものへの失望ばかりの一年でした次の一年はどうしようもっと外向きに出力してゆかないといけないのかなあ怖いし億劫だけど閉じこもっててもいいことなんにもない気がしてきたもっと外で褒められなくては


ぐんにょりしてるので今夜はもう寝ます明日はよくなっていてくれないと困る