0922
お昼から仕事。UIをごにょごにょ。CollectionViewのセルをtransformで調整するのは比較的うまく動いてくれました。これでセルのサイズが変化しても間隔を比較的一定に保ってくれる（しかもレイアウトを変えずに）。一次近似？でもだいぶうまく動いてくれたので高次の補正項はとりあえず要らなさそうです。やったね。
あとは会社のいろんな人に紙芝居を触ってもらって意見を聞きました。コンセプトの伝わりづらさはすでにわかっていたけど、だいぶ具体的な欠陥が見えてきたかも。ただこっからどのくらい方針転換できるのかなーとは。
よいアプリを作るのはむつかしいですね。特にこんなふうに最終的な目標が遠い場所にあるときには。（たとえばTwitterクライアントを作る、とかだったらTwitterが使えることが目標だってみんなわかってるから悩むことなんてほとんどないし、ちょっとくらい変化球を出してもユーザはそれをどう使えばいいのかうまく考えてくれると思われる）
さて、明日はオフ会です。ひさしぶりのような気がするけどそうでもないのか。
「論理学をつくる」第II部まで読みました。なるほど、ここまでは真理値割り当てやモデルとアサインメントを使って式の集合に意味を与えて妥当性を判断するということをしていたけど、そんなことしなくても純粋に構文規則だけで論証することもできるよね、というのが昔大学で教わった自然演繹なのね。大学の記号論理学は自然演繹ばかりやっていたっけ。
そういえば朝起きたらATOK for iOSが出ていたので寝ぼけ眼で入れました。四年越しの悲願叶ったりということで大喜びだったのだけど、現時点ではちょっと微妙です。互換モードのアプリでレイアウトが崩れるのは単なる不具合なのでもう修正版が申請されてることと思いますが（知らないけど）、未確定文字列がキーボード内にしか出せないのはOSの制限らしい？のでしばらくは直らなさそう。それは慣れるまではつらそうだし慣れられるかどうかもまったく非自明だなと思います。うーむ。
というか、僕がほしいのはキーボードじゃなくてIMEなんだけど、appleさんはそのあたりどうお考えなのかしら。標準の日本語変換はほんとうに悲惨なのだけど。