andante

昨晩はSwiftからObjective-Cランタイムを触るのをいろいろ試していました。method swizzlingも条件付きながら動く（dynamic指示子をつけておくと従来通りのmsgSendで呼ばれるようになる）ので、その方向から以前の黒魔術がごっそり移植できそうです。そのうちやろう。

お昼から仕事。JSONからCoreDataへのマッパーを書こうとしていろいろ試していたのだけど、Swift1.1の不具合のせいで全部燃えました。やるせない。SwiftとCoreDataの連携は1.2を待たねばならないようです。
今日は他にもちょっと凝ったことするとすぐswiftcが落ちたのだけど、そういえばジョブズの誕生日だもんな。ジョブズが地上を徘徊しているのだろう。

他はAPI呼んだりとか。今日は（Swiftのバグで４時間飛んだ以外は）まあまあ順調だったと言えるでしょう。APIと通信する周辺のCoreData操作もけっこう書けたし。次はUIに乗り込むか、いや、測定する系ロジックかな。簡略化されたとはいえまだ検討が必要だし。

Twitterのウィトゲンシュタインbotが「基本的に『生』は安全ではない」と発言していて、だけどこれ普通の人は食品の話か性病の話の二択だと思うよなあ、と思ってちょっとおかしかった。今日一番愉快だったのはそれです。はー。

昨晩はgifzoのクローンを動かしていました。とりあえず動いたのだけど、Retinaディスプレイで使うと解像度が変になります。いや、別に変になってるわけじゃなくて単にサイズが二倍になってるだけなのかな。Firefoxでの表示がおかしいだけかもしれない。そうだったとして対策は悩ましい。本家gyazoがやっているみたいに単純に縮小することはできるけど（できるのか？）、それでいいのかしら。まあ要調査。

お昼から仕事。なんか午前中（でもないけど）は身体のあちこちが変に痛かったけどそのうち気にならなくなった。比較的元気。でもなんか喉がいがらっぽい？未満くらいの感じだ。これはわりと高頻度でそうなのだけど。

WebAPIとの通信機構を書きました。前に書いたもののほぼ移植のつもりだったのだけど、いろいろ粗が目立ってけっこう手を加えてしまった。特にUserDefaults回り。これは前回ほんとうにひどかったのを今回は正解に近いものを出せた気がする。ただSwiftでもObjCランタイムに手を入れていろいろやれば前みたいにダイナミックなことができる気もする。試す価値はあるか。

http://biomedcircus.com/research_02_13.html
「学生時代、自分は間違いなくエリートで輝いていた。それで充分だろう。」

僕ははっきりと挫折したのではなかった（そこまで優秀でもなかったが）。ただ降りるのに失敗したのだろうと思う。それともこれが僕の挫折なのだろうか。

いずれにせよ、僕はまだこれで十分だとは思えない。思えないがしかし。

にゃんにゃんにゃん。

昨晩はとうとうこのblogの数式フォントを差し替えました。こうしてみるともうちょっと細くなってほしい感じはありますね。まあ、一応一段落。
ただ、イタリックのaとgが気にくわないのでここだけ直す必要がありそう。METAFONTで。そのうち。

そのあと、サーバに置いてあるgyazo-cloneをGIFに対応させようと思って、じゃあテスト用の環境を作ろうということで、Dockerに手を出して四苦八苦しました。うーむ。

今日もずっとDocker。なんとか既存のスクリプトが動くところまでは来たので、これからコーディング（といってもほぼ終わっているのでテストするだけですが）。Docker、こうして手順が可視化され管理され正規化されるのは2015年っぽくてよいことだと思うけど、どうも洗練されていない感じがある。僕の使い方が悪いだけという可能性は十分にあるけれど。

さて、今夜はgyazo-cloneの件が終わったらちょっとSwift書こうかな、それともredmineのプラグイン作成のこと調べようかな、それとも数学かな、まあたぶんgyazo-cloneが終わらない。

昨晩はとうとうMathJaxでsansmathfontsを表示させることができました。やったね。

今日は夕方に起きて、カーニング情報の変換に着手しました。tfmファイル（フォント・メトリクス）のフォーマットを理解するところから始めないとな〜と思っていたのだけど、MathJaxの中にJsMathという（より古い）数式表示スクリプトからの変換スクリプトがあって、JsMathはtfmからの変換スクリプトがあったので、それを改造したら案外すんなりできました。やったね。あとは微調整をしたら実運用に入れる。今夜やろう。

喉の痛みは改善しました。やったね。ただ抗生物質のせいでお腹が痛いのは続いています。

この薬を飲むと腸内細菌が死ぬのでお腹が痛くなる、という理屈がまさにその通りに動作していることが実感できるので、じゃあ腸内環境を改善することができれば腹痛を遠ざけることもできるはずだなと、同じだけのリアリティで感じることができ、これはすこし期待ができる。どうすればいいのかな、調べる価値はあると思う。

お昼から仕事。ホーム画面のアニメイションはほぼ完了。長かった。一度思索と試作（駄洒落）してあったから組み込むだけでスンナリいくだろうと思っていたのだけど、僕はこういうのを作り直さずにはいられない性分なのと、あと単純に組み合わせてみるとなかなかうまく動かなかったのとで手間取ってしまった。これは僕の精神構造上の課題だろう。というかもっと多めに工数を見積もるべきだった。でもこれ、言うは易しだよなって思う。それに多めに見積もったところでこれ縮まないのって言われたら縮むと思いますって答えたくなる誘惑に勝てる自信はない。難しい。それに、僕だってちゃんとしたもの作りたいのだ。

手間が掛かっただけあって素晴らしいものが出来ていると思う。負けませんよ？

夜は取締役に夕飯をおごってもらいました。闇っぽい話を聞きました。

（これは夢なのですが）昨夜、夜中にいきなり目が覚めて嘔吐して、しかしなぜか都合良く枕許に洗面器があったり視界が不明瞭だったりしたので、ハハァンこれは夢だなと思ったのだけど、しばらくしても覚める気配がないので、しまったこれは夢じゃないらしい、視界が不明瞭なのは寝ぼけているだけで、本当はこれは現実らしいぞ、と思ってとにかく起きようと思った、というところで目が覚めた。なんだ、夢だったのか。最初からそう思っていたんだよ。そのあと否定したけれど。

それで思ったのだけど、結局明晰夢ってのはなんなのだろうかということ。それは結局単にそういう内容の夢だったに過ぎないのであって別に特殊な出来事でもなんでもないのではないだろうか。
（予想される反論：しかし「明晰夢を見るテクニック」なるものが存在することは事実だ（この「そのための手順がある」ということが存在論？において重要である感じはちょっと考えるに値する気がする）。この反論のことは今日は考えないことにする）

夢が夢であることを夢の中で知ることはできない。現実が現実であることを現実の中で知ることはできないように。あるいは、現実の中の現実と夢の中の（その）夢とはまったく同じもの、〈現実〉であって、それ以外のものなど存在しない。現実の中で現実が〈現実〉でないことも、夢の中で夢が〈現実〉でないこともあり得ない。そしてそのことは否定する方法さえない種類の正しさだ。だから夢の中で「これは夢だ」と気づく、ということに意味はない。その気づきは超越的でああり、だから本当に意味することなどできないのだから。水槽脳と同じ構造である。

夢の中で「これは夢なんだ」と気づき、そう発言したとする。そのとき夢の中の他者たちはどう思うだろうか。それは、いまこの現実で誰かが「これは夢なんだ」と言いだしたときに思うことと同じである。要するに意味がわからないし、意味がない。だからその信念を根拠に夢世界の秩序を乱すことは倫理的に問題がある。夢の中だから（夢の中の）法を犯すことが許される、とする見解は正当化できない。夢の中では夢の中の法に従うべきである。その上で、夢の中の法は現実の法と異なっている可能性はあり、それに従うことが現実の法に違反することであっても、それは倫理的に問題がないと言える。

夢の内容が操作可能である（現実の自分がそうである以上に）という信念は難しいが、現実でのそれの対応物は単にそういう精神疾患であって、この場合その「能力」を行使して自分の望むままに振る舞うことは許されるだろうか。少なくとも倫理の側に問題は無い、と僕は思うけれど、現実の法律がどう扱っているのかは知らない。責任能力という概念はこの周辺にあるのかもしれないし、それならば少なくとも法律はそれを許すのだろう。ただし治療の対象となる。夢の中でそれを治療されるというのはどんな気分だろうか。自分の思い通りになっていた夢がだんだんとそうならなくなってゆく。最終的にそれは夢ではなくなる。あの夢の中特有の高揚感ももはや感じられないが、病院の人たちは花束で退院を祝福してくれる。
そして夢から醒める代わりに、これが現実だったことに気づく、と続けてみたくなるが、それは構造が入れ替わっただけで同じ話である。本当は世界を意のままに操る力を持っているのに、それを忘れてしまった人間がいたとしたら。

別になんの話でもない。

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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