andante

具合が悪いです。

お昼から仕事。でもぜんぜん調子が出ませんでした。やっぱりね、徹夜なんかしちゃって偽りの達成感を得たのはよくなかったと思うのよね。落ちついたら直そうと思ってたことが山のようにあるはずなんだけど、なんかぜんぜん思い出せません。Redmineのチケットもひどく断片的だし。うーん、進捗管理のできてなさよ。
とはいえいくつかは思い出したのでしばらくそれを潰そうかな。まずはエラーダイアログの表示。あと、実は大規模な書き直しを目論んでいる。ツギハギだらけで違法建築感あるからね。

そういえば技術blogを書きました。
http://wtbm.necocen.info/9
今度のはOptional<T>についてるmapという関数の話で、これはArrayのmapとFunctorのfmapとして同一視できるんですね～という話です。結論がこうなるならOptional Chainingの話とかべつに要らなかった気もする。あるいはOptional ChainingをArrayに持ち込むなどすべきだったのかもしれない。

ふと整数論が勉強したくなったので本を探していたら、
http://www.amazon.co.jp/%E4%BB%A3%E6%95%B0%E7%9A%84%E6%95%B4%E6%95%B0%E8%AB%96-J-%E3%83%8E%E3%82%A4%E3%82%AD%E3%83%AB%E3%83%92/dp/4621062875
のレビューに「息子に、ねだられたので」って書いてるお母さんっぽい人がいるのを見つけました。しかもその人高校受験参考書のレビューも書いてて、これはもしかするとそういう話なのかもしれない。末は博士か（大臣ではなさそう）。

髪が乾くまでアニメを観て寝ます。

昨晩はCocoalumberjackでログをファイルに保存してメールに添付して送る仕掛けを作っていました。ただ、Swiftだとプロパティじゃないメンバ変数に触れないから、ログフォーマッタが書けないのですね。そこはたぶんCocoalumberjack側でどうにかしてもらうしかないのでしょう。まあ別にそこだけobjcでもよいのだけども。

そういえばすべＦの一話を観ました。冒頭に四季との面会を持ってきたのはナルホドという感じで、じゃあやっぱり表題作がクライマックスなのでしょうね。ただ萌絵の計算が遅い。それに比べれば犀川先生がWindows使ってるとかほんとうに些細な問題だと思う。萌絵の計算が遅い。
とはいえ全体としては悪くないです。まあまあ期待。二話の録画予約をしました。

今日はひどく具合が悪いです。風邪なのかしら。寝る前にちょっとだけ不具合の調査をしよう。

なんか具合がよくないな。

昨日社内リリースしたアプリの不具合報告がガンガン上がってくるのでほんとうにつらい。とりあえず、ログをメールで送れる機構は早急に用意しないとだめだなと思いました。入れるつもりはあったのだけど、間に合わなかった……

そういえばSwift1.1に対応しました。rawValueとかfailable initializerとかはまあよかったんだけど、それよか同一ファイル名が（別ディレクトリでも）使えなくなった？ことのほうが困りました。なんでそんなことするかな……

さて、今夜はちょっと不具合と実装漏れの対応をしつつアニメを観てお酒を飲みましょう。ちょっと風邪いけど。まあいいさ。

朝の八時くらいまで仕事をして、帰って三時間くらい寝てまた会社にゆきました。とりあえず間に合った、かな。チュートリアル部分のエフェクトはまあまあ満足いく感じにできたと思います。僕がてきとうに思いついただけのものなんだけども。
文言とかも、ちゃんと専門の人に任せるなどすべきなんじゃないかなと思うけど、あまりそういう話は聞かない。言葉なんて誰にでも書けるなんてのは幻想だと僕は思う。

社長が再三にわたってあと一週か二週かでリリースみたいなことを言うのだけど、これは社内での発表の場だからそうなのか本気でそう思っているのかよくわかりません。僕としてはこれでやっとスタートラインというか、今日はゼロ歳の誕生日であって人生は長い、という感じなので（もっといえばこんなのサービスのプロトタイプにすぎない）、あの感じはどうも違和感あるし、止めなきゃ、と思います。

あと会社の納会（ってなんなのかよく知りません）で寿司を食べました。寿司職人が来てその場で握ってくれたけど、僕としては「エンガワは炙ったほうがおいしい」と教えてくれた以外には特にメリットなかったと思います。しかし炙ったエンガワはおいしかったのだから、これは成功と言えるでしょう。おいしかった。

さて、今夜はお酒を飲もうかどうしようか。アニメも観たい。でもすでにちょっと飲んでるしそのせいか頭も痛い。そういえば土日はSwift1.1への移行を試みようかしら。Xcodeも6.1でちょっと安定したみたいだし。

会社で徹夜をしています。無能ははたして罪なのか。

仕事の前に歯医者にゆきました。べつだん悪いところはないけど昔一度行ったら定期的に通うことになってしまってずるずると続けているやつです。まあ定期的に観てもらえるのは悪いことじゃないけれど。特に歯とか悪くなってもなかなか気づけなさそうだし。

仕事は厳しい。絶望的に無理って感じじゃあないけれど、だいぶ厳しいです。社内リリースは金曜日、らしいのだけど、その未定義語に何を思えばいいのかよくわかりません。とりあえず画面の数だけ揃ってればいいんだろうか。いやそんなことは。
あと社長はその後すぐ出しちゃいたいみたいな感じっぽいことがわかったので、不安が濃くなりました。いや、無論完成度が低いのは僕の仕事が遅いせいなのは承知しているけれど、それとこれとは別の話だ。

ともあれあと一日だか二日だか、がんばります。風邪気味なのが持ちこたえてくれればいいのだけど……。

最近考えたこと。

「政治的」という言葉の、もっとも基本的な意味は、「ほんとうは足したり引いたりできないはずの要素を、なんとか一つの統一されたスコアに換算して行動を決定する」ということなのかな、と思いました。だから、この意味では「おなかすいたけど眠いから寝る」というのも政治的判断と言えます。空腹と眠気とは足したり引いたりできない概念だけど、眠気のほうに重みを置いたスコアによって行動が選択された、という意味で。

こういう判断は、おそらく計算機にはまだうまくできないのではないかと思います。うまくできないというか、未知の要素に対してうまいスコアを割り当てることができない。人間はそういう場合にでもなにかしら「直観的」と大雑把に呼ばれる方法で比較的いい感じなスコアを割り当てて行動を決定できますが、いまの計算機にはまだうまくできないでしょう（それは世界を理解するって話です）。

おそらく、人間にとってすべての判断はこの意味で政治的なのです（論理的推論と呼ばれているものさえも）。それは未知の状況への適応能力を与えてくれるけれども、既知の状況で判断を誤る可能性にもなります。

そして、むしろ逆に、そういった政治性の具現こそが人間の自意識なのかもしれません。さまざまな尺度を一つに統合する存在。もしも脳や身体の各部が勝手に判断して勝手に行動していたら、きっとこんな自意識の生じる余地はなかったでしょう。そして、彼は寝ながら食事をとろうとして、きっとどちらにも失敗するでしょう。

というあたりでこれ「屍者の帝国」でこんな話なかったっけ、と思いました。

お昼から仕事。昨日悩んでいたFRCの問題は結局対応できず。仕方がないのでreloadDataで表示するようにしましたが、ひどくガチャガチャするので嫌です。正式リリースまでには考えなくては……

あとデザイン適用とかしました。PDF画像が使えるようになったのでデザイナさんにはそれでお願いしたのだけど、色空間？がCMYKだったので色が狂いました。Xcode上ではちゃんと出てたじゃん！！！！嘘つき！！！！！

そういえばすべＦの録画をすっかり忘れていました。観てないのに感想だけ眺めたところ、犀川先生がWindows使ってたらしく大顰蹙のようであったけれど、原作の書かれた二十年前ならともかくイマドキの大学の先生はUNIXよりはWindowsなんじゃないかしら（特に理学部より工学部のほうがその傾向が強そうな印象もある）。macの線は有り得るが好みの問題なので本人（作者ではなく）次第だし、仕事用だったら解析ソフトの都合とかそういうつまんない理由で決まる可能性も高い（これも二十年前なら全部自分で書いたのかもしれないが）。
そういうことじゃなくてロマンなんだよ萌えなんだよ、という話ならば、まあ。そして別にそんな理由で決まったのでもないのでしょうが。

お風呂に入って髪を乾かしてアニメを観て寝ます。あっ、そういえば明日歯医者じゃん、やばいな。

なんか昨夜はよく眠られなかった。

お昼から仕事。スケジュールは今週末までということになったので、今週がんばればなんとかなりそう。デザインがまだぜんぜん来てないのが気がかりですけれども。

あと夜にNSFetchedResultsControllerの地雷？っぽいものを踏みました。いまも踏んでいます。ちゃんとPredicateは設定できているはずなのに、なぜか更新通知が来ない。最初はマルチスレッド沼かと思ったんだけど、少なくともログを見る限りものごとは順調に進行しているし、謎。最悪後回しにしてもいいんだけど、後回しにした場合の解法が思いつかないので踏ん張らないといけない気もする。うーむ。

髪が乾くまでアニメを観ます。

昨晩はFacebookのAPIを叩く方法を調べるのにずいぶん時間を使ってしまいました。あいつ、せっかくiOSと連携しているのに、プロフィール画像一枚とるのにも開発者登録とアプリＩＤを要求してくるのですね。もっとうまい方法があるはずと思っていろいろ調べたけど、無駄な時間ぽかった。はー。

あと自作ダイアログビューのレイアウトエンジン（LayoutConstraint作るだけですが）を書きなおすのにも時間を使ってしまった。こっちは完全に趣味が高じたばっかりにという感じなので（完全にではなくて以前のものに現実的な不満はあったのだけど）、なにやってんだという感じ。まあ、夜中にテンション上がっちゃうことってのはあるよね。はー。

今日も夕方に起きて仕事。Googleの周辺検索APIを叩くところ。これで一応画面は出揃ったはずで、あとはシナリオ待ち。あとで直すってほったらかしてたところをぷちぷち潰してゆく（あんまりおもしろくない）作業をしようかしら。あ、設定画面のこと忘れてた（けどあそこは僕の分担から一旦外れてるしな、相談しないとわからないや）。

昨晩寝る前にふと思ったのだけど、連続量将棋ってのはどうだろうか。普通の将棋は時間と空間とが離散化されているけれども、それを連続的に行う。どんな風に拡張するかというと、普通の将棋の１ターンを「時間Δtごとに自分の駒の一つを選び、Δt×（駒の速度）だけ移動する」と考えて、あとはΔt→0の極限っぽい感じにする。すごく素朴な直観に従うと、そうすることで自分と相手が交互にプレイするのではなくて同時に進行するようになるし、自分の駒も一度に一つではなく、自分の駒全体で合計が1.0になるような「重み」を各駒に割り振って、各駒は各々の移動可能速度に重みを掛けた量だけ移動するようになる。

移動方向についても、もともとの駒の移動可能方向の重ね合わせで書ける方向にはすべて移動できるようになる。速度は、将棋の駒が伝統的にムーア近傍を採用していることから、たとえば王将ならば斜め方向への移動がちょっと速くなるだろう。直進と斜めの中間については、タンジェントが有理数ならば直進と斜めの必要回数から算出することができる。

ところで、駒の移動速度を定義するにあたって問題になるのが飛車や角で、なぜならば彼らは移動量に制限がないからである。なので便宜的に実質最大値の９マスを速度としてやるほかないだろう。彼らは全方向に移動できる。また先に述べた理由から角のほうが飛車より斜めへの移動の分だけ強い。香車はあいかわらず直進しかできない。

あとは駒を取るイベントであるが、もはやターン制ではなくなるために、「どちらの駒が相手を取った」という区別はできなくなる。従って駒同士が衝突した際には互いの駒を交換して手駒にする、などの対応が妥当であろう。当たり判定は適当な半径の円でよい。

ここまで書いたところ、「桂馬はどうするのか」という指摘をもらった。確かにこれは重要な問題で、僕は将棋にまったく造詣がないのでなんとも言えないけれど、飛び越えることができる性質はきっと戦術上重要だろう。しかしこれはどうしたって連続性と相性が悪い。なにか「溜め」のような仕組みを導入して、溜まっているパワーの分だけ瞬間移動ができる、というような対応がいいだろうか。悩ましい。

というところまで考えたので、あとは誰かがどうにかしてくれるといいかなと。

はー、なんかまた具合悪くなってきた気がする。うー。

夕方に起きて仕事しました。だいぶ細かい話になってきたのであんまりやる気はでないけれど。

そういえばWKWebViewを初めて使いましたがこいつ意外と融通利かないというか、デフォルトだとtarget="_blank"を開いてくれないのですね（いやまあ、別ウィンドウで開けと言われても私はどうすれば、みたいな気分はわからんでもないのだけど）。あとwindow.open()とか。この日記はtarget="_blank"は使わずrel="external"なリンクをJavaScriptでwindow.open()に差し替えているのでさらに厄介でした。

風邪はちょっとよくなったような気がするけどよくよく考えると微妙にしんどさが残っている気はします。これから夕飯を調達してきて、それからまた仕事をします。細部はともかく骨組みは今日終わらせたいのだけど、無理かなー、GoogleMapsのこと調べないといけないし。