andante

仕事の前に病院にゆきました。喉風邪だと思います、とのこと。まあそうでしょうね。この歳になってもまだ知らないタイプの風邪をひく。

仕事は調べごとなど。結局3D業界の用語がイマイチわからないけれど、とりあえずSceneKitを使えば目的は比較的容易に達せられるのではないか、という感じ。これ以上はデータ作成してくれる業者さんとの相談で摺り合わせてゆく段階でしょう。とりあえず調査打ち切り。

あとUI要素の検討に入りました。明日はその試作をちょっとやります。

やりたいことが並行していくつもあってちょっとパンク気味。数学と哲学とPHPとCoffeeScript。CoffeeScriptとかは本当にどうでもいいのでさっさと潰してしまいたい（とはいえここでAtomカスタマイズ道に入門しておくとなにかと便利かもしれない、とは思う）（SublimeTextがIME対応するまでの話さ）。
kill-ringはとりあえずバッファ部分はできたしkill-lineとyankはそれっぽく動くようになったのだけど、テストの書きかたがわからない（ちゃんと書いてるつもりなんだけどなぜかタイムアウトする）のでなんとも。あと、yank-popは直前のコマンドを判定したり直前のyank領域を記憶したりとなにかと面倒っぽい。

昨夜はどうにもしんどくて早めに寝たのだけど、朝起きてもぜんぜん回復してなかったので会社を休みました。休んでさっきまでずっと寝てたけどやっぱりぜんぜんよくなってないです。喉が痛いしなんかしんどい。これ風邪じゃない気がする（じゃあなんだと言われると謎）。今日はたまたまよく行く病院が午後休診だったので行けなかったのだけど、明日行こう。

そういえば昨日はAtomパッケージ書くためにCoffeeScriptを見よう見まねで書いていたのだけど、この言語あんまり好きになれないですね。元がJavaScriptなのがいけないのだと思うのだけど、「普通の」クラスとか作ろうとしたらぜんぜん上手くいかなくて（具体的にはプライベート変数とかが）、なんだこれってなりました。まあ慣れるしかないのかな。
kill-ring自体はただのリングバッファなのでサクッと作れるのですが（文法的なアレさを除けばもう実装できています）、マークとリージョンの機構はちょっと面倒かもしれない。というかそもそもemacsにおけるそれがどんな風なものなのかよく知らないし（xyzzyでちょっと触ったことがある程度だから）。

具合悪いけどとにかくコンビニでなんか買ってこなくちゃ。あとは寝るよ、寝る寝るよ……（あっでも艦これのアニメあるんだっけ）

昨晩は結局SublimeTextを断念してAtomの環境を整えていました。SublimeTextのIME対応状況は絶望的で、IMEの変換中のキー入力も全部食ってしまうので、日本語変換中にカーソルがどこかへ行ってしまったりして使い物になりません。SublimeTextは日本語変換の状態を知ることもできないようなので、対策のしようがないです。えー。
Atomは思っていたよりは快適に使えています。ただハード／ソフトタブ周辺の設定が壊れている？気がする。ソフトタブを切ってもハードタブにならないことがある。微妙。
あとatomic-emacsのmarkの見た目があまり好きじゃないので、kill-ring周辺のパッケージを自作してみてもいいかもしれない、みたいな。前向きな気持ちだ。

お昼から仕事。あいかわらず喉はどんどん痛いし具合も悪い。補助で入っていたプロジェクトを抜けて元のプロジェクトに復帰するので現状の説明を受けたのと、3DのアニメイションをiPhoneで表示する技術調査。iOS8ならSceneKitでわりと簡単にできそうだけど、ファイルサイズ的なボトルネックがどこにくるのかとか、どういった技術が使えるのかとか、そのあたりがぜんぜんわかりません（そもそも3Dの物体を表現して描画するということがどういう図式で行われるのかよくわかっていないのでなにを調べていいか困っているレベルです）。まあどうせ暇だしゆっくり調べればよい（もう飽きてきたけど）。

今夜はAtomのパッケージの作り方を調べるのと、いいかげんPHPを書くことにしましょう。あと早く寝る。

ずっと昔、「頑張れ」という言葉が好きじゃなかった時期があって、それはその言葉が命令文だからだった。でもそんな形式に拘泥するのは正しくなくて、どういう言いかたであれそれは応援する想いの表出の符号なんだな、と思い直して、それならいいかと思うようになった。
でも、やっぱりこの言葉は、種をまく人のものではなく収穫する人のものなんじゃないだろうか、という思いが最近すこしある。特に会社で言われた場合それは絶対にそうだ（しかもそれを巧妙に隠蔽して）。だからやっぱり好きじゃないかもしれない。そういう強制を有耶無耶にするな。
社会的上下関係と命令と依頼について以前ふと思った。なんらかの理由で断ることが実効的に不可能な依頼を、依頼の体裁で行うのは不正義ではないだろうか。実効的に命令であることが有耶無耶にされ、あたかも個人の善意や自発性によってそれが叶えられている、かのような構図を認めてはいけないのではないだろうか、みたいな。
とはいえ、命令に思い遣りを添える文法規則が存在しないのだから、そうせざるを得ないのも事実なのだ。となると、それを脆弱性であると知りながら黙認することしかできない、のだろうか……。

どうもあまり明晰でない思考をしている気がする。

昨晩はMathematicaの評価版で遊んだりしていました。昔計算した、$\Q_2$では0に、$\Q_3$では1に収束する数列の計算とかさせていました。$x_5$は2407桁の整数になって、$\ord_2(x_5)$が682、$\ord_3(x_5-1)$が16になるようです。だからなにという話ではあるのですが。

あとATOKのキーバインドを設定しました。けっこう調べたのだけど、どうしてもキーバインドの同期はできないらしいので、泣きながら（泣いていません）手入力で設定しました。会社のmacで設定してあったもの（これはどうやって設定したんだろう？これも手入力でやったのだっけ？）をテキストファイルに書き出して（インポートできるわけでもないのにそんな機能がある理由はよくわかりませんが助かった）、デフォルト設定の書き出しとのdiffを取って、直すべき項目を発見して直す。たった27項目しかなくてよかった。

今日は夕方まで寝ていました。具合の悪いのはあいかわらずです。喉がちりちりする。今夜も早めに寝たほうがよい。

macのほうはエディタ環境を整えています。試みにSublime Text 3を入れてみた。Emacsはさすがに時代遅れ感があるし、Atomは微妙に好きになれない（これは本当に自分でも説明できないのだが、とにかくどうも相性がよくない気がしている。あと単純にemacs-likeに動かそうとして失敗している（これは僕の設定が悪いのだとは思うが））。でもこいつはこいつで日本語入力との相性がひどく悪い気がする。キーバインドの設定でどうにかなるのだろうか。
キーバインドといえば、一緒に買ったワイヤレスキーボードが微妙に手に馴染まない（微妙なキー配置もそうだし打鍵感の浅さ？とかペチャペチャ感とか）。ワイヤレス性の恩恵もそんなに感じていない（ちょっとどかすのとかはケーブルがないと楽だけど）し、もしかしたらHHKBに戻すかも。というかHHKBがワイヤレスになってくれれば万事解決なのよね。

あとターミナルはiTerm2を入れてみました（前はTotal Terminalだった）。いまのところ特段の違いは感じないけれど。画面上部に出してVisorみたくするつもりだったのだけど、この画面サイズだと遠いので下部に出すことにした。いまのところ快適。

今日もRetinaディスプレイは綺麗だ。隣に置いた旧メインディスプレイ（いまも繋いで２画面にしている）を見ると急に目が悪くなったような気がする。たった３年でここまで進歩したのだなあ。やるじゃん、人類。

しかしmacもいいけどそろそろコード書くのに戻らなくちゃいけない気がする（まあそのためにSublimeText入れてるんだけど）。なのでXAMPP入れたりチェックアウトしたりしました。チェックアウトはHOMEのどこか「いつもの」場所にして、XAMPPのhtdocsへはシンボリックリンクを張るのが正解っぽい（前はhttpd.conf書き替えてDocumentRootを作業ディレクトリに移動させたりしてた）。

明日からまた会社です。そんなの毎週そうなんだけど、休暇のあとの土日はすぐ終わってしまって悲しい。喉の痛いのがよくなってくれるといいのだけど。

あいかわらず具合がひどく悪いですが、iMac Retinaが届いたので環境設定をしています。わくわくするけど面倒だ。まだターミナルも入れてない（こういう優先順位の変化は僕の変化を反映しているのかな、と思ったりします。以前の僕は絶対最初にターミナル入れたと思うのよね。XCodeは入れたけど。）。

Retinaディスプレイはやはり綺麗です。一緒に買ったメモリモジュール（AppleStoreのカスタマイズで32GB積むと妙に高いので、16GBにして残りの16GBは自分で追加するのがお得、とのことでした）もうまく動いてくれたので申し分なし。ただ画面の大きさに慣れるのにはちょっとかかるかもしれません。あとこのサイト表示したら左右がスカスカでちょっと笑った。これサイドメニュー入れて800pxとかだもんな。いや、それにしても小さすぎないか？調べたほうがいいかもしれない。

それより箱が思いのほか巨大だったので部屋が狭いです。旧マシンもデータとか移し終わったら処分しなくちゃいけないし。旧々マシンは旧マシンを買ったとき（３年くらい前ですね）にfに安く譲ったりしたけれど、今度はそうもゆかないでしょう。自作だから処分が厄介な気がする。まあいまは考えなくていいや……

それよりATOKのショートカットキーとか変えないとな。偶然会社のmacを借りてきているし（作業する予定が入るかも、と言いつつあまりやる気なかったのだけど）、そこからエクスポートできないだろうか。ATOK Syncだかなんだかは辞書は同期してくれるみたいだけどそういった設定はどうもダメっぽいし。

それより具合が悪いのが普通に気がかりなので、明日はおとなしく寝ていようかしら。

艦これアニメの関係で、ネット弓道部員が創作物の弓の表現にうるさいという話題が流行っています。まあ実際鬱陶しい人間も多いのでしょう。だけど、その態度自体が間違っているかというとそうでもないような気がする。
たとえば僕はプログラマなので、創作物にプログラミングの描写が出てきたときはほとんど反射的にその正確さ妥当さを検討してしまうし、それを許容するか否かという判断はその後（一旦顔をしかめた後）に起こる。そこでそれを許容するかどうか、というのはそれが創作物の主題とどういう関係にあるか、という話になるだろう。別に学園ラヴコメに一瞬だけ出てくるｽｰﾊﾟｰﾊｶｰがどんな感じでも構わないけれど、主人公がプログラマで、となるとちょっとどうかと思ったりはする。
で、艦これにとって弓はどういう存在だったかというと、明らかに彼女たちは日本の弓使いをモチーフに設定されたキャラクタであって（もっと言うとそういうトラディショナル日本的「良さ」をはっきりと意識しているだろう）、ただ弓を使うだけの普通の人です、とは言い難い。そして、だったらちゃんとやれよ、と言いたくなることは、それほどおかしなことではないだろうと思う。というか僕もぜんぜん知らないけどちょっと思う。だったらちゃんとやれよ（「空母道」の線もそういう議論で棄却されるだろう）。
で、そういう立場をとったとき、それを徹底されてもエンタメ的にどうなのか、みたいな話が出てくるのだが、弓道に詳しい人はそういうのをちゃんとしていてくれることが嬉しいしそうでないのが不快だし、知らない人はそんなの知らない、となると、じゃあ多数決で決まります、という話になる。そう。少数派の期待が受け入れられなかったという話なのだ、これは。
たとえば箸の使いかたが変なアニメキャラがいたとする。気にならない人は気にならないかもしれない（気づきもしない人がけっこういると推測する）。でも気になる人は気になってしまう。気にせずにはいられなくなってしまう。そんなキャラクタがヒロインだったら、それはちょっとつらいと思う。そういうつらさを、彼らが感じずにはいられないのなら、彼らはどうすればよかったのだろう、と思う。「可愛ければなんだっていい」ではない。それは可愛くないのだから。でも、気づかないふりなんてできないのだ。それなら、自分たちが正しくて相手が誤っていると主張するしかないのではないか。（礼儀作法の類はみなこの困難を抱えていると思う。僕も会社に入ってずいぶん他人に不寛容になったと思う。）

また風邪を引いたのか喉が痛いです。うー。

昨晩は数学をすこししました。ζ関数が解析接続可能だとかベルヌーイ多項式で表せるとかそういう話を証明しました。でもまあ、そういうのはあんまり興味ない、かな。

お昼から仕事。不具合をいくつかねじ伏せておしまい。一応カレンダー上では僕は来週から別案件に移るのだけど、まあとりあえず役割は果たせただろうか。

その後は会社を辞める人の送別会と称してお酒を飲みました。被送別者が終電で帰っても残ったメンバで朝まで飲んでいたのでこんな時間です。それは普通の飲み会ではないのか。
ひさびさにお酒を飲んで上機嫌になったのでずいぶん偉そうなことを言ったような気がしますが、まあお酒の席ってのはそういうのがエンタテイメントとして消費される場でもあるのだし、ね。
それより人が減るのは困るなあと思います。前の案件で痛感したけど、本当に人間が足りないとなにもできない。しかし頭数が揃えばいいというものでもないし……。

さて、iMacは11日到着予定だそうです。増設用のメモリだけ先に届きました。明日はアニメでも観つつPHP書いたり数学かな。

そういえば、僕は他人からの評価を受けることに失敗し続けているのだな、と思いました。会社では僕は「なんだか具体的には謎だけど凄い人」みたいなキャラ付けになっていて（これはそういう共通の冗談なのだと理解しています）、だけど僕はぜんぜんそんな風には思っていない、僕には僕のできないことばかりが見えるから、そんな冗談のフォーマットに従って褒められてもぜんぜん褒められた気がしないし、しかしそういう冗談のフォーマットがあるために怒られることもあまりない（これはちょっとギャップがあるが）。べつに怒られたいわけではないけれど、褒められることを信用できない以上、怒られることでしか僕は自分が正当に評価されていると感じることはできない。それって健全ではないと思う。
どうしたらいいのかは謎。この会社にいる限りどうしようもないのでは、とは思う。

昨晩はルーティング機構のクエリパラメータ周辺を書きました。これで一応ルーティングは完成？ただ、URLの正規化（ルーティング条件上冗長なURLをコンパクトにする）のロジックが思いつかない。単純なケースは順引き→逆引きするだけで解決するのだけど、クエリパラメータがくっついている場合にこれだとうまくゆかない可能性があるので真面目に考えなくては。優先度低いけど先にやっちゃいたい。

お昼から仕事。不具合対応。32bit端末と64bit端末とでCGFloatの精度が違うことに起因する不具合を踏んで二時間潰れました。しかも丸め誤差の微妙な不具合なので特定の幅の画像のときしか起こらないという（それで気づくのが遅れた）。こういう形で（OSではなく）デバイスに依存する挙動が現れるのは厳しい（androidでは似たようなことが日常茶飯事なのだろうけれど（iPhoneも最近は画面サイズ変えてきたけど））。

あとXcode6.1はYosemiteで起動したときだけStoryboardの色設定の色空間を変えてしまう？らしいです。正確には16進コードで色を入力したときだけかな（Mavericksだとそもそもできない）。そのせいで見かけ上同じRGB値なのに実行すると作業した環境によって見え方がまちまち、という現象が起こっていました。えっなにそれ。えっ。なにそれ。

さて、もう週末です。そういえばiMac Retinaが発送されたらしい。週末は遊べそうだ（しかも三連休）。あっ、だけどこの週末はできれば髪を切りたいかな……予約とらなくちゃ……

追記：そういえば昨晩は艦これアニメの第一話を観ました。必要十分なことが行われているなあと感じました。そう、これが必要十分なのだと思う。ゲームでおなじみのあのキャラクタがおなじみのあのセリフを言う、そういう感じ（ただ「あざとい」というよりは「雑だなあ」という印象だった）。お話としては多少厳しい。というか一話でやること全部やってしまった気がするのだけど、来週からこの子たちなにするの？

夜中（はっきりした時間はわからないが）に腰の違和感で目が覚めて、ただならぬ雰囲気にこれはよもや尿管結石の再発ではなかろうかと不安に苛まれながら朝を迎え、朝一で医者を探して訪ねた。尿検査の結果に特に異常はないので気のせいじゃないでしょうか、とのこと。まあいささか心配しすぎたところはあるが、でも僕はもう二度とあんな目に遭いたくないからな。はー。

その後久々の会社。AutoLayoutのご機嫌を取るだけで一日終わってしまった。今週までで僕はこの案件の手伝いを抜けるらしい。もうちょっと。

帰ってくると先日iMac Retinaのついでの勢いで買ったApple TVが先に届いていたのでちょっと遊びました。遊んだだけ。AirPlayでiPhoneの画面を映すとゲームが楽しそうですね。

さて、今夜もPHPを書きます。昨夜はルーティングの逆引きを基本的なところは完成させた（たぶん……）ので、あとはクエリパラメータの扱いを整えるだけです。でもテストはもうちょっと精密に書いておきたいかな。練習のつもりで。
そこまでできたら次はコントローラがモデルを束ねるところを作ると思うのだけど、コントローラがなにを返せばいいのかまだ決まっていません。
あ、そういえば最近あんまり数学してないからちょっと数学もしようかな。時間があれば。

昨晩は慣れない手つきでPHPUnitのテストコードを書いていました。ロジックの比重が大きいと思った通りにテストコードが書きやすくて助かります。
書いたロジックとしてはルーティング機構の片道分。railsをパクってパラメータを正規表現で制約できるようにしたり、存在しないコントローラを無視するようにしたり。あと結果の返しかたも決まりました（コントローラクラス名・アクションメソッド名・残りのパラメータの辞書、の組を返します）。
次は逆引き部分（コントローラとアクションの名前からURLを生成する）です。ここは評価戦略が複雑になりそう……。そして別にこんなにがんばって一般的に書くこともない気がするのだけれど（しかしフレームワークとしてはここは要であるからな、将来使えるかもしれないし勉強にもなろう）。

あと寝る前にこの日記を一年分くらい読み返していました。すごい、本当に一年中風邪を引いている。でもやっぱり後半のほうが目立って具合悪そうだな。うーむ。

「論理学の命題」であるところのトートロジーには情報が含まれない。その意義は論理空間の全体となって現実についてなにも主張しない。したがってなにも「語らない」。しかし、それがトートロジーであるという事実は、それが属する論理空間の構造的性質についての情報を含み、それを「示す」、ということなのだろうか。これが「語る」と「示す」との違いの典型的な例と思ってよいのだろうか。

対象の論理形式について言葉で語ることはできない。なぜならばそれを適切に語るためにはまずその対象がどのような論理形式を持つかがわかっていなければならないからである。ただ、その論理形式はその対象についてどのようなことが語られうるかによって示されることができるのみである、のだろうか。

この二段目は前半も後半もかなり怪しい。

明日から仕事です。はー。