風邪い感じはエアコンの風邪がよくないのかなと思い始めたのですが、じゃあどうしたらいいのだろう。このエアコン、横方向には風向変えられないのよね。寝る場所変えたほうがいいのかしら。
「巨大数論」全部読みました。読んだのだけど、なんとなくおなかいっぱいになった感じがあります。というか、結局やってることはすごい再帰関数を作ろうという話なので、ルール的にはわりとシンプルっぽいことがわかってきました。なんかもっと禍々しい建築物を想像していたのだけど（そんなもの出されても理解できないくせに！）。フムン。
ところでその周辺の数学の話はおもしろかったです。ωからε0になってη0になって……でもℵ1にはまだ届かないのですね。ℵ0からℵ1ってわりとサクッとできる印象なんだけど、じゃあ順序数側のこの階層構造はなんなんだろうか。
さて、明日は平日です。九連休が終わったあとの先週の月曜日はべつにどうってことなかったのだけど、その次の休みが二日で終わってしまうのはちょっとつらいですね。はー、がんばろ。
風邪い感じが続いています。
「寿司 虚空編」などなにかと巨大数のアツい昨今ですが、グラハム数ならwikipediaで見たことあるけどふぃっしゅ数ってのは初耳だぞと思って調べたところ
http://ja.googology.wikia.com/wiki/%E5%B7%A8%E5%A4%A7%E6%95%B0%E7%A0%94%E7%A9%B6Wiki
なるwikiに出会いました。すごい。とりあえず
http://gyafun.jp/ln/
を読んでいます。
巨大数に惹かれる理由はいろいろあると思うけれど、僕としては、やはりその豊穣さが気になるなあという気がします。あと無限に「堕する」ことのない気高さでしょうか。無限ってなんかだらしがないと思うのです。（こう思うのは僕の無限のイメージが根本的に1/0であることに由来していると思うのだけど、たぶん基礎論？とかやってる人は無限にもいろいろと種類があって豊かな世界があって、みたいな話をするのだと思います。僕はよく知らないけれど。）
仕事の前に病院にゆきました。やっぱり胃の具合が悪いですと言ったら、じゃあもう胃カメラやっちゃいましょう、ってことで来週胃カメラを飲みます。鼻からにしてもらえるらしいのでそうしてもらったけど、でもやっぱり不安です。あと52万人に１人の割合で胃カメラで死ぬそうです。何の参考にもなりませんね（こんなに小さい値の場合は、割合じゃなくて実際何人だったのかを明確にしてくれないとどのくらい信頼できる数字なのか不確定性が大きすぎると思う）。
そのあと仕事。保存したログのクエリと集計。とりあえず動いたのだけど、デバイスごとの分岐をエレガントにまとめるにはどうしたらいいのか考えないとなーと思います。それはまあ来週。
さて土日。充電。
お昼から仕事。加速度センサのハンドリングなど。とりあえず目的は達せられたけど、もうちょっと高度なことできないんかなあとも思う。とりあえずの要件には必要ないけれど。
明日は午前中に病院にゆきます。胃の具合は結局あまりよくならなかったし、これは胃カメラコースなのかなー、嫌だ。
風邪っぽいです。喉がぴりぴりする。
お昼から仕事。考え事の実装に着手。とりあえずログを保存するところは書けたので、今度は加速度計を見にゆきます。
あとSwiftのメモリ管理でまた詰まりました。Swiftにおけるポインタの使いかたがよくわからないのと、あとぜんぜん関係ないところから意味の分からないエラーが出るのをなんとかしてほしい。それでなくてもSwiftはデバッグしづらい（型検査関係とかもつらい）。ベータ版だからなのかしら。
はやく眠りたい。
お昼から仕事。いろいろ考え事をしたり相談をしたり。とりあえず方針は立ったので実装に移るつもりです。でももうちょっと設計の相談したいかな。
「時空と重力」読みおわりました。七年前よりはちゃんと読めたと思います。クルスカル座標のこととか、前はなんか読み流したような気がします。座標変換で特異点？が見えなくなるのは不思議な感じがしますね。あとやっぱりブラックホール気持ち悪い。
ちょっと風邪っぽいですにゃあ。
昨晩はよく眠れませんでした。というかぜんぜん眠れませんでした。どうしたんだろう。
お昼から仕事。席替えで社長席っぽいところに移りました。ヒィという感じだけど人があまり通らないのでわりと快適っぽいです。ちょっと狭いけど。
あと知らない間にアサインが変わっていて、今の案件はiOSアプリ側を全部僕がやることになっていました。UIだけだと思っていたのに、さすがにヘヴィ。とりあえず引き継ぎっぽいことをしてもらって、いろいろ検討はしてみたけれど、仕様が不透明なので明日また議論しなくてはいけません。はー。
体調はあいかわらずです。つらい。
なんだかまたちょっと具合悪くなってしまった感じがします。風邪い。
今日は特になにもしていません。相対論の本を読み進めました。ひさびさの理学書だから重たいかなと思ったけど、わりあい入門向けの本なので（初めて読んだときはそうとは思わなかったけど）安心して読めます。そして僕もすこしはこういう本をちゃんと読めるようになったのだなと（七年も前と比べてもなにも嬉しくありませんが）思います。
あ、そういえばラブライブ！一期の一挙放送があったので途中から眺めていました。みんなかわいいナァと思いました（でも僕にはもう女子高生がいろいろ思ったりするのって遠すぎるなあとも思います、べつに近かったことがあるわけじゃないけれど（これこそ月並な感想というものですね））。
明日から仕事です。たったこれだけで一年分の消耗をリセットするのは無理があるよね。バケイションがほしい（そうか？）。
古文の教科書に飽きたのでちょっと相対論の本を読んでいます。高校生の時初めて読んだ相対論の本。なつかしい。
なんだか今日が日曜日みたいな気分があるので（実家から帰ったのが木曜日だったから、それを金曜日と誤認したのかもしれません、帰省＝労働か。）、明日も休みなのがちょっとうれしいです。そういえば会社の人に明日海行かないかって誘われたのだけど（というか海計画自体は前からあったのが順延されていたのですが）、体力が戻らないのでって断ってしまいました（いや、それは事実なんだけど、おとなしくしてる分には（胃もたれがひどいですが）わりあい普通なのでちょっとうしろめたさ？があります）。最高の夏が遠のく。
夏休みです。とはいえもう金曜日なので、もうただの三連休と同じになってしまいましたが。はあ。胃の具合は全快とは言いがたく、まだまだ静養が必要でしょう。
昨夜はUICollectionViewと格闘していました。UIKit Dynamicsとの連携、ただ表示するだけなら簡単なんだけど挿入削除が伴うとけっこうつらい。とりあえず更新の手前でAnimatorを切って終わってから戻すみたいなことをしていますが、もうちょっといい方法はないのか。動くからこれでいいけども。
今夜はカスタムトランジション再訪かなと思います。まあサクッとアニメイションかけるだけなので別にたいしたことではないのだけど。ああでもキャプチャのとりかたとか知らないから調べなくてはね。
そのへん終わったら読書をしたい。