1205
僕の会社は13:00からがコアタイムなので、それより遅れると遅刻と判定されるのですが、今朝は12:38に起きて12:58に出社するという誤った成功体験を獲得してしまいました。これはよくない。
お昼から仕事。なんかいろいろ。とりあえず大きな領域をだいたい終わらせられたので、多少は活躍できているのかもしれません。もう一つ大きな領域(でも仕様書見た感じたいしたことなかったぞ?)をあと四日くらいで倒せばなんとか通常くらいのスケジュールに戻れるそうです。フムン。
終わったあとチームの人とだらだら話したりしました。この会社はどうなってゆくんでしょうね、とか。うーむ。
僕としたところで、拾ってもらってずいぶんよくしてもらっていることには感謝の言葉もないけれど、かといってここにいたって幸福にはならないんじゃないかなあという気はする。かといって転職とか嫌だなあと思う(そもそも就活なるものがまったくできなかったからここにいるわけだし)。二兆円が降ってきたらニートになるんだけども。
さて、やっと週末。もうちょっと休めば身体の具合がよくなりそうな気がするんだよね。あとアニメを観たり数学をしたり。そういえば数学はついにノートが一冊おわりました。書き始めたのが11/06らしいので、ちょうど一ヶ月ということになります。やったね。
昨夜は逆極限が圏論的な意味での極限になっていることを示したのと、Z/p^nZの逆極限からp進整数を作るところまで進みました。うーん、ZとかQで変換して黒板書体になってほしいなあ、辞書登録するか?(それもアホらしい気がする、でもäとかßとかはAE/SSで登録したしな、そう考えると妥当かもしれない)