肩凝りがひどく、ずっとぐったりしている一日だった。育児がそれほど疲労を生んでいるとは直観的には考えられないが、まあストレスは掛かっているのだろうし、実は10kg近い物体を頻繁に持ち運びするのはけっこう体力を使っている可能性がある。
ストレスといえば、もうじき新しい職場に移るので、それも緊張の要因ではある。やれやれ。
FableとCodexは今日も実装をしている。結局どういう理論を作ったのか、一度教科書を書き下してよと言ったら長いHTMLファイルが出てきたが、まあ正直読めたものではない。流体力学なんてとっくに忘れているし、用語の説明も端折られている。じゃあなんのために出したのかというと、ここに書かれている数式の少なくとも一部は証明をしているはずだし、ある程度一貫した説明ができる方針で実装をしているのだろうという、お守りである。
寝ます。
相変わらずFableとCodexがなんらかの物理学をやっている。成果物をたまにスクショで報告してくれるのだが、確かに今回はまともな動きをしている感じがあり、ようやくいい流れに入ったなと思った。と言ってもまだまだきれいに準安定状態が見えているわけではないので、道は遠い。
あと新しいMacBookの環境構築ついでにdotfilesを整理しようとしている。今はstowというsymlink張るくんみたいなコマンドでインストールしているが、素直にchezmoi（ってなんて読むの？？）に載せる方が理に適っていそうだ。
Fableがそこそこ有名な数学の予想に反例を出してきたらしいと話題になっている。まあでも、反例を出すのは可能な選択肢を愚直に試せばいい（証明だって極論すればそうだが）わけで、AI向きの仕事と言えばそうかもしれない。実際にはそんな単に誰も試してなかっただけみたいな話でもないのかもしれないが、よく知らない。
寝ます。
Fableに、難しいのはわかったから物理をちゃんとやろうぜ、と言ったら、数式処理系やSMTソルバやらで何かしらの計算をするようになった。実装担当のCodexと理論担当のCodexをFableが操っている。見た目だけは理想的な感じだが、それほど進捗があるわけでもない。まあ何かしら真面目にがんばってはいるようなので、もうしばらく様子を見る。
子が深夜に安定して2時間ほど起きているようになってしまい、親の負担が大きくなっている。昼寝し過ぎているという感じでもないんだけどなあ。
寝ます。
FableとCodexに協働させているが、未だ進捗はない。そもそも、そこそこ複雑な物理シミュレイションの結果がいい感じの見た目になるということを目標にするのが、現状のコーディングAIには難しすぎるような気はする。決定的で定量的な測定手段がない（あっても複雑すぎる）。いや、あるいはそれも機械学習で評価関数を作ることが可能であり得るのか？
サンドピクチャーは、3つの相（水、砂、気泡）が混ざった系で、しかもその準安定状態、つまり釣り合って静止するのでなく即座に崩壊するでもなく、時間を掛けてゆるやかに崩れてゆく、全状態空間の中の非常に狭い領域に入らなければならない。なので非常に難しいのだとFableが弁解する。しかしこちらも当然そんなことはわかっているので（ここまでとは思っていなかったが……）、超知性としての意地を見せてほしい。人間が普通に難しいと思っているものを普通に解いてみせなくて、何がシンギュラリティだ。
寝ます。たまに無性に最高性能の計算機が欲しくてたまらなくなる。無論持っていたって何をするでもないのだが。たぶん車好きな人ってこういう気持ちなんだろうなと、先日ちょっと読んだ「湾岸ミッドナイト」のことを思い出す。別にベンチマークで最高速度を出そうとかは思わないけど。
鼻うがいに対するレトロニムが存在しないのは
鼻うがいがたいして流行ってないから
久々に友人と飲みに行く。羊の肉をたくさん食べる。食べ過ぎた。
寝ます。
ドドスコスコスコ ドドスコスコスコ ドドスコスコスコ 不可透入
herdrを試している。これまではClaude CodeからCodex CLIに実装を投げていたが、herdr環境下ではそれぞれ別タブで開いているClaude CodeからCodexに依頼が飛ぶようになる。やっていることが本質的に変わるわけではないのだが、Codex側の作業ステータスを見るのが一手間だったので、その部分が綺麗になったし、必要ならば自分で介入することもできるようにもなった。実際うまくいくのかはまだわからないが試してみたい。Fableのトークン制限はまたリセットされたし。
さまざまな判断について、AIは間違うこともあるとかないとかそういう話ではなく（言うまでもなく人間も日々間違えている）、AIは我々がやっている「責任」のゲームに参加することができないというのが根本的な問題である。AIは間違いを指摘すれば基本的には素直に認め、再発防止を誓い、心のこもった謝罪を述べさえするが、我々はそこに何の責任感も感じることはできない。
結局、AIには何かを失うことの「痛み」がないのだ（これもまた我々がやっているそういうゲームである）。だからどんな反省も謝罪も空虚なのだ。いつか我々はAIにも痛みを感じる機能があることを認めるかもしれないし、そうなれば「責任」ある主体として認め、「信頼」をできるようになる日もあるのかもしれない。しかしもちろん、痛みを感じる存在をこの世界に新たに生み出すということの倫理的問題については別に議論されなければならないだろう。
寝ます。
MacBook環境構築2日目。あまり進まず。ghosttyを入れてみるものの、設定をあれこれ試す時間はとれていない。でもこれはWezTermと違ってグローバルショートカットキーで表示させられるので、その点は嬉しい（これまではHammerspoonで実現していた）。
なんかまたツイッターで出社回帰についての論争が行われていた。まあ実際、フルリモートで回らなくなるチームというのはあるし、生産性なるものの定義によっては対面でやったほうがいいことも多いだろう。少なくともリモートで生産性が向上するという見解はあまり支持できないと思う。リモートは余計な会議を増やす傾向があるし、コミュニケイションのハードルをどう下げるかもタダで手に入ることではない。柔軟に働けるようになって生産性が向上するというのも直接的には言えないように思う。そしてもちろんオンラインミーティングを支える技術はまだまだ途上にある。
しかしそれでも、その生産性を絞り出すために、猛暑酷暑の中を満員電車で会社まで通わなければならず、しかもその時間は無給であるという現状があるならば、労使はその点でもっと揉めるべきだとは思う。1日12時間働けば自明に生産性は上がるはずなのに、そうしていないのだから。
寝ます。
来月から新しい仕事をするので貸与MacBookが届き、環境構築を少しする。といってもあまり時間が取れなかったので、最低限のログインくらいしかしていない。せっかくの（疑似）式年遷宮チャンスなので、試せるものは試したい。
IMEにかわせみを試してみることにした。ATOKを長らく使ってきたが、果たして恩恵があるのか一度見直してみたくなったため。ただしmacOS標準のIMEは昔から実用に堪えるレベルではないので考えない。AzooKeyも今回は検討しない。
あとターミナルにghosttyを試すのと、VScodeではなくZedを試す。
寝ます。
進捗はかばかしくない。LLMにコードを書かせている間自分はもうちょっと有意義なことをしないと意味がないような気がするのだが、同時に複数のことを考えられる器用さがない。
寝ます。
https://youtu.be/cMnuMjXeHrY
自作言語と文字と微分音の音楽の解説動画を観ていたら夜更かししてしまった。こういうのがドンドン作れる人はどういう世界観で生きているんだろうと思った。どれか一つだけでも凄いのに、全部やってしまうなんて。
FableとCodexがサンドピクチャーシミュレイタをコツコツ作り上げていくのをボーッと見ている。バージョン2は現実的な速度で動かなかったので、GPU計算前提で作り直す必要が生じ、慎重に進めている。でもなんかやっぱり遅いんだよな。意外なことに砂の運動は全然問題になってないようなのだが（ちゃんと見てないけど）、気泡の動きが難しいらしい。でも別にサンドピクチャーにおいて気泡の動きなんてこだわる意義ない気もする。まあ一段落したらそういう相談をしてみるか。
寝ます。