error-stack対応をようやく終わらせたが、結局thiserrorもanyhowも入った形になっており、本当にこれがやりたかったことか？と思っている。いや、トレースが見やすいのはとりあえず加点だけども。でもログがちゃんとエラー発生元のspanに紐づかないので、まだ何が追加でやる必要がありそう。
これはsnafuでよくない？という気持ちは正直あるが……。
引き続きChatGPTにコホモロジー群とコホモロジー環について教えてもらう。まあ正直あまりよくわからないが、一旦満足したので、今度は微分形式について教えてもらう。n-formの何たるかはわかったような気がするが、外微分は何なのかイマイチわからない。あとこの辺って記法がややこしすぎない？僕がよくわかってないだけか？
寝ます。
なんとはなしに代数的トポロジーの復習をしている。ホモロジー群までは一応雰囲気だけ分かっているが、コホモロジーのことは勉強しなかったので、ChatGPTに教えを乞うている。o3は相変わらず説明が駆け足だが、待ってくれと言えば待ってくれる。ただ、加群の双対とか言い出すと抽象的で難しいな。ポテンシャルのアナロジーでコバウンダリ作用素の気持ちはちょっとわかったが、コホモロジー群が何を計算していることになっているのかはまだよくわかっていない。御利益も。
寝ます。
なんか頭痛かった。SQLのパフォーマンス改善をしようとしたり、OpenTelemetry対応を改善しようとしたりしたが、あまり成果はなかった。
error-stackを使いやすくしようと試みるも、結局orphan ruleに阻まれている。Fromが実装できないとかはまあ最悪いいんだけど、axumのIntoResponseがReportに実装できないのは痛い。なんかサービス共通のハンドラーを書けばいいのか？axumもそれほど詳しく知ってるわけじゃないから調べた方がいい。
「君たちはどう生きるか」がテレビで放送されていたので観た。やっぱ全然よくわからないというか、局所的にはなんとなく意味がありそうに見えるけど全体として像を結ばないような感じ。まあでもそれはそれとしていろんなことが起こるのは楽しいし、けっこう好きな作品なんだよな。
寝ます。明日は夜に会社の飲み会。
仕事をした。たいした仕事はしていない。データインポートバッチの再実装はおおむね終わりつつある。データインポートの高速化によってより大きなデータに対応できるようになったが、その結果今度はエクスポートバッチが終わらなくなった。まあこれはもうすこしあとで直せばよい。
夜は昔の同僚たちと飲んだ。やっぱ自社事業のがいいな〜と思った。
寝ます。
大学病院に行ったり寝たりしていた。喉の調子は良くも悪くもならない。やれやれ。
error-stackでレイヤーを跨いだ時のコンテキスト変更がかなりボイラープレートという感じなんだけど、どうにかならないものか。ResultExtみたいなtraitとAdapterErrorみたいなtraitを書いてRestlt<_, Report<E: AdapterError>>に対して適当なメソッドを生やせばすこしマシになるか？
寝ます。
年に10回程度しかないお出かけ日和だと妻が言うので出かけた。コラボカフェに行ったり、新宿の猫を観たりした。どっちも期待外れ（厳密には別にどちらにも期待はしていないがとにかく微妙だった）。人混みをあるいて疲れただけだ。
新宿も渋谷も複雑な駅だが、どうにも渋谷のほうが難しいと感じる。新宿は、通路自体は素直なのか？渋谷はなんかややこしくて案内を見失いがち。
error-stackをすこし触った。まあこれはこれで？という感じだが、ResultにReportが挟まるのはまだしっくりこない。まあエイリアスするから顕わには出てこないけども。
thiserror/anyhowの書き味がやっぱり一番いいのだが、tracing対応の観点でやや難がある。なんかthiserrorのリポジトリのissue見たら作者は乗り気でなさそうだったし（というかPRを閉じてた）。
ともあれまた全体を書き換えないといけない。明日元気だったらやる。
寝ます。なんかまた喉が腫れてきている気がする。明日はおとなしくしていたいが、大学病院の予約がある。
月曜日はあまり会議がないがちなので結構作業がしやすくて都合がよい。しかし今日はあまり元気がなかった。天気も悪いし、気圧か？ 気圧だったら何だ？
夜は友人たちと火鍋を食べたりカラオケに行った。Lemonはやっぱいい歌だねえと思った。
寝ます。明日と明後日は休み。
昨日思い立ってsnafuを全部thiserror+anyhowに置き換えたのだが、やっぱり違うんじゃないかという気がしてきた。トレース情報を付与するのが思ったより面倒。どうしよっかねえとo3に相談したらerror-stackというのを教えてもらったので調べる。
夜はほこらんさんと飲んだ。焼き鳥ひさびさに食べたな、おいしかった。
寝ます。なんかゴールデンウィークという噂もあるが今週はわりと仕事。でも火曜と水曜は休む。あと飲み会が2つある。
今年に入ってから始めたプロジェクトが2つともなんだかｇｄｇｄになってしまっているので、一旦やめにしてblogのアップデートに戻ることにした。3ヶ月放置しているだけでバックエンドのライブラリはかなり更新があったので、その対応をしたのと、エラーハンドリングの設計に関して考えの大きな変化があった（というか、当初のアイデアが誤っていた）のでその変更をしている。それに伴ってsnafuからthiserror+anyhowに移行しつつある。thiserrorはLocationを自動で埋め込んでくれない分だけ不便なのだが、結局はこのほうが何かと都合良さそうだ。
寝ます。
バッチジョブの実装の整理などをしていたら一日終わった。しかしなかなか実りある日だったと思う。来週の間に残りを完成させたい。
LLM的な知性が、「これは何か」ではなく「これは何かと訊かれたら何と答えるべきか」を改善する方向で進歩したというのは興味深いことだなと思った。昔考えられていたAIって、現実世界に関する知識やそれらの関連のリストを覚えて論理的推論によってその物についての質問に答えるようなイメージだったと思うんだけど、LLMはとにかく「何と答えるべきか」を学習して、もしかするとその結果として世界に関するなんらかのモデルを持っている。
昔、人間はなぜ辞書を読んだり「知識として」覚えた言葉を使えるようになるのだろうと疑問だった。LLMに、架空の単語の辞書的な説明を与えると、即座にすらすら使いこなす。おそらくこの時点では、何らかの推論的な働きによって新語が使用されていて、そしてそのこと自体によって、今後さらなる学習が行われる時のデータとして、今度はより「自然に」使うようになるのだろう。人間が辞書を読んで言葉を覚えるのも、それと似たようなことなのかもしれない。
理解するとは、頭の中の秘密のノートに知識を書きとめることではなく、身体に染み付くまで素振りをすることに近い、と以前考えたが、これもそういうことなのだろう。そんなノートに書き込むための秘密の命令（メタ言語）などどこにもなく、ただ身体がやり方を覚えていくだけ。
寝ます。