andante

お昼から仕事。UIをごにょごにょ。CollectionViewのセルをtransformで調整するのは比較的うまく動いてくれました。これでセルのサイズが変化しても間隔を比較的一定に保ってくれる（しかもレイアウトを変えずに）。一次近似？でもだいぶうまく動いてくれたので高次の補正項はとりあえず要らなさそうです。やったね。

あとは会社のいろんな人に紙芝居を触ってもらって意見を聞きました。コンセプトの伝わりづらさはすでにわかっていたけど、だいぶ具体的な欠陥が見えてきたかも。ただこっからどのくらい方針転換できるのかなーとは。
よいアプリを作るのはむつかしいですね。特にこんなふうに最終的な目標が遠い場所にあるときには。（たとえばTwitterクライアントを作る、とかだったらTwitterが使えることが目標だってみんなわかってるから悩むことなんてほとんどないし、ちょっとくらい変化球を出してもユーザはそれをどう使えばいいのかうまく考えてくれると思われる）

さて、明日はオフ会です。ひさしぶりのような気がするけどそうでもないのか。

「論理学をつくる」第II部まで読みました。なるほど、ここまでは真理値割り当てやモデルとアサインメントを使って式の集合に意味を与えて妥当性を判断するということをしていたけど、そんなことしなくても純粋に構文規則だけで論証することもできるよね、というのが昔大学で教わった自然演繹なのね。大学の記号論理学は自然演繹ばかりやっていたっけ。

そういえば朝起きたらATOK for iOSが出ていたので寝ぼけ眼で入れました。四年越しの悲願叶ったりということで大喜びだったのだけど、現時点ではちょっと微妙です。互換モードのアプリでレイアウトが崩れるのは単なる不具合なのでもう修正版が申請されてることと思いますが（知らないけど）、未確定文字列がキーボード内にしか出せないのはOSの制限らしい？のでしばらくは直らなさそう。それは慣れるまではつらそうだし慣れられるかどうかもまったく非自明だなと思います。うーむ。
というか、僕がほしいのはキーボードじゃなくてIMEなんだけど、appleさんはそのあたりどうお考えなのかしら。標準の日本語変換はほんとうに悲惨なのだけど。

起きてぼんやりしてたらiPhone6が届きました。うーん、やっぱり大きいや。文字入力はちょっと慣れたらできるようになったけど。ここからどんな感じで手に馴染んでゆくのだろうか。
「今回は新しいユーザ体験がない」みたいな批判をけっこう目にするけど、僕はそんなものなくても数字上のスペックが良くなってくれればぜんぜん満足だし、もしそんなもののために大型化したのだったらほんと勘弁してくれとは思う。でもこういうのっておじいさんって感じだな。どんどんおじいさんになってゆくよ。

ひとしきり遊んだあとは電器屋に行ってケースとフィルムを買いました。ケースはいつもそうしているようにシリコン（シリコーン？）のふにょんふにょんしたやつにしたのだけど、これ系ってもしかしてあまり人気がないのかしら。並んでいるものはどれも硬かったり大きかったりで、探すのに苦労しました。このシリーズ一つしかなかったんじゃないかな。まあ、満足できるものだったのでよかった。
あと保護フィルム。保護というよりは指の滑りがよくなることを期待してのことですが。BUFFALOが出してるやつが、特製アプリで画面に目印を出して位置合わせを簡単にする仕組みになっていて、なるほど画期的だと思ってそれにしました。貼ってみたらたしかに位置合わせがとても簡単でよかったのだけど、大きさが液晶領域ギリギリなせいで、斜めから見ると境界の線が見えるし、パンジェスチャで指が引っかかります。うーん、それはちょっと微妙だな。しばらく使って慣れればいいのだけど。

明日は仕事。UI微調整。あとそろそろiPhone6/6+でのテストをしておきたいかな。
明後日は休み？らしいけど大富豪で遊ぶオフ会に参加します。お酒の飲める店でトランプゲーム、それはポーカーじゃないのか。ポーカーのルール知らないけど。じゃあこの知識はなんなんだ？ん？

昨晩ふと思い立って「ゲージ場の量子論」を読み始めました。買うだけ買って最初３ページくらい読んでほったらかしてたやつです。いきなり難しい。リー代数の言葉、昔々にちょっとだけ勉強したはずなのですが当然頭からすっかり流失しており厳しい。でもずっと昔このあたりのことを勉強したとき（学部四年かな）よりはいろいろの気分がわかった気がする。要するに場がローレンツ変換に対して線型変換を受けることを要請するならばその変換行列はローレンツ群のＮ次元表現になって、そのあり得る姿は表現論から導かれ、とにかく二種類の角運動量代数と関係づけられて、ここからまず二種類の２成分スピノル場が現れる。これらの量を適切に合成するとスカラー場とベクトル場が現れる。もっと高次元の場についてもスピノルとベクトルの合成だと思うことができる。
んだけど、μνで書かれる0123添字が空間の次元４に対応するのかベクトル場の次元４に対応するのか（無論ベクトル場は空間の次元数と一致するからベクトルと呼ばれるわけだけど、いま扱っている議論はベクトル場だから0123なのかスピノル場であっても空間の次元によって0123なのか、というところがよくわからなくなる）こんがらがってしまうことがときどきあって難儀しました。まあ、そこまで拘る必要のあるところでもないかもしれないけれど。

そういえば「論理学をつくる」も読んでいます。述語論理のセマンティクスとか。

朝起きるとSoftbankからiPhone6の本申し込みの案内が来ていたので申し込みました。到着は21日ごろのようです。ちょっと遅くないかね。

お昼から仕事。会社には検証用のiPhone6/6+が届いたので触ったり。やっぱり6+は大きすぎると思ったけど、6も想像していたほど手に馴染まなくて、そんなら潔く片手持ちなんか諦めて6+にしたらよかったじゃない、と思った。そういう賭けになることはわかっていたけれど。
まあでも、文字入力については6でもちょっと慣れれば片手でできそうなので、よかったと思っておきます。ふうむ。

UICollectionViewFlowLayoutのセルのサイズをスクロール位置に応じて変動させるのってどうやればいいんでしょうね。Transformでスケール変えるだけだと隙間が開いたり閉じたりして見栄え悪いので、レイアウト自体やりなおさないとだめだと思うのだけど。ここにさらにUIKit Dynamicsでばいんばいん動く効果もあるから、レイアウトだけ変えてもBehaviorのアンカーを移さなくちゃいけないし。となるとBehaviorの再利用も必要になるのか？それは一日仕事になりそうだ……
あとはまあTransformでスケールだけじゃなくて位置もちょっとずらしてやれば、上下との隙間が等しくなって見栄えは向上するだろうか、とかも。当たり判定とかそれで大丈夫なんだっけ。
まあ拘るのは後でしょうけど。

「ブラインドサイト」読みました。いろいろのアイデアはとてもおもしろかったけど、全体としてはそれほど、な感じ。あと巻末の参考文献がとてもおもしろかった。

自分より自分の無意識のほうが頭がいい、みたいなのはだいぶ前から思っていて、たとえば自分で考えたことより口が勝手にしゃべったようなことのほうが気が利いてておもしろい、みたいなことがよくあるのだけど、でもそれじゃいけなくて、制御できなきゃ道具として三流だよな、とも思う。無意識に染みついた反射だけでは動機が不足している。それも人類の進化が足りてないのかもしれないけど。

追記：いやいや、その「制御」ってのがそもそも遅れてるわけだ。だから批判はもう片方の「反射だけでは動機が足らない」だけになる。もっとも、それが生存に役に立ったかは別問題だし、淘汰される可能性だってぜんぜんあっただろう。すべての生物種は「まだ淘汰されていない」にすぎない、という指摘はその通りだと思う（だから現在の生物を自然淘汰で説明する議論にはちょっと抵抗がある）。
ただ、ひとつの生物種が宇宙に進出しようと思うほどこの世界の淘汰圧？は強くない、あるいはそれには時間が掛かりすぎるのではないかと思う。向こう側から侵略されない限り、重力に逆らって播種する進化は起こらないのではないかな。そしてそれを（おそらく無駄に）可能にしたのは人類の持ってるこれなんじゃないだろうか。

書き忘れ：無意識の計算が幻覚という形で意識に割り込んでくる、というのは「探偵という病気」のアイデアよね。これの話ここでしてないかもしれないけど。

にゃーにゃーねこにゃー。

お昼から仕事。ちょっと会議多め。デザイナさんとの打ち合わせで全体的なインタラクションの雰囲気を相談させてもらったりしました。アニメイションはまず作ってナンボという話だと思うのだけど、手軽にアニメイションを作る技術がないのでできません（習得している余裕もないし）。そういうのを試作する専門職みたいなのがあってもいいのかなと思いました。
あと社内の人にプロトタイプ紙芝居を見せて反応を見たり。画面がシンプルなせいでコンセプトが伝わりづらいです。そこはUIがもっと雰囲気作って誘導してやらないといけないのかなーとか。あとフロー自体の見直しとか。スケジュールがまた延びそうだ。

あとはAPI叩いたりしていました。責任をモデルのほうに分散させようかなともちょっと思ったけど、いまいち完成予想図が見えてこないので結局当座はマネジャに集約する感じにしました。これこのまま固定されるんだろうなーと思いつつ。まあその方がいいならそれでいいんだけど。

そういえばiOS8が来ましたね。僕は結局まだアップデートしていません。iPhone6がもうすぐ手に入るし、一度上げると戻せない（もしかしたら会社に検証端末として売るかもしれないし、そしたらiOS7のがありがたがられる可能性がある）のでちょっと慎重に。
iPhone6/6+も会社の検証用はAppleStoreから発送されたらしく明日には届きそうですが、僕が個人的にSoftbankで予約したものはどうなったのかしら。いまのところ連絡ないけれど。

お昼から仕事。風邪っぽいけどまあまあ順調。ネットワーク関係の管理について。トークンが切れたら自動でリトライかける機構が書けたのでまあがんばったと言えるでしょう。

ところでSwiftの地雷を踏みました。enumの自明な比較がコンパイルエラーになります。どうも別のenumやクラスとごっちゃにされてしまっているようなのだけど、明示的に型を書いても明らかにおかしな型エラーを吐きます。リリースノートにもenum絡みの不具合が一件あったと思うけど、それとも微妙に違う気がする。ふうむだ。

「真似をする」ということにも上手い下手があるのだなーということをふと思い出したのでした。

高校時代にちょっとだけ萌え絵を練習していたのだけど、友人が模写したという絵がまったく同一視できなくて、だのに当人はそうは思っていないらしくって、ああ真似をすることにも上手い下手があるんだ、と思った。彼（高校が男子校なのでこの友人は男性に型推論されます（お前は学校以外に友人がいないのか（はい）））はそれが同じに見えたということは、観察と比較の精度が操作の精度よりも下にあって、それが限界を決めていたのだな、と思う。僕は操作の精度が低くて、自分で描いた線がどうしても自分の思ったとおりに進まない、そっちが限界を決めているのだろう。

と、思ったのだけど、僕に起こっていたのは本当に「頭では正しい線がわかっているが、手の精度がそれに追いつかない」だったのだろうか。実はそうではなく、頭でもよくわかっていない、ただなんとなく「知っている」ような気がするだけのものを描こうとしたから、手が曖昧な指令を拒否した、ということなのかもしれない。そういう取り違えというのは生活の中でよく起こっている気がするから、なんだかこれももっともらしく思えてくる。でも、模写でそれが起こるとなると頭の中にさらにもう一部屋作らなきゃいけないっぽい（いま現に見ているものが、写すまでのあいだに有耶無耶になってしまうということだから）し、実は嘘かも。

いずれにしても、そんなのは練習すればある程度の水準にはなるに違いないものだし、そして僕は練習が嫌いだったから、それでおしまいになってしまった。大学に入ってからもちょっとだけ練習したけど、同じこと（そういえば、大学で一緒に練習した彼らの中にはそこまで模写が下手な人間がいなかったように思う）。練習嫌い。描きたいものなんかない。人間を描くということに対する不安感（これはまったく欺瞞的なものなのかもしれないけれど、「いま自分が描こうとしている人間がどんな人間でどんなことを考えているのか」みたいなことが僕にはまったく想像できなかったし、そんな状態で人間を描くことがなんだかとても「不道徳な」行為であるかのような思い込み）。

さて、遅くまで仕事をしていたせいで遅くまで日記を書いています。これからお風呂に入って眠ります。

お昼から仕事。最近わかってきたのだけど、前々日に朝五時まで起きてたりすると前日なかなか寝付けなくて寝不足になりますね。いや、理論は知ってたけど、そんなアホな、みたいな。いや、前はそんなことなかった気がするんだけどな。

仕事はまあまあ。通信まわりの考え事。とりあえず明日相談すべきことはまとまったかな。通信は結局AFNetworkingを使うことになりそうです。Alamofire気になるけど、柔軟性がよくわからなかった。特段のメリットがあるわけでもなさそうだし（すでにObjCのコードもいっぱい取り込んでいるし）。

あとは頼まれた作業でちょっと立て続けにミスしました。結果的に問題なかったとはいえちょっとヒヤッとします。気が緩んでいるのかしら。ってことはそうだと気づいたとしても意味がないのかもしれない（飛躍）。はー。気をつけなゃ。

髪がかわくまで本を読んで寝ます。

追記：第二段落にも「お昼から仕事。」って書いてて頭使ってない感じがして恥ずかしい。

映画を観ました。「ニーチェの馬」。僕はこういう映像芸術には向いてないんだなあとあらためて感じます。なにが言いたいのかテンポ良くはっきり提示してもらわないと、頭がまったくそれを読もうとしない。残念なこととは思いますけれども。

お話は、なんなんだろう、世界が終わる？んだけど海が押し寄せてくるわけでも空が落ちてくるわけでも街が火に包まれるわけでもなくて、ただ馬が動かなくなって井戸が涸れて火がつけられなくなる。そういう世界の終わり。でも、これは世界の終わりなんかじゃなくたってありふれたことだと思う。以前ならできていたことがある日を境にできなくなる、そういうことが積み重なってゆくのが老いるということなんだろうと思っている。そんなことを連想しました。

明日はまた仕事です。月曜日で終わるタイプの三連休、明日から仕事だというのにアニメがないのでなんか調子狂います（という習慣はせいぜいこの三ヶ月のものでしかないはずなのですけれど）。

「あの、素晴らしい　　をもう一度」をプレイしました。システムはおもしろかったけど、もうちょっと誘導がしっかりしててほしいと思いました。いや、そういうのがおもしろいという人もいるのかもしれないけど、僕はそういうのはフラストレイションに感じます。程度の問題なのかも。
あと、トゥルーエンディングがあんまりトゥルーっぽくなかったな、とも。もっとこう、スケールの大きな変化がほしかったかな。

明日はお休みだそうです。やったね。

昨晩は結局お酒を飲みながら本を読みました。「論理学をつくる」を読み始めました。ちゃんとした本だ。

僕の中には二人の人格（無定義）がある。一人は対人コミュニケイションの中をスイスイと泳ぐ僕。明るいキャラクタと気の利いた冗談で道化を演じるのが得意。そしてもう一人の僕はそんな自分の振る舞いや、人間同士のコミュニケイション全般を心底嫌っている。かつての僕はほぼ完全に前者が支配的であったが、高校二年のある晩に、自分の中のこんな風に分裂した部分に気づく。そしてだんだんと前者は姿を見せなくなってゆき、薄暗く鬱屈した人間が残った。現在の僕である。

「社会を舐めてるよね」とまた言われたけど、僕にはやっぱり社会でいい子にしてたって誰も褒めても救ってもくれないとしか思えないから、そんなものてきとうに合わせてやりたいことをやればいいのにと思います。というか、むしろ構成員の全員がきちんと社会と自分との空隙を自覚した上でその間で起こるネゴシエイションに誠実に取り組むのが、在るべき姿なんじゃないかなと思っています。僕はそうありたい。