今日も眠い。寝不足なんだろうか。疲労が蓄積している感じもある。今週来週はいろいろ奔走しなくてはいけないのだが……。
仕事はあいかわらずトラッキング関係。とりあえずイベント定義は全部書いたと思うので、あとはタイミングよく挟んでいくだけだと思う。それがまあ難しかったりするわけですけどもね。
夜は荷造りをしていた。本棚の本を片っ端から段ボールに詰めているのだけど、本が無限に湧き出してくるのでぜんぜん終わらない。けっこうな量の本を棄てることも決めたが、とにかく無限に湧き出してくる。小さい段ボールを追加で注文する。
明日は新居の契約書が届くのと、午後にビデオ会議で契約書の作成を行う。カメラつきでやるにはあまりに部屋が大惨事だけど、まあ引っ越し準備中なんだから当然だよな。
今日は眠い。なんだか元気がない日だ。大丈夫かな。
仕事はずっと打ち合わせしてた。会社の定例全体ミーティングと、クライアントとの打ち合わせと、社内進捗会議と、あと別の認識合わせ会をやったら終わった。認識合わせは認識を合わせることができたのでよかったけど、なんだか面倒な方向に倒れそうだなあと思う。大丈夫かなあ。
夜は引っ越し準備っぽいことをした。準備というより準備の準備みたいなものだ。とりあえず衣類を詰めてやろうと思ってベッド下の引き出しを開けたら中身がほとんど無かった。ベッドを買ったときにこの引き出しに詰めた衣類は長い時間の流れの中でだんだんと部屋全体に散逸してしまったらしい。諸行無常を感じた。
明日は本用の小さい段ボールが届くはずなので、本棚の本を仕分けしていく。
Twitterで政治の話をするのをやめろと言うと、そういう態度こそが１つの政治的スタンスの強い主張なのだ、という応答があったりするのだけど、これは噛み合っていない議論だと思う。たとえば、「トイレでタバコを吸うな」という主張があったとして、これは単に（たとえば）防災上の問題点を指摘しているのであって、喫煙という習慣そのものに対するいかなるスタンスの明示でもないだろう。「Twitterで政治の話をするな」も、少なくとも発言している人はその意図で言っている可能性は大いにある（し、僕がそういう感想を抱くときはこの意図で言っている）。2020年のTwitterがすでにそういう態度でいられる場ではない（「世論を発信する」場である）というのはおそらく正しい反論なのだが、僕はそれがすこし寂しい。
Twitterで政治の話をするな。国会で大喜利するぞ。
今日はやっぱり元気がない。寝よう。
具合はなんか平均よりちょっと悪いくらいのところで安定している。今日もちょっと寒いのかな。
仕事は何してたっけ。トラッキング関連のいろいろを実装していた気がする。トラッキングほどつまらない実装もなかなかない。そもそもが僕はこういうマーケティング的なものに不信感を持っているし、本当にこういう測定が何か意味のある改善に結びつくのかは大いに怪しいと思っている。
A/Bテストというのは、局所最適解への最短経路だと思っている。物事を失敗させる一番簡単な方法は「みんなで相談して決める」ことだ、という話がある[無出典]けれども、A/Bテストというのは「みんなで相談して決める」ことと実に相性がいい。数字の比較は誰にでもできるからだ。誰にでもできる実験があり、誰にでもできる測定があり、誰にでもできる比較がある。A/Bテストは「何かが改善している感」を出すのが極めて簡単なのだ。少なくともつねに何らかの数字は改善し続けているのだから、それ全部が無意味なのでは？という疑いを真剣に投げかけるのは容易なことではない。こうして局所最適解を一直線に目指し、サイヤクなWebサービスが完成する。
夜は何してたっけ。部屋をちょっと片付けた。明日は打ち合わせがあるのでカメラに映っても大丈夫な部屋を作らないといけないのだ。まあ段ボールがいっぱいあるのは「引っ越し準備中なので」で通そうと思う。事実だし。
そういえばiPhone SEの新しいのが出た。iPhone 9か何かだと思った。「iPhone SEの新しいのがほしい」という人はけっこういる印象で、その人たちが欲しがっていたのは４インチディスプレイのサイズ感だったりiPhone 5時代のシャープなデザインだったりなんだろうと思っていたのだが、もしかすると単に最新iPhoneの廉価版のことだったのだろうか。そんなことはないと思うのだが。
明日は段ボール箱がたくさん届くので、本格的に引っ越し準備を始めることになる。やれやれ。
時空操作$T: S\rightarrow S^\prime$のPenroseエントロピー$H(T)$を次で定める：
$$
H(T)=k(\log W(S)-\log W(S^\prime))
$$
ここで$k$はBoltzmann定数である。このとき、次の重要な結果が知られている。
定理 4.1（時空操作におけるShannon-Penrose限界）
時空操作$T$に必要な情報量$I(T)$に対して$I(T)\geq H(T)$が成立する。
これはどういうことだろうか？すなわち時空の操作には限界ーー情報量的限界ーーが存在するのである。「影響のある」操作には、それに見合っただけの情報が必要なのだ。このように説明すると至極当然のように思われるかもしれないが、それが数学的に厳密な形で示されるのは驚くべきことである。
さて、ここでこの不等号の差を考える。すなわちある種の「効率」$E$を$E=I(T)/H(T)$で定めれば、上の定理から直ちに$E\geq 1$となるが、実はこれは操作$T$にはよらず、操作を行う時間機関にのみ依存する[34]。これにより、時間機関$C$の効率$E(C)$を定義することができる。
さて、前章の最後で「非常に行儀のよい」機関の例としてGödel機関を紹介したが、その行儀のよさにはあまり触れなかった。効率という言葉を用いれば、Gödel機関に次のような特徴付けを与えることができる。
定理 4.2（Gödel機関の理想性）
任意の時間機関に対して、Gödel機関の効率のほうが良くなる（$E$が1に近づく）または同等であるような時空分割が存在する。
この意味でGödel機関は理想的であるという。
すなわち、どのような時間機関を考えたとしても、時空の分割をうまく選ぶとGödel機関のほうが効率がよい状態にできる、ということである。であれば、当然無限小Gödel機関の効率は1、すなわち定理4.1で等号が成立している状態である、……と考えたくなるであろうが、これは未解決問題である。次節では簡単な例を示すが、多くの場合にGödel機関の効率の具体的計算は難しく、これまで得られている最良のものは$\frac{1+\sqrt{7}}{2} \approx 1.82$である[22]。逆にその他の機関に対してはこれより効率の良いものも知られている（$E=\sqrt{2}$）が、定理4.2が予言するような、より効率のよいGödel機関の具体的な構成はまだ見つかっていない。
仕事はなんだっけ。トラッキングの実装をちまちま確認していたら終わったような気がする。前にやったのと似たようなものだろうと思っていたんだけど、思ったより差分があるので焦っている。やれやれ。
そういえばレビューをしていたらおもしろいテクニックを知った。RunLoop.runでモードをdefaultにすると、メインスレッドで実行される予定になっている何かのコールバックをそこで実行できるらしい（逆にその間はメインスレッドでwhileループを回しておく）。同じスレッドなのにランループのモードで別のものを実行できるのか。なんかおもしろい。しかしこれ本当に動いているのか？
夜は部屋を片付けてた。実家に送りつける本をまとめている。あまり送ると母に渋い顔をされるだろうが、まだ僕には本棚を捨てる覚悟は持てない。
今朝はなんだか調子が悪かった。風邪っぽいのが悪くなったのだろうかと思ったが、どうもすごい低気圧が来たり急に寒くなったりしていていろんな人が調子を崩しているようだあった。低気圧が来ると本当に調子が悪くなるのかはよくわからない。その程度で調子を崩していたら高層ビルなんかで働けないと思うのだが。それともビルの空調はがんばって地上付近に近い気圧を保つようになっているのだろうか。だとしたら窓とか開けるとすごいことになりそうだよな。
仕事はLT会の発表資料作成など。XcodeGenについて発表する予定。こいつはいいやつだ。プロジェクトファイルが人間に読めるようになることももちろん嬉しいけれども、それよりもこういう設定ファイルを書くことでプロジェクト設定に注意を払う機会ができるということも嬉しい。僕もXcodeGen試験導入の過程でいろいろなことを勉強し直したし。
それ以外は特になにもしていない。そういえば今の家に退去の申告をした。来月頭ごろには諸々まとめて引き払いたいので、もうちょっとテキパキ動いていかないといけないな。がんばらないと。
明日はもうちょっと調子が良いといいなあ。
予想通り、一日中二日酔いで終わっていました。今もまだ少し気分が悪い。休日前以外は飲まないように決めてから、飲む日の量が増えてしまって逆に行動に支障を来しているような気がする。自制せんとね。
なんとはなしに「やがて君になる」を読みました。シンプルにいい話でした。
明日はまた仕事。そういえばそろそろ引っ越し準備を進めないとまずいですね。まずい、ですね。
昼過ぎに起きて冷蔵庫を見た。見ると少しはイメージがつくと思ったが別にそういうことはなかった。
そういえば結婚指輪が届いた。つけるとそこそこ異物感がある。慣れの問題だろうか。あとこれ以上小さくすると本格的に外れなくなりそうなので、そういうものなのかもしれない。
夜はなんかメチャお酒を飲んでしまったのでたぶん明日は死にます。いやはや、辛いですね。
なんだか今朝は眠くてすこし寝坊をした。昨晩は比較的早く寝たのだけど。
仕事はFirebaseの実装とか。表の通りにイベントを挿入していくだけだったのでテンションは上がらないけど楽な仕事だった。このプロジェクトのコードはほとんどあらゆる場所にアンチパターンを見出せると思うのだけど、トラッキングの共通化の仕組みだけは好感が持てる。
あとはクライアントから来ていたFirebase関連の質問について考えていたのだけど、これはどうもFirebase Analyticsがこの数日調子が悪いという結論になるのではないかと思う。こちらの実装はほぼ確実に正しい。
夜は趣味コードを少し書いた。書いてない。考えた。昨夜から考えているけど、結局Domain層のEntityは必ずしもPresentation層が必要としているデータモデルとは一致していなくて、その変換を誰かがどこかでやることになるのだろうと思った。おそらくそういうモチベイションでViewModelだとかPresenterという概念が登場するのだろう。ViewControllerがそれを担うということも考えうるが……。
あと読書もした。「大絶滅恐竜タイムウォーズ」を読んだ。これは2020年代日本SFのどえらい幕開けを見てしまったかもしれんなあという感じ。この先に何を打ち建てるのか、というのが時代を作るわけじゃないですか、たぶん。
明日は土曜日。引っ越しに向けて準備をしないとだめかも。やれやれ、引っ越しというのは僕がかなり苦手な作業の一つなのだが……。
昨夜もなんか夜更かししちゃったせいであまりテンションが上がらない日。冷蔵庫探したり引っ越しの見積もり出したりしてた。そういえば新居の審査は通ったので色々振り込んだんだけど、インターネット回線の接続方式がよくわからないので確認してもらっている。光ファイバーとは書いてあるけど、おそらく部屋まで光ファイバーは来ていないので、共用部からの配線が何なのかが知りたい。築年数のわりに綺麗な部屋だと喜んでいたけど、ここは不安がある。工事できればまだいいのだが。
夜は趣味コードをすこし触っていた。Domain層にいろいろのロジックを書く場合、Repositoryから取得できるデータにUseCaseあたりで加工をすることになるので、これらは実はエンティティを共有できない場合があるっぽいな。これをどう解消するのがいいのかはまだ考えていない。できるのか？Repository用のエンティティとしてprotocolを定義すればいいのか？
ねむい。今夜こそもう寝よう。
仕事はなんか淡々と終わった気がする。何してたんだっけ。特段生産的なことはしてなくない？調べごととか？
そういえば自宅用次期iMacについて調べていた。モニタアームを買って取り付けたいので、アーム用のネジ穴がついてるモデルを買わないといけない。昔ほどスペック厨ではなくなったと思っていたのだが、「これくらいは人権だよね〜」とぽちぽちしていたら40万円近くなってしまった。人権は高い。
夜は冷蔵庫を調べていた。冷蔵庫、とりあえず容積を決めてしまうとサイズは各社ほぼ同じだし、区分も、シャープだけなんか冷凍室に振った機種を出してきてるくらいで、基本的には似たり寄ったりっぽい。たぶんその他の細かい機能で差別化してるんだろうけど、そういう細かい機能を本当に使うのかについては懐疑的なのであまり調べる気になれない。冷蔵庫がインターネットにつながってなにか嬉しいのかとかよくわからないし、この冷蔵庫のためのシステムを十年保守する人間がいるのか？という気持ちにもなる。
このサイズの冷蔵庫を買ったことがないし、このサイズの冷蔵庫のある暮らしをしたことがない（実家にはあったがその頃は料理なんかしていなかった）ので、使いかたがよくわからない。カレー鍋をそのまま冷蔵庫にぶち込むみたいな使いかたって大学生じゃなくてもするものなんだろうか？
そういえば昨夜は「これは学園ラブコメです。」を読んだ。草野原々はデビュー作がどうにもノれなかったので敬遠していたんだけど、これは良かった。2020年の（まあ出版は去年だけど）スラップスティック・メタフィクションをちゃんとやっているなあと思った。2007年にSelf-Reference ENGINEを読んだときを思い出した気がする（というか意識的にやってると思うけど）。あれも虚構の虚構性をさんざんいじったあとでそれなりにベタをやってきますよね。
ライトノベルレーベルから出ているのも良いことだと思った。十五年前も、ライトノベルの役割の一部ってこういうのだったと思うんだよね。べつに役割なんかないんですが。
昨夜夜更かししてしまったので今夜は早く眠ろうと思っていたのに、冷蔵庫について妻と議論していたら遅くなってしまった（しかも基本的に不毛なやりとりだった）。やれやれ。