andante

朝起きて病院にゆき、会社には休む連絡と勉強会の延期を連絡しました。本当につらい。なにがこんなにつらいのかはよくわかりません。僕の中の一部は僕が仮病で休んでいると主張していて、それを会社の人と同一視しているのかも。でも常に最悪のケースを想定して行動するのは間違ってはいない（いや、こんな想定はいたずらに精神状態を悪化させるだけで僕の行動をまったく改善しないのでは？）（だとしたら何？）。

診察は微妙。熱もないし嘔吐や下痢もないので（吐き気はちょっとあるけど）たいしたことないと思われている様子。四日も寝込んでるんだけどな。あと僕の語彙力が症状を伝えるのに十分でないのかも。倦怠感って言ったけどなんかそれだと単にだるいだけみたいだよな（そうじゃないんですか？と問いかけてくる声がする）。いや、なんかもっとこう、走った後みたいな疲労感があって、とにかく疲れていて頭がぼんやりするんですよ。そういえば良かったのかな（走った後みたいな、という表現は的確だと感じる）。うーん、口下手。

ともあれ明日も休みだし、いい子にしてるから明後日にはよくなってほしい。いい子にしてるから。お願い、お願いだから（と金曜日からずっと祈っている。天国は４光日以上先にあるらしい）。

Swift 1.2が発表されましたね。差分コンパイルに対応しただけでなく言語的にもいろんな拡張があって大変魅力的です。嬉しい。でもXcode6.3って。6.2だってまだbeta5なのに、いつになったら実戦投入できるのかしら。いや、β版でも申請とかには支障ないんだっけ。それならそっちで作りたい想いはあるよなー。@objc enumはCoreDataとの連携に大事だし、クラスのstatic propertyも大事だし、if letが複数書けるのもとても大事だ。まあ相談ですかね。

何日も寝込んでいると曜日感覚とかが薄れてきた気がします。今日は水曜日だけど祝日なんだよね？休んでもいいんだよね？

体調はわずかに回復のきざしを見せているように思われます。とりあえずしんどさは軽減されている気がする。油断はできないけれど。

今日は夕方に起きて勉強会準備を終わらせました（一点だけ会社に置いてある本を参照して追記したいところがあるけど）。スライド71枚。第一章でこれはいささか多い気もするけれど、まあいいでしょう。

明日は会社にゆけるといい。今日くらいだったらとりあえず出社しようと思います（早めに帰るかもしれないけど）。僕のいない間にまた仕様変更があった（この期に及んでそれはどうなのとは思うけど）のでそれにあわせてタスク一覧を修正しないと。あとたぶんコード書き始める。まあまだ設定とかするだけだと思うけれど。

お昼から仕事。タスク一覧を見直してRedmineにガッと登録。あとプロジェクトを作成していろいろライブラリを追加。Jenkinsでビルドする設定も仮組み。明日からはコーディング。汎用的なNavConを自作する必要がありそうなので（本当にそうか？）要件を整理する。

体調は良くはないけれど、案外動ける程度。ただ夜はやっぱり疲れてしまったので早めに帰りました。今夜も早めに眠りたい。でもすこしだけ数学をする。あと「分析哲学講義」を読む。

そういえば艦これ六話観ました（なぜか毎週感想を書いている、これはたぶんけっこう気に入っているのだ）。冗談がおもしろくないのを除けば平凡なギャグ回。あ、でも、やっぱりあの人たちボーキサイト食べてるんだ……みたいなことは思いました。それはちょっと……。

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$を拡大した環が便利、というまとめでいいのだろうか。でもこの二つがそれぞれ便利なのはぜんぜん別の理由だよな、たぶん。

そのための眼を持った者にとっては、答えはあらかじめ問いに埋め込まれて見える。

昨晩はMathJaxのスタイル指定に手を入れたり、フォントを替えたりしていました。STIXフォント、Σとかの形が好きじゃないのよね。結局Computer Modernになってしまいました。
あと、どうせならヒラギノ角ゴシックに合うようなサンセリフっぽい数式フォントにできないんですかと思ってMathJaxのフォント生成絡みをいろいろ調べていたら朝まで掛かってしまいました。でもなんとか既存のフォントを再ビルドするところまではこぎつけたので（それが覚束ないのはどうかと思うけれど、まあmacだしね）、この先をどうするか、みたいな。でも率直に言って手間を掛ける価値のある作業でもないとは思う。

具合はあまり良くないのだけど、まあちゃんと眠れば大丈夫でしょう。今夜もMathJaxのフォント絡みを調べる（OpenTypeを使うのは諦めたほうがよさそうで、仕方がないのでMETAFONTのソースからどうにかする線を探る）けれど、早めに眠ろう。ってもう零時だし、これからご飯買ってくるし、作業時間二時間くらいしかないじゃん。なんだこれ。

昨晩は一晩中掛かってComputer Modern BrightフォントをMathJaxで表示させる努力をしていました。
http://gyazo.necocen.info/def754954740124d802a5212a7279122.png
これだけのために二晩かかっているのはアホかという感じではありますが、まあ良しとしましょう。
ついでにフォントだけを自分のサーバに置いてコード本体はCDNに任せる技法も開発しました。これについてはそのうちblogに書こうかな。

あとは本丸であるところのSansMathFontsに対応することと、それからaとかgの字体が気にくわない（二階建てじゃなく一階建てにしたい）問題への対応が必要です。これはMETAFONTで自作するしかないのかなー。iwonaとかarevがちょうどいい字を持ってるんだけど、彼らはMETAFONT形式のソースがないので混ぜては使えません（いや無論原理的には可能なんだけどそこまで調べたくない）。

下手にプログラミングに慣れていると、使っている道具への不満が「じゃあ自分で直せよ」という心の声に直結するのがアレだなーと思います。工作とか得意な人もそういう気分で生きているのだろうか。
今回も、PerlもPythonもMakefileも書きかた知らないのに見よう見まねで手を入れているし、TeXのフォントシステムなんかぜんぜん知らないし、その上このままゆくとMETAFONTも書くことになる（これはずっと昔やったことあるのだが）。まあでも、問題というのはそれが得意であるかよりもそれが必要であるかによって解かれるべき、のような気もする（全部ではなくとも、そういう種類の問題があって、こういうのはそれに近いんだろう）。それなら僕が解こう。はあ。

明日はまた仕事です。体調が実はそんなに思わしくないのだけど、まあこのくらいの喉の痛みは珍しいことじゃないしな。えっ、そうだっけ。

喉が本当につらい状態ですが熱とかはないし案外動けるので動いています。でも動かないほうがいいのかもしれません。明後日勉強会の発表やるしな。今夜は早く寝る（呪文）

お昼から仕事。UIToolbarと格闘。ボタンを中央に置きたくて両側にフレキシブルなんちゃらを置くのだけど、このときそのさらに隣のボタンが自動幅だとちゃんと中央に来てくれない。どれか一つでも（中央のそれ自体でもいい）固定幅だと（たとえば画像とか）いい感じに調節して中央に来てくれる。気が利くんだか利かないんだかよくわからない。あと調べてもなかなか情報がない。こんどblogにする。

そういえば昨夜はmathjaxのフォント生成を洗練させていました。具体的にはconfig.plみたいなファイルに名前を10回くらい書けばだいたいいい感じでスクリプトが動くの。肝心なマッピングは個別に対応しなきゃいけないけど。あとtfmファイルを解析してカーニング量を算出するのもやってない（いまはデフォルトのをそのまま流用していてまあ特に不自然ではないけど正しくない）。僕が望むようになるにはまだ掛かりそう。
今夜あたりSansMathFontsに仮で挿げ替えてみるかな。いや、もちろん早く寝るんだけどね？

幾何学の問題を想像してほしい。べつに何でも構いはしない。あなたはしばらく頭をひねった末に、はと閃いて一本の補助線を引く。そこから先はとんとん拍子で、あなたは首尾良く正解し、隣席の幼馴染が負け惜しみを言う。
一本の補助線が正解を浮き彫りにすることはよくある。慣れた学生なら、巧い補助線を先に探すことさえある。しかし、なぜそんなものが必要なのかは、永きに亘って謎のままとされてきた。
二十二世紀の脳科学は、脳の中の課題解決を司る部位が、補助線を引いて以降まったく活動しなくなることを明らかにした。素朴に推論して、すなわち補助線を引いたときには既に問題は解けている。
ではなぜ補助線を引くのか。その問いは自然であり、その答えは簡素である。あなたの脳はあなたを説得しようとしている。あなた自身の身体を使って。

最近は「脳がいつまでも〈私〉の味方だと思うなよ」という気分があります。

お昼から仕事。明らかに具合が悪いのになぜかちょっと集中が高まって作業が進む。いや、そんな気がするだけで進んでないのかも。進んだ気がするんだけど（無意味な文）

ところで朝、会社にゆく前に念のため病院行っておくか〜？と思ったのだけど、なんか熱があるわけでもないしちょっと喉が痛い程度なので行ってもなんか気まずいかなと思って（そこまで悪くないのに病院に行くとちょっと気まずいなってときどき思うのです）やめにしました。がなんだかドンドン具合が悪くなって（とはいえちょっとしんどいなーくらいなのですが）、さっき帰ってきて体温を測ると37.7℃だといいます。えっ。
なんか関節とか（これは関節なのか？）も痛いし、もしかすると人生初のインフルエンザかもしれません。予防接種受けたんだけどな。それなら軽くて済むみたいな話なかったっけ。とにかく明日こそは病院に行こう。
まあいいさ、免疫系がひさびさにやる気出してくれたってんなら僕は応援するよ、とにかく今夜はもう寝るね。MathJax触りたかったけど。

ところで、明日はHaskell勉強会の発表なのだけど（しかもすでに一回寝込んで延期してる）。初回発表者が二週連続で寝込んで延期とか、モチベイションガンガン下がんじゃん。はー。うわー。あー。

昨晩は夜中に何度も目が覚めてしまったのであまりよく眠れた感じではないけれど、熱はあれ以上上がりませんでした。朝起きて36.2℃、病院で37.4℃。

で、診察してもらったのだけど、発熱してから十二時間ちょっとしか経ってないと確定診断にはならないから検査しても微妙だよ〜ということでした。あと身近にインフルエンザの人とかいないし、最近は流行している様子もないし、なのでまあ明日になっても熱がそんな感じだったらあらためて検査しましょう、という感じ。ふむ、まあいいのだけど。

で、まあインフルエンザじゃなさそうだしマスクしてればわりと他人にうつすこともないですよ〜ということだったので、まあそこまでしんどくなかったし会社にゆきました。なんとしても発表再延期は避けたかった。行ってみたら出された薬も効いたのかまあまあ元気だったので、まあよかった。ViewControllerのトランジションやコンテナとin-callステータスバーとの絡みを調整しました。このあたりが正解なんじゃないかな。

あと勉強会の発表。まあ第一章なのでHaskellの楽しい感じとかぜんぜんなくてあんまりおもしろくはなかった。あとけっこう疲れた。僕はもうちょっと説明がうまくなりたい。練習しろという話でしかないのはわかっているのだけれど。

さて、今夜は髪が乾くまでMathJaxを触ります。フォントの仕組みがだいぶわかってきた（でもこの実装ちょっと変じゃない？mathrmでMathのRegular使わないならどこで使うのさ？）。

朝起きたら熱はもうぜんぜんなかったので、じゃあいいかということで会社にゆきました。まだちょっと疲れている感じはありますが、きっとよくなるでしょう。

仕事はまあまあ順調。UIKitの模範解答を選んでいる手応えがあります。いいんじゃないかな、これ。まだ直したいところはいろいろあるけれど、それは枝葉の修正でどうにでもなりそうだ。

そういえばCAShapeLayerがアンチエイリアスをかけるせいでタイルした隙間がアニメイション中だけちょっと開く不具合がありました。原因究明にけっこう掛かったよ、はー。

艦これ七話（艦これ感想ブログみたいになってる）。気にくわない点はいろいろあるけれど、でも全体的にはとても良かったと思う。ちゃんと戦場にいる感じがあった。あと加賀さんが淡々と命賭けてみせるのがグレイト（それだけじゃないのか）。でもなんであの人あんなに五航戦に冷たいの。なんかあったの（半世紀以上前に）。

あとあの提督の出し方（隠し方）はさすがにギャグでやってるんだろうけど、ギャグとしても別におもしろくないのでどうにかならないのかしら。いっそ不在でよかった気がする。軍艦が女の子になってるんだから、いろいろあって提督がいないくらい不思議でもなんでもない。

ちょっと遅くまで無茶しすぎた気がする、疲れたや。熱はないんだけど。