andante

鬼 ist tot; Who could watch it?

鬼は死んだ。誰がそれを見届けられただろうか？

仕事の前に歯医者。なんか奥歯の隙間に色が付いてるけどまあしばらく置いておいても大丈夫でしょう、という感じらしい。一年くらいそんな感じのような気もする。虫歯って案外進行しないものなのね。まあそう簡単に穴が開いてたまるかという感じはある。

それから仕事。今日はなんだかずっといらいらしていました。一時間早く起きたのがよくなかったのかなと思ったけれど一時間早く寝たはずなのよね。よくわからない。風邪気味のせいかもしれない。
仕事は工数の見積もり。こういうの、ガッツリやったのは初めてだけど、案外これはこういう感じねと決められるものだなと思いました。まあ仕様がコンパクトで素直になったからかもしれません。実際にどうなるのかもよくわからないし。

今夜も具合があまりよくないし、明日は社長がチームでランチに行こうと言い出したので早く起きなくてはなりません。うーん、わかるけど、僕正午に食事する習慣ないのよね。

お話の中でなら、救われてもいいんだろうか。僕にとって都合の良い、望むままに夢を見させてくれる、「誰かと折り合いをつけたりしなくてもいい」、そんな想像上の存在に、心を預けてしまってもいいんだろうか。こんなことを望むのは誰かを傷つけることなんじゃないか（本当はきっとそうだ）。誰かに怒られたりしないんだろうか。そんなことを考える必要なしに、お話の中でなら、僕は救いを求めてもいいんだろうか。
〔いいんだよ〕声が聞こえる。でもまだ油断はできない。この声は誰の声なのか、まだわからないから。それは誰かの赦しを装った僕の願望でしかないかもしれないし、仮にそうでなかったとしても、第二の心配がある：これはテストなんだ。僕は誰かに監視されていて、これは僕を試すための問いかけなのかもしれない。だからやっぱり僕はこう答えるしかない。「だめだと思います」。でも、それならば、いったい誰が僕を救ってくれるというのか。僕はこんなにいい子にしているというのに。

さて、艦これアニメが始まるのと髪が乾くのを待つ間、数学の勉強とHaskell勉強会の準備をしていましょう。

鬼はthought: "Who could watch it?"

？？？？？？？

お昼から仕事。アプリとサーバの連携仕様について議論など。
あとHaskell勉強会の相談。とりあえず初回は僕なので準備します。しかしまあ、これでうちも「こういうのをやる会社」になれるのかしら、とか。

具合が悪いので早く帰ってきました。早く寝るでしょう（いっつも言ってる）。明日は歯医者にゆかねばならないようです。それを言ったら髪だって切らなきゃいけないのだけど。美容院も三ヶ月先の予約とる仕組みにすれば楽なのにね（そうか？）。

役職順にIPアドレスを振れ、みたいな無茶振りの相談が話題になっています。たぶん昔からちょいちょいある話だなんだけど（何年か前にも見たことある）、これが「笑い話」なのは「これは笑い話です」みたいな空気があらかじめ醸成されているからにすぎない気がしている。たぶんそういうメタ情報がなかったら素でこういうこと言い出す人は案外いるし、そういうメタ情報なしにそれを否定するのはけっこう面倒な気がする。そもそも否定する根拠が「そういう仕組みを作るのは面倒だ」以外にあんまりない気もする。
この話から得られる情報としては、偉い人にも同調圧力ってのは案外有効で、なのでいろんなことを「これは笑い話です」みたいな雰囲気にしておけば操作しやすいんじゃないかなって仮説です。それは部分的には交渉術の一つなのかもしれない。

昨晩はなんだかうまくねむられませんでした。まあ夕方まで寝てたしな。日曜の夜にはよくあることです。
だけどなんだか精神状態も悪化してしまってウェーという感じでした。ウェー。

お昼から仕事。仕様再レビューなど。だいぶ具体的になってきたし、今回は慎重に機能を削っているので、とりあえずつらい開発にはならなさそう。

あとInjectionのこと調べていたけど、なんかうまく動きません。Swiftの実効的incremental compileができると思ったのだけど。うーん、僕の環境あるいは試したプロジェクトが悪かったのだろうか。

英語でものを書く方法がわからないという話に関して。そういえば僕は昔から英作文が（英語力の不足以上に）苦手だったけれど、やっぱりそれも同じことなのかなって思う。自分で書いたことを自分が本当に書いているのかわからないという不安。
たとえば僕が僕の言語で、Ａ＋ａという意味でＡと書いたとする。僕以外の人間はそれをＡと読んで、Ａ＋ａとは読まないかもしれない。でも僕はそれをＡ＋ａと読む。なぜなら僕はＡ＋ａの意味でＡと書くからである。だから僕はＡ＋ａの意味でＡと書くことに不安を感じる必要はない。僕の書きたかったものはすべて読まれることができる。
でも、それは僕が書く言語が僕そのものであるような言語だからそういう安心感を持つことができるのであって、そうでなかったら、それはとても覚束ない仮定となる。僕は同じように、Ａ＋ａの意味で今度はαと書くかもしれない。だけど、僕はαをＡ＋ａとは読まないかもしれない。なぜならそれは僕そのものであるところの言語ではないから、その意味は僕の心中ではなく辞書を参照して解釈されるからである。そしてもちろん、辞書にはそんなことは書かれていない。αとはＡである。Ａ＋ａではない。

僕以外の人は言語に対してこういう態度をとらないのだろうか。僕はこういったことに過剰に拘泥しているのだろうか。過剰とは？

人工知能がどんどん発達して人類を引退に追いやるんですよ、みたいな記事を読んだ。うん、そうだよね、これから人類は老後を迎えるんだから、息子がせいぜい親孝行してくれるといい、みたいな世界観を僕も持っているのだけど、これって一昔前にはまったく想像されなかった感覚なんだろうなって思った。ボイジャーだのパイオニアだの、あいつらはこの星に生きた人類という生物種の存在を広く宇宙に伝えるためにメッセージを積んで飛ばされたのに、そいつらがやっと太陽系を出るか出ないかくらいのところで人類はもう老後の話をしている。メッセージを見て地球を訪れた誰かは、どんな顔をするだろう。ありふれたことだと思うだろうか（無論彼らも機械知性である）。

最近の機械学習の隆盛、僕は計算機科学に明るくないしそのあたりを観測しているわけでもないけれど、要するに我々はもはや問題を理解して内包的な記述を与える必要がなくなったのかな、という気がしている。職人技を理解する必要なんかなにもなく、ただ十分な練習があれば真似ることができるし、スコアさえつけられればもっと上達することもできる。内部にはなんらかの秩序が形成され、それは問題に対する理解と呼ぶことができるかもしれないけれど、別にそんなものを読み取る必要はない。zipで固めてメールで送ってしまえばいい。

そもそも、問題を理解するなんてのが計算量的貧乏性なのかもしれない、とちょっと思う。それは結局圧縮なのだ。少ない言葉で問題を書き表そう、とするのが理解だ。だから、より非自明な圧縮を見つけるために人類はいろいろな概念を抽象化しいろいろなところに適用し、パチリと嵌まったらそれを釣り上げて理解と呼んだ。でもそんなの、人間の脳がこれっぽっちしかないというだけの話で、ぜんぜん問題の解決とは関係のないことなのかもしれない。人間はそういう方法しかとれないから、それが上手くできるとスコアが上がるようにそういうのが楽しくて価値あるように設定して、実際にそういう機能はけっこう発達したけれど、そんなのは巨大計算能力の前にまったく無用であり、我々がきれいな補助線を引いて喜んでいるのを横目にただただ巨大な脳が問題をバリバリと噛み砕いて飲み込んでゆく、そういう光景こそがあるべき姿なのかもしれない。人類は老後なので、暖炉の前で鉛筆を片手に数独とかクロスワードとかやる。それはもう現実の問題解決にはなんの寄与もしないけれど、それは楽しいし、老後の人類にはそういう楽しみに浸る自由があるのだろう。

明日はアプリとサーバの役割分担についてちょっと議論するのと、あとHaskell勉強会の第０回として日程決めたり相談をする予定です。ほんとに勉強会やるんかいな。僕は楽しみだけれど。

昨晩はちょっと数学をしつつ不完全性定理の本を読み始めました。「不完全性定理は数学の定理である．」かっこいい。でもなんか説明密度が高くて重たいです。一冊でちゃんとやろうとするとこうならざるを得ないのかもしれませんが。

今日はなにもしていません。ちょっと風邪い。昨日お酒を飲んだのは失敗だったかもしれないにゃあ。

macで使っているtweetbotが数日でクラッシュして計算機ごと再起動しないと使えなくなってしまうので、それはちょっとと別のクライアントを探したのですが、あまりいいのが見つかりません。自分で作るのってどのくらい現実的だろうか。macアプリの経験ないしなー。

昨晩はapmの向こう側のDBに不整合を起こしてしまった？件について関連するらしきissueにコメントを書きました。いまのところ手動で直してもらっているようなので、僕も直してください、というような。
親しくない人への依頼の文章はただでさえ難しいのに、英語とかいう自分でなに言ってるのか三割くらいしか確信が持てない言語でやるのはもっと難しいです。はー。

あとは数学を少々。$\Z[i]$の素元について。これが素元分解環であることはまだ示していませんが。

今日は特になにもしていません。アニメを観つつ、ちょっとお酒を飲むつもりです。そういえば会社の人が関数プログラミングに関心を持っているようだったから、すごいＨ本の読書会しませんかって誘ったのだった。まあ、そんなに余裕があるのかよくわかりませんけれど（余裕は（大学時代にやっていたこととか考えると）絶対あるんだけど、会社員はもはや勉強会とかリソースを削ってまでやることじゃないと認識しているっぽいので、そんなに準備とかしてくれないことが経験的に知られている）。

「冴えない彼女の育てかた」観ています。絵柄がかわいいので楽しいのだけど、観ているととてもつらい気持ちになります。複数の意味で。最初はただ僕にはそういう交友関係がなかったな、って思っただけだったけれど、こないだの回で決定的に、僕にできないことをできる奴なんだと（あるいは、そう、彼は圧倒的に主人公なんだなと）思い知らされて、もっとつらくなりました。涙が出ないのが不思議なほどのつらさ。僕はなんだって、こんな。

お昼から仕事。モデルの設計めいたことをしました。このへんはサーバサイドとも相談しなくては。

夜は前のプロジェクトの打ち上げにゆきましたが、露骨に具合悪かったのでイマイチ。

諸事情あったので先日作ったAtomのパッケージのリポジトリを作り直したらなぜかpublishできなくなってしまいました。ウェー、つらい。同様のエラー報告は挙がっているようなので、そのうち直るでしょうが、それまでは更新できない（インストールもできるのか謎）。ウェー。

さて、露骨に具合悪いですがアニメでも観つつ。

お昼から仕事。風邪いです。今日は仕様書を整理して画面遷移図とフローを引き直す作業。まだ決めなきゃいけないことはいくつかあるけれど、とりあえず設計に入れる感じにはなった。ので設計に入るでしょう。とりあえず工数の概算を出して取捨選択する、ようです。

あとはカスタム画面遷移とpull-to-refresh機構を両立させる試作をしました。とりあえず動くけど、二種類のジェスチャをシームレスに繋ぐことはできなさそうです。いや、やってできないことはないかもしれないけれど、完全性の追求以外にさほどメリットもないし、こんな感じで。

正月に実家に帰ったとき、母が「公務員は無駄ばかりしている、民間企業ならば無駄なことをしていると首が飛ぶから効率化が図られる」みたいな公務員非難をしていて、まあその時は適切な反論はできなくて、ただただそういう被害妄想的非難をする人間にはなりたくないなあとだけ思っていたのですが、結局そういった状況になったとして、プレゼンと責任回避の技術が過剰に発達するというだけなのではと今日思いました。結局、人間が人間を正確に評価することなんかできなくて、そうなれば評価をハックするほうがコストが低く、横行するのは当然でしょう。別にこれは決定的な反論でもなんでもなく、人間はみんな程度が低い、という（よく知られた）事実を繰り返し述べているに過ぎないのですが

「実戦で成長する」みたいな文句からは、教育のコストが都合良く忘れ去られた形跡が感じられて好きではない。なんかこう書いてみるとあたかも人間が独りでもがきながら成長したみたいじゃないか。でも実際に起こるのはそうではなく、戦場で彼を守りながら戦う仲間がいる。無論両者を正確に比較することはできないにしても、きっと大差ないコストを、教室で払うか戦場で払うか、という話なのではと思う。

上流工程下流工程と言うけれど、これが何の流れかって、宙に浮いたタスクがどこに流れ着くかという話なんだろうな、と思う。上流で浮いてしまったタスクは下流へと流れてくる。下流には網があって、浮いたタスクはそこに引っかかって流れをせき止める。そういったメタファ（こういうのはメタファでいいんだっけ）。下流には住みたくないですね。

さて、明日は前プロジェクトの打ち上げです。風邪がよくなるとよいのだけど。

2^7。いや、頭が0だから８進リテラル？いや、８があるからエラーになる？

会社のまえに銀行で口座を作りました。生前贈与を受けるとかで父から作るように言われていたのです。意外と時間がかかったのでちょっと遅刻してしまった。ともあれつつがなく完了。

仕事は前のプロジェクトのポストモーテムと現プロジェクトの仕様書レビュー。ポストモーテムはまあいろいろ改善点は出たけれど、それって毎回言われてるじゃんって話にもなりました。まあね。スケジュール駆動開発とかは、「ついつい工数の設定をそうしてしまった」みたいな語られかたをするけれど、そこにはもっとスケールの大きい力が働いていて、だから個人が「正直に書く」みたいな「決意」をどんなにしたってしょうがないのでは、と思う。力のスケールが違いすぎるから、結局人は何度でも同じ罪悪感を胸に敗北する。

艦これ四話を観ました。如月ちゃんが沈んだのはほんとうにマーケティング上の要請だったのではという感じでした。金剛型姉妹が雑に原作の科白を競って並べるのはまあいいのだけど、あんなので睦月ちゃんは来週から如月ちゃんのことなんか忘れて笑ってなきゃいけないのだろうか。あんだけ死亡フラグを乱立させておいて、特に演出上の効果はなかったし。救うってのは、こう、ああして山のように積み上げられた死亡フラグを、いわば供養してやることなんじゃないだろうか。言えなかった「大好き」はどこへ行ってしまったんだ。あと吹雪ちゃんはなにを理解したんだいったい（そこに対応を見るのが正解なのか？）。
あと長門（戦艦）さんがとってつけたように悔やんでみせたのも地味に減点です（あのキザな演出もね）。水雷魂とかいって素人を前線に立たせたりするくせにね。

でも僕はこのアニメを毎週楽しんでいる。それはひどく作品を損なうことなのかもしれない。でも僕は楽しんでいる。こんなに想像力を刺激するアニメは珍しいと思う。僕なら君を救い出せるんだ、そういう気持ちが起こる。嘘っぱちのくせに。

昨晩はテンプレートエンジンについて考えていたけれど、やっぱり複雑すぎるなあと思ってやめました。twigのキャッシュとか見たらどういうことをすればよいかはわかったけれど（要するにテンプレートファイルからそれを出力するようなPHPのクラスを作ればいいわけです）、曖昧さのないコンパクトな文法を考えるのが面倒。
とはいえ参考になる部分はあったというか、テンプレートを継承するみたいな感じでクラスを継承してゆけばレイアウトの共通化とかは比較的コンパクトに書けるのかも。なのでそういう設計になるかな。はー。

お昼から仕事。仕様書レビューがあるとのことだったので仕様書を読んで疑問点をまとめていました。とはいえ僕の立場がはっきりしない。僕はaccept/rejectする側にいるのかされる側にいるのか。開発の都合を考えると僕がrejectする必要ってのはあると思うけれど。
でもレビュー会は急遽明日に変更になりました。

さて、ちょっと風邪気味？なので早く寝たい（毎日言ってる）。あとひさびさに数学をやろう（第４章から）。PHPは上記の理由でちょっともやもやしているので、寝かせる。

昨晩は結局View部分の設計に悩んであまり作業になりませんでした。うーん、テンプレートエンジンを作るとかアホかって感じだけど、そうでなくって書くのもアホかって感じだ（これまで何度もやってきたことだけれど、一度ちゃんとしたテンプレートエンジンに触れるとほんとうにアホかって感じになった）。とりあえず要件を書き出してできるかどうか考えてみようかなあ。

・extendとyield（インデントが維持される）
・変数展開
・foreach
・キャッシュ
・インデント無視要素（textareaやpreなど）
・文法のベースはhaml
・そういえばlessCSSを参照したら勝手にコンパイルとかしてくれると助かるよね

うーん……twigのソースを読むとかすればいいのだろうか……。
あとhaml文法に関してはMtHaml+twig連携とかを参考にすればいいのかもしれない。うーん。インデントに気をつけながら一行ずつ読む、だけじゃforとかには対応できないんだよな。いや、ここは本質的にphpのforなわけだし。にゃー

お昼から仕事。CADisplayLinkで自前のアニメイションをゴニョゴニョするとかやってました。一応できばえは完璧（パーペキ！）。デバッグビルドだと配列操作が遅いのか60FPS出ないですがリリースビルドだとちゃんと動きます。配列操作が遅い件、無駄にtupleとか使ってるのが悪いきもするしチューニングの余地はあるっぽい。暇ならやろう。
ただアニメイションの動きはこんな感じではない気がするって言われた。まあ言われてみるとそうかも。タイミング関数をどうにかすればけっこう対応できるはずだけど、果たして。
明日はちょっとUIから離れて裏側のロジックを調べる予定。