大きな領域をだいたい終わらせられたので、多少は活躍できているのかもしれません。一つ大きな領域(でも仕様書見た感じたいしたことなかったぞ?)をあと四日くらいで倒せばなんとか通常くらいのスケジュールに戻れるそうです。終わったあとチームの人とだらだら話したりしました。この会社はどうなってゆくんでしょうね、とか。僕としたところで、拾ってもらってずいぶんよくしてもらっていることには感謝の言葉もないけれど、かといってここにいたって幸福にはならないんじゃないかなあという気はする。いって転職とか嫌だなあと思う(そもそも就活なるものがまったくできなかったからここにいるわけだし)。二兆円が降ってきたらニートになるんだけども。休めば身体の具合がよくなりそうな気がするんだよね。あとアニメを観たり数学をしたり。いえば数学はついにノートが一冊おわりました。書き始めたのが11/06らしいので、ちょうど一ヶ月ということになります。昨夜は逆極限が圏論的な意味での極限になっていることを示したのと、Z/p^nZの逆極限からp進整数を作るところまで進みました。02:10:02https://ofni.necocen.info/16811206夕方まで寝て、それから数学をしています。p進整数Zpの性質をいくつか。稠密とか閉包とかの言葉にあまり馴染みがないのでちょっと証明に手こずっています。お酒飲みたかったんだけどな。今夜はアニメを観つつ数学。いえば「楽園追放」が家でもiTunesのレンタル機能で観られるらしいので、今夜観ると思います。23:53:18https://ofni.necocen.info/16821207昨晩は「楽園追放」を観ました。基本的な流れはとても素直で、「未成熟な仮想現実に不満を抱いて地上に残った人々もいました」的な遠未来昔話という感じで、アンジェラさんがそれでいいならいいんじゃないでしょうか、みたいな。仮想現実に制約がいろいろあるのはまったく仮想現実にとって本質的な事柄ではない、と僕は信じているので、これがただの昔話になることを願ってやみません(どうせ僕には関係のない未来の話だけれども)。いえ映像とストーリーは魅力的なので(かわいかった)、そういう話ということならそれでいいのかな、とも。夕方まで寝ていましたが風邪いです。今日はなんか手続きめいたことを二三しました。あとすこしだけ仕事のコードを見ました。余裕があるような気がなぜかしていたのだけど、そうでもないような気がしてきました。23:51:40https://ofni.necocen.info/16831208あまり眠られなかった感じだったけど案外気分は悪くなかったのでよかった。)を買って遊んでいたので数学はしていません。このゲームはよいです。謎解きアドベンチャーゲーム?(アドベンチャーゲームってなんなのか知らずに言っています)なんだけど、グラフィックがとても素敵。こんなのがリアルタイムでできるんですね。今夜もこれで遊んで数学しなさそう。そもそも帰るの遅くなっちゃったから時間あんまりないし......お昼から仕事。僕の担当画面二つのうちの一つがほぼ終わりだなーと思っていたのだけど、細かい不具合にけっこう手間取ってしまって結局一日かかってしまいました。Swiftのビルドの遅さは、まっすぐ書いているうちはそれほど気にならない(一息つく時間になるし)けれど、不具合対応で試行錯誤しているときはほんとうにフラストレイションだなあと思いました。これで本当に一つは終わりなので、あと三日がんばってもう一つをやります。