昨晩はMathJaxのスタイル指定に手を入れたり、フォントを替えたりしていました。STIXフォント、Σとかの形が好きじゃないのよね。結局Computer Modernになってしまいました。
あと、どうせならヒラギノ角ゴシックに合うようなサンセリフっぽい数式フォントにできないんですかと思ってMathJaxのフォント生成絡みをいろいろ調べていたら朝まで掛かってしまいました。でもなんとか既存のフォントを再ビルドするところまではこぎつけたので（それが覚束ないのはどうかと思うけれど、まあmacだしね）、この先をどうするか、みたいな。でも率直に言って手間を掛ける価値のある作業でもないとは思う。
具合はあまり良くないのだけど、まあちゃんと眠れば大丈夫でしょう。今夜もMathJaxのフォント絡みを調べる（OpenTypeを使うのは諦めたほうがよさそうで、仕方がないのでMETAFONTのソースからどうにかする線を探る）けれど、早めに眠ろう。ってもう零時だし、これからご飯買ってくるし、作業時間二時間くらいしかないじゃん。なんだこれ。
https://www.youtube.com/watch?v=PCp2iXA1uLE
脳が弱いので「踊ってない夜を知らない人とかこの世に一人もございません」の理解に曲の終わりまで掛かる。
このblogのアクセス解析をひさびさに（強調（冗談））見たところ、僕の精神状態の悪化とアクセス数に正の相関があることが見いだされました。具体的には2012年の二月から2013年の終わりごろまでのアクセス数が他より多い。というかそれ以降が少ない。まあ、会社入って以降いたって平凡な日々のことしか書いてないもんな。むしろそれでもまだ読んでいる人がいるのか（ありがとうございます）。
お昼から仕事。また体調いまいちっぽい朝だったけど、このいまいちさは普通のいまいちさ（形容矛盾！）なのでまあ大丈夫でしょう。まだ多少疲れている感じはあるけれど。
仕事は共通NavConの検討。とりあえず要件を洗い出してみてためつすがめつしていたのだけど、僕の寝込んでいる間にデザイン変更で標準＋αくらいで実現できそうな感じになってることを知った。あら。解きがいのある課題だと思ったのだけど（コンテナ作るだけならやったことあるけどInteractive Transitionと絡めるのはちゃんとした経験がないし、NavBarのアニメイションも同時に行う（TransitionCoordinatorを使う？）のはまったく未経験だ）、まあ時間に余裕もないしこれでよかったのでしょう。とりあえず来週の前半で＋α部分を作ります。まだ課題が完全に解消したわけではないし、未経験でもある。
あとJenkinsでビルドする体制を整えていました。プラグインをもう一つ追加したらProvisioningの管理をJenkins上でできるようになったので、これでもうvncでスレーブにログインしてゴニョゴニョする必要がなくなった、はず！となるとこれは正気のワークフローという感じがしてきたので、まとめて提案しようと思います。まあ、そのうち。
命題論理の「ならば」の真理値表が日常語と比べて不自然だ、という話はよく聞くし、実際僕もそうだと思うけれど、単に見慣れてしまっただけで、空集合ジョーク（空集合に対する全称命題が「空虚な」真であること）とかもかなり異常なことを言っているような気がする。「存在しないものに対して『すべて』もなにもなかろう」みたいな素朴な反応を長らく見ていないけれど、おそらく日常語としての「すべて」はそういう反応を惹き起こすべきものだし、それは僕が「ならば」に対して抱く不自然さと同じものなのかもしれない。じゃあ慣れられるのか。それは知らない。
という考察の発端となったのは、会社の同僚が「ヴァレンタインに彼女に会えなくて寂しい」と言ったのを受けて反射的に（本当に反射的に）「僕はヴァレンタインにすべての彼女に会える」という命題を思い浮かべたことに対するいろいろの反省であった、というあたりがこの話のオチです（安易な非モテねただ！焼き払え！（安易などではない！こっちは真剣なんだ！））。
$\Z\left[\frac{1+\sqrt{-11}}{2}\right]$が素元分解整域であるという事実から、$y^2=x^3-11$の整数解が$(3, \pm 4)$と$(15, \pm 58)$に限られることが証明されたのだけど、これを見て宇宙！と思いつつ、でもそれってたまたま都合の良い性質が都合良く使えただけちゃうのん、とも思い、そしてその間の差異がなんなのかもよくわからない。つまりさ、この$\Z[\text{某}]$が素元分解整域であるという事実は、$y^2=x^3-11$という曲線のなんらかの性質と「ちょうど同じだけの重さ」の何かなわけ？みたいな。いや、違うかな、数ある環のなかでも素元分解整域たちだけが持っているキラメキが、数ある曲線の中でも$y^2=x^3-11$たちをキラメかせているの？（そういったキラメキがこちら側にも見えるの？）みたいな。いや、さっぱり説明できない。もしかするとナンセンスな感覚なのかも。うーん。
有理点の話をするなら$\Q_p$が、整数点の話をするなら$\Z$を拡大した環が便利、というまとめでいいのだろうか。でもこの二つがそれぞれ便利なのはぜんぜん別の理由だよな、たぶん。
そのための眼を持った者にとっては、答えはあらかじめ問いに埋め込まれて見える。
お昼から仕事。タスク一覧を見直してRedmineにガッと登録。あとプロジェクトを作成していろいろライブラリを追加。Jenkinsでビルドする設定も仮組み。明日からはコーディング。汎用的なNavConを自作する必要がありそうなので（本当にそうか？）要件を整理する。
体調は良くはないけれど、案外動ける程度。ただ夜はやっぱり疲れてしまったので早めに帰りました。今夜も早めに眠りたい。でもすこしだけ数学をする。あと「分析哲学講義」を読む。
そういえば艦これ六話観ました（なぜか毎週感想を書いている、これはたぶんけっこう気に入っているのだ）。冗談がおもしろくないのを除けば平凡なギャグ回。あ、でも、やっぱりあの人たちボーキサイト食べてるんだ……みたいなことは思いました。それはちょっと……。
何日も寝込んでいると曜日感覚とかが薄れてきた気がします。今日は水曜日だけど祝日なんだよね？休んでもいいんだよね？
体調はわずかに回復のきざしを見せているように思われます。とりあえずしんどさは軽減されている気がする。油断はできないけれど。
今日は夕方に起きて勉強会準備を終わらせました（一点だけ会社に置いてある本を参照して追記したいところがあるけど）。スライド71枚。第一章でこれはいささか多い気もするけれど、まあいいでしょう。
明日は会社にゆけるといい。今日くらいだったらとりあえず出社しようと思います（早めに帰るかもしれないけど）。僕のいない間にまた仕様変更があった（この期に及んでそれはどうなのとは思うけど）のでそれにあわせてタスク一覧を修正しないと。あとたぶんコード書き始める。まあまだ設定とかするだけだと思うけれど。
朝起きて病院にゆき、会社には休む連絡と勉強会の延期を連絡しました。本当につらい。なにがこんなにつらいのかはよくわかりません。僕の中の一部は僕が仮病で休んでいると主張していて、それを会社の人と同一視しているのかも。でも常に最悪のケースを想定して行動するのは間違ってはいない（いや、こんな想定はいたずらに精神状態を悪化させるだけで僕の行動をまったく改善しないのでは？）（だとしたら何？）。
診察は微妙。熱もないし嘔吐や下痢もないので（吐き気はちょっとあるけど）たいしたことないと思われている様子。四日も寝込んでるんだけどな。あと僕の語彙力が症状を伝えるのに十分でないのかも。倦怠感って言ったけどなんかそれだと単にだるいだけみたいだよな（そうじゃないんですか？と問いかけてくる声がする）。いや、なんかもっとこう、走った後みたいな疲労感があって、とにかく疲れていて頭がぼんやりするんですよ。そういえば良かったのかな（走った後みたいな、という表現は的確だと感じる）。うーん、口下手。
ともあれ明日も休みだし、いい子にしてるから明後日にはよくなってほしい。いい子にしてるから。お願い、お願いだから（と金曜日からずっと祈っている。天国は４光日以上先にあるらしい）。
Swift 1.2が発表されましたね。差分コンパイルに対応しただけでなく言語的にもいろんな拡張があって大変魅力的です。嬉しい。でもXcode6.3って。6.2だってまだbeta5なのに、いつになったら実戦投入できるのかしら。いや、β版でも申請とかには支障ないんだっけ。それならそっちで作りたい想いはあるよなー。@objc enumはCoreDataとの連携に大事だし、クラスのstatic propertyも大事だし、if letが複数書けるのもとても大事だ。まあ相談ですかね。
朝起きて仕事にゆく準備はしたのだけど、腹痛がひどくて結局休みました。動けなくはないだけに妙な罪悪感があります。ここで罪悪感を覚えるのは明らかに誤りなのだけど、誤っているからって無視できるわけでもない。不便なものです。
で、また半日寝ていたけれど、なんだかまた具合が悪くなってきてしまった。なんだこれ。金曜日と今日休んだだけでもだいぶ状況に支障が出ていることと思われるし、明日は勉強会の発表なのだが（まだ準備が終わっていない、まあそれに関してはあと少しなので悲観はしていない）。僕はどうしたらいいんだ。
僕以外の人間も、風邪で何日も寝込んだらこんなにつらい気持ちになるのだろうか。こんなに心細く、世界中の楽しみがすべて自分の手の届かないところにいってしまったような、そして自分が迷惑を掛けた人々がどれだけ迷惑しているかが自分の心の中に忍び込んできてしくしくと僕を責めるような（きっとそこまで迷惑してるってわけじゃないはずだ、だけどそんなの僕にはわかりようがない）。そして今日でさえそうなのに明日も治らなかったら明日はどんなにか迷惑をかけることになるだろう、というプレッシャ。これらのものに心を支配されて僕は気が狂いそうになる。いや、気が狂っているからこそそんなものに心を支配されてしまうのかもしれない。
そういえば、ドラマなどのフィクションで登場人物が怒られたり怒られそうになったりしている状況で過剰に不安な気持ちになるのは発達障害者の特徴だ（自分と他人の区別をうまくつけられていないらしい）、とTwitterで見かけたことがある。その真偽はともかくとして、僕は小さいころはそうだった。登場人物の行動が明らかに後に誰かに怒られるようなものだと僕だけが気づいているとき、僕はそわそわしてしまって、僕が怒られるわけでもないのに部屋の隅に隠れたりしていた。あの感じ、誰かと比べたことはなかったけれど、たぶん普通ではないのだろう（それとも小さい頃は誰でもそうなのだろうか）。だからどうというわけではないし、これはただの連想でしかないけれど。
とにかく医者にゆくべきだとは思う（今日行かなかったのは失策だった、しかし腹痛以外は大丈夫だと思っていたのだ）。明日はそうしよう。治りかけかのようでも油断はできないのだ。
今夜はこれからお風呂に入って、勉強会準備を終わらせて、それから早く寝ます。早く寝る。そう。早く寝るのが大事。早く寝るのが正解。早く寝るのが正解だから早く寝れば減点されることはない。早く寝るという命題は正しい生活へと繋がっているはずだ。そうだろ？だからもう赦してよ。助けてよ。お願いだから。
風邪はあまりよくなりません。こういうとき、もう一生よくならないんじゃないかってよく思います。それは経験的には偽と知れているけれど、多くの人の人生には、「死ぬまで治らなかった病気」が最後に現れるのだから、僕もいつか、死ぬまでよくならない病気にかかる可能性は低くはないです。いや、その事実から言えることは特にないのだけど、ただ、そういうことを連想します。
そういえばバレンタインが近いのですね。艦娘のみなさんがチョコレイトを差し出している絵を頻繁に目にして、僕もチョコレイトが食べたくなったりしました（買ってきた）。
さて、今夜のうちによくなってくれないと困るのだけど……
ずっと寝ているけれどまだ具合はよくなりません。精神の状態も悪い。
僕は結局二十歳くらいで人間として終わってしまったんだなあ、という感覚がのしかかっています。あの頃はまだ、人と会ったり話したりすることはすこし楽しいことだったような気がする。自分ひとりでぼんやりしているよりも楽しいこと。いまはもう、そうではない。誰かのためになにかをすることへの異常な抵抗感と、独りではどうしようもない寂しさを両方抱えて、僕はどうすればいいのだろう。
さて、これからシャワーだけ浴びて、あとちょっとアニメを観たりして、それからまた寝ましょう。うーん、あと一日しか残ってない。うーん……。
昨夜はHaskell勉強会の準備をすこししました。とりあえず教科書まとめ半分くらい。思ったより時間がかかるけど、まあ丁寧に準備するってのはそういうことかなとも。あとはこれをどこまでコンパクトにまとめられるかですね。
あと発表用のツールが必要かなと思います。ここまでコード主体になるとkeynoteは無理がある気がする。理想としてはmarkdown-likeに書けてシンタクス・ハイライトがつくやつ。webでありそうだよね。なければ作る……時間はちょっとないけど。
朝起きて仕事に行こうと思ったのだけど意味不明に具合が悪かったので休みました。なんだこれ。熱もないけど寒気がするし、ちょっと吐き気もある。なんだこれ。まあ風邪でしょうが。
半日寝てたけどどうもしっくり来ません。うーん。せっかくの週末なのになあ。明日くらいにはよくなってほしい。
定義 1.1: 知性(intelligence)とは、位相空間上の自己写像$\iota: X\to X$であって、次の性質をみたすものをいう。
こんなことするためにmathjaxを入れたわけではない。
仕事の前にチームの人たちと食事にゆきました。寝起きで食欲がウェーという感じだったけどなんとかなった。いつから食事はこんなに緊張するイベントになってしまったのだっけか。
仕事は内部設計。考えるべきことがだいぶ考えられてきたのだが、これを誰が書くんだという。言うまでもなく僕なのだが。
具合がメチャ悪です。髪が乾くまでHaskell勉強会の準備をしよう。昨夜もそのつもりだったのだけど、Google Spreadsheetの関数をいろいろ試してたら遅くなってしまったからできなかった。数学はちょっとしたけれど。そう、$\Z[\zeta_3]$の元に$1$か$\zeta_3$か${\zeta_3}^2$のどれかを掛けるとかならず$\Z[\sqrt{-3}]$に入ることを示しました（簡単）。これで$p=x^2+3y^2$に関する議論が素元分解整域であるところの$\Z[\zeta_3]$でできるわけです。
そういえば艦これ五話。まあ、悪い話じゃなかったけれどおもしろくはなかった。しかしそれがこのアニメのあるべき姿なのかもしれないとも思う。まあ、悪い話じゃなかった（三話四話が悪い話だった、という認識の上で）。