0819
晴れ。暑かった。新居（予定）でリフォームの現地調査に立ち会った。合い見積もり取る5社を詰め込んだらかなり大変だった（これでも前半後半に分けたのだが）。こうだったらいいなと夢みていた間取りは実現不可能という結論になった。はー、少しがっかり。
帰りに近所を歩いてきた。前に住んでいたところとすこし近いから、街の雰囲気も似ていてよかった。ただ前ほど駅近くではなくなってしまって、それは残念ではある。飲食店はいまの家よりはたくさんあるので楽しみ。
allegroはまた盆栽。ActivityPubのIDをドメインエンティティの識別子にしていたが、それよりはローカルの識別子を定義して、それをDBのPKでもあるようにしよう（これは別にインフラストラクチャ層がそうしたくなければ好きにしてもいい）、ということになった。そのための書き換えをいろいろやっている。それほどの大手術にはならなさそうだが、今日は終わらなかった。
投稿についてはその方針になったけど、他のエンティティ、たとえばアカウントとかについては、どうしようか。まあ、それはまた別途考えよう。
なんか教科書をめくっていたら接ベクトルの定義が出てきて、ああそういえばこの（微分作用素としての）抽象的な定義の意味が全然わかんなかったんだっけなと思ってChatGPTに質問したら、すこし分かるようになった。曲面の上でのある方向（接ベクトル）というのは、曲面の上で定義された関数に対してその方向の傾きを与える作用素と同一視できる、ようだ。なるほどね。ただ、こういう抽象的な定義を与えておくとどう嬉しいのかは教えてもらってもよくわからなかった。一般相対性理論とかではこのように考えておくと便利らしいが……。一般相対性理論において接ベクトルといえばベクトル場だと思うけど、ベクトル場を何かに作用させたい？それはあんまりよくわからんなと思った。ただ空間の曲率は微小平行移動の非可換性のかわりに微分作用素の非可換性になる？のであれば便利なのかもしれない。
寝ます。