13。
そういえばすべＦのドラマ、冒頭で真賀田博士は７が孤独な話はしたけどＢとＤには言及してなかったような気がする。伏線（が除去された）？
お酒を飲んだわけでもないのに夕方まで寝ていました。やっぱり消耗しているっぽいです。今夜も数学をやりつつアニメを観ます。お酒は飲まない。飲みたい。
そういえばiMac 5Kのレビューを探したりしました。買うならデュアルディスプレイになるので、GPUはちゃんと盛ったほうがいいのかも。買うかどうかは未定。でもほしいから時間の問題っぽい感じはある。
五兆円・オア・二兆円！五兆円くれなきゃ二兆円もらうぞ！
お昼から仕事。改修の検討と不具合の修正。FetchedResultsController、バックグラウンドで保存するあたりでなにかを踏んでしまっているような気がしてきました。僕の書いたユーティリティがまずいのか？それはけっこう困る（縦横に使ってるから）。
そういえば、SomeGeneric<Self>が返せないのって、SwiftのジェネリックがInvariantだからなんですね。というより、もしここでSomeGeneric<Self>が返せてしまうと、クラスBaseは当然SomeGeneric<Base>を返して、その子クラスDerivedはSomeGeneric<Derived>を返すことになるわけで、この二つの型の間に親子関係を持ち込むにはSomeGeneric<T>がCovariantである必要がある、のだと思います。Optional<T>はいろいろと特別扱いを受けていて、ここでも実際Covariantに振る舞うらしいのですが、自分で定義したジェネリックはそうはできないようです。うーん、今後に期待。
たとえばＣ＃なんかだとできるらしいので、じゃあXamarinだったら表現できるんですか、みたいなことが気にはなります。いいなあ、モダーンな言語は。
「層・圏・トポス」を読んでいます。前層の二種類の定義の同値性で引っかかってたのは、たぶん書いてないだけで（ある）前提があるのだろう、というあたりで流しました。しかし最近あまりしたことのなかった頭の使いかたをしている感じはエキサイティング。
ただ、前層の例としてXから実数への連続関数全体の集合が挙がっていたのだけど、こいつはあまりにも自然に層にもなってしまうことと、位相空間と局所同相写像から作るタイプの層の例としては複雑すぎるっぽいこととでちょっと難儀しています。というよりこの層を位相空間から作ろうとするとメチャーって感じの空間になりそう。うーむ。
さて三連休。ひさびさにパソコンを借りずに帰宅しました。具合が悪いのがよくなるとよいのだけど。
また寝坊しました。ウー。
お昼から仕事。あいかわらず具合が悪くてのろのろとしていましたが、なんとか目標のリファクタは一段落しました。これでちょっとは見透しが良くなったので、UI要素の簡単化を進めようと思います。
あと仕様変更について議論。コンセプトを再設定した感じで、それはいいんだけどその実現には時間がかかりそう。うまくゆくといいのだけど。
昨晩ふと思い立って「層・圏・トポス」を読み始めました。評判の本だからと買ったきり五年くらいほったらかしていたのです。なんで読まなかったんだっけ。言葉遣いの古めかしさがなんか嫌だったのか。
前層の定義、僕の抽象力の限界のちょっと上くらいにある感じがしていきなり難しいです。あと二種類の定義の同値性のところ、この構成ちょっとおかしくない？
ほんとうは物理の本を読もうと思ったのだけど、前まで読んでた「ゲージ場の量子論」をひさびさに開いたらなんだかぜんぜん読める気がしなくて、あーこりゃだめだな、と思ってやめたのでした。そもそも量子力学から復習しないといけない感じがあるし、計算もつらそうだ。ふうむ。
具合が悪いです。ウー。
お昼から仕事。ぜんぜん順調とは言えないけれど、まあリファクタの方針は決まりそうだし、明日はもうちょっといい感じにできそう。地味にフローの修正とかもできたしね。明日は改修方針を議論するようです。
最近ずっと死にたいです。死にたさに押しつぶされるとかつらくて耐えられないとか、そういったことは全然ないのだけど、ただ死にたさがゴトリと目の前に置いてあるような、そんな日々。
そういえば数論の勉強をしたいけど教科書がどれがいいかよくわからなかったのだけど、そういえば家の近くに偉い大学があったことを思い出したので、そのうち本屋に見にゆこうと思います。内容的な良し悪しというよりは、要求される前提知識の話。
具合が悪いです。具合が悪い。
仕事も具合が悪いのでいまいち。リファクタとかちょっと進めている。こういうのんびりした作業ができるのはいまのうちだけっぽいのだけど……
あとリリースに向けて改善点を挙げる会議をしました。たぶんまたいろいろ変わるのでしょう。
ほんとうに具合が悪いな……なんだこれ……
具合が悪いです。
お昼から仕事。でもぜんぜん調子が出ませんでした。やっぱりね、徹夜なんかしちゃって偽りの達成感を得たのはよくなかったと思うのよね。落ちついたら直そうと思ってたことが山のようにあるはずなんだけど、なんかぜんぜん思い出せません。Redmineのチケットもひどく断片的だし。うーん、進捗管理のできてなさよ。
とはいえいくつかは思い出したのでしばらくそれを潰そうかな。まずはエラーダイアログの表示。あと、実は大規模な書き直しを目論んでいる。ツギハギだらけで違法建築感あるからね。
そういえば技術blogを書きました。
http://wtbm.necocen.info/9
今度のはOptional<T>についてるmapという関数の話で、これはArrayのmapとFunctorのfmapとして同一視できるんですね～という話です。結論がこうなるならOptional Chainingの話とかべつに要らなかった気もする。あるいはOptional ChainingをArrayに持ち込むなどすべきだったのかもしれない。
ふと整数論が勉強したくなったので本を探していたら、
http://www.amazon.co.jp/%E4%BB%A3%E6%95%B0%E7%9A%84%E6%95%B4%E6%95%B0%E8%AB%96-J-%E3%83%8E%E3%82%A4%E3%82%AD%E3%83%AB%E3%83%92/dp/4621062875
のレビューに「息子に、ねだられたので」って書いてるお母さんっぽい人がいるのを見つけました。しかもその人高校受験参考書のレビューも書いてて、これはもしかするとそういう話なのかもしれない。末は博士か（大臣ではなさそう）。
髪が乾くまでアニメを観て寝ます。
昨晩はCocoalumberjackでログをファイルに保存してメールに添付して送る仕掛けを作っていました。ただ、Swiftだとプロパティじゃないメンバ変数に触れないから、ログフォーマッタが書けないのですね。そこはたぶんCocoalumberjack側でどうにかしてもらうしかないのでしょう。まあ別にそこだけobjcでもよいのだけども。
そういえばすべＦの一話を観ました。冒頭に四季との面会を持ってきたのはナルホドという感じで、じゃあやっぱり表題作がクライマックスなのでしょうね。ただ萌絵の計算が遅い。それに比べれば犀川先生がWindows使ってるとかほんとうに些細な問題だと思う。萌絵の計算が遅い。
とはいえ全体としては悪くないです。まあまあ期待。二話の録画予約をしました。
今日はひどく具合が悪いです。風邪なのかしら。寝る前にちょっとだけ不具合の調査をしよう。
なんか具合がよくないな。
昨日社内リリースしたアプリの不具合報告がガンガン上がってくるのでほんとうにつらい。とりあえず、ログをメールで送れる機構は早急に用意しないとだめだなと思いました。入れるつもりはあったのだけど、間に合わなかった……
そういえばSwift1.1に対応しました。rawValueとかfailable initializerとかはまあよかったんだけど、それよか同一ファイル名が（別ディレクトリでも）使えなくなった？ことのほうが困りました。なんでそんなことするかな……
さて、今夜はちょっと不具合と実装漏れの対応をしつつアニメを観てお酒を飲みましょう。ちょっと風邪いけど。まあいいさ。
朝の八時くらいまで仕事をして、帰って三時間くらい寝てまた会社にゆきました。とりあえず間に合った、かな。チュートリアル部分のエフェクトはまあまあ満足いく感じにできたと思います。僕がてきとうに思いついただけのものなんだけども。
文言とかも、ちゃんと専門の人に任せるなどすべきなんじゃないかなと思うけど、あまりそういう話は聞かない。言葉なんて誰にでも書けるなんてのは幻想だと僕は思う。
社長が再三にわたってあと一週か二週かでリリースみたいなことを言うのだけど、これは社内での発表の場だからそうなのか本気でそう思っているのかよくわかりません。僕としてはこれでやっとスタートラインというか、今日はゼロ歳の誕生日であって人生は長い、という感じなので（もっといえばこんなのサービスのプロトタイプにすぎない）、あの感じはどうも違和感あるし、止めなきゃ、と思います。
あと会社の納会（ってなんなのかよく知りません）で寿司を食べました。寿司職人が来てその場で握ってくれたけど、僕としては「エンガワは炙ったほうがおいしい」と教えてくれた以外には特にメリットなかったと思います。しかし炙ったエンガワはおいしかったのだから、これは成功と言えるでしょう。おいしかった。
さて、今夜はお酒を飲もうかどうしようか。アニメも観たい。でもすでにちょっと飲んでるしそのせいか頭も痛い。そういえば土日はSwift1.1への移行を試みようかしら。Xcodeも6.1でちょっと安定したみたいだし。
会社で徹夜をしています。無能ははたして罪なのか。