午前中は曇っていたような気がするけど、午後は晴れていて西日が強かったと思う。いや、そこまででもないかも。
仕事は大変だった。先週にちょっとhotfixをリリースした時のブランチの整理を間違えたのか、リリースのたびにコンフリクトが発生するようになってしまっていて、それを解決しようとしたのだけど、とにかく大変だった。いや、developにリニアな履歴を要求するのを緩めればたぶん問題なくなる？んだけど……。
git、気がつくとデファクトスタンダードになっているけど分散バージョン管理って普通に難しいんだよなと思い知らされる。まあ、ちょっとどこかでmergeの仕様を真剣に調べて正解を導き出したい。
夜はallegro盆栽業。ID発行をtraitに切り出したのでリファクタは一段落して、とりあえずここから投稿ロジックを書いていく。ローカルタイムラインに載せるだけなら簡単なんだけど、他インスタンスに転送するのはちょっと大変かもしれない。というか先にキューワーカーがいるのでは？
寝よう
夕方からほこらんさんと街を歩いて焼肉を食べて花火をした。当初の予定では花火を一番最初、つまり16時に始めることになっていたのだが、今日の日の入りは18:25だったので、それは無理だろうということになった。全然明るかった。
焼肉は珍しく高級路線で行ったので高級肉が出てきた。日頃は高級焼肉に対して批判的な立場をとっているが（バクバク食えないため）、たまにはいいもんだ。
花火は、なんか買っていった花火セットが思ったよりしょぼかったので期待はずれではあった。夜になっても暑かったし。なんか、子供のころはこんなのでもテンション爆上げしてた気がするけど、大人になるとあんまり派手に光られてもねという気分が支配的になり、結局は線香花火しか勝たんという感じになるなと思った。そうでもない？
花火が終わってからも公園でお酒を飲みながらだらだら話した。夜遅くなのに中学生くらいの子供たちが元気に遊んでいた。僕は6時より遅くまで遊ばせてもらったことはなかったな。それより遅く帰ると庭に閉め出される。これ令和5年にやったら何らかの介入を受けるやつでは?
さて。寝ます。明日も仕事だなんてなあ。
晴れ。暑かった。新居（予定）でリフォームの現地調査に立ち会った。合い見積もり取る5社を詰め込んだらかなり大変だった（これでも前半後半に分けたのだが）。こうだったらいいなと夢みていた間取りは実現不可能という結論になった。はー、少しがっかり。
帰りに近所を歩いてきた。前に住んでいたところとすこし近いから、街の雰囲気も似ていてよかった。ただ前ほど駅近くではなくなってしまって、それは残念ではある。飲食店はいまの家よりはたくさんあるので楽しみ。
allegroはまた盆栽。ActivityPubのIDをドメインエンティティの識別子にしていたが、それよりはローカルの識別子を定義して、それをDBのPKでもあるようにしよう（これは別にインフラストラクチャ層がそうしたくなければ好きにしてもいい）、ということになった。そのための書き換えをいろいろやっている。それほどの大手術にはならなさそうだが、今日は終わらなかった。
投稿についてはその方針になったけど、他のエンティティ、たとえばアカウントとかについては、どうしようか。まあ、それはまた別途考えよう。
なんか教科書をめくっていたら接ベクトルの定義が出てきて、ああそういえばこの（微分作用素としての）抽象的な定義の意味が全然わかんなかったんだっけなと思ってChatGPTに質問したら、すこし分かるようになった。曲面の上でのある方向（接ベクトル）というのは、曲面の上で定義された関数に対してその方向の傾きを与える作用素と同一視できる、ようだ。なるほどね。ただ、こういう抽象的な定義を与えておくとどう嬉しいのかは教えてもらってもよくわからなかった。一般相対性理論とかではこのように考えておくと便利らしいが……。一般相対性理論において接ベクトルといえばベクトル場だと思うけど、ベクトル場を何かに作用させたい？それはあんまりよくわからんなと思った。ただ空間の曲率は微小平行移動の非可換性のかわりに微分作用素の非可換性になる？のであれば便利なのかもしれない。
寝ます。
天候はたぶん晴れ。西日で室温が高い。なんか変な休みの取り方をするとテンション上がらなくて良くないなと思った。
allegroはまたよくわからなくなっている。ActivityPubとしての識別子とローカルDBでの識別子との関係をどのように記述すればいいのか、暗黙的なんだとするとそれはインフラストラクチャ層の侵犯ではとか。でも、これは結局、リモートとのやりとりとローカルDBとのやりとりとを区別して扱うことをアプリケイション層に記述するしかないのかなと思う。そこらへんを抽象化したドメインエンティティだけではだめなのではないか。うーん？もうすこしよく考える。
寝ます。明日はリフォーム物件の現地調査など。たぶん疲れるであろう。
そういえば最近天候の話してなかった。晴れてたと思う。
夏休みだったのでのんびりしていた。コード書いたり何かしら進捗を出したかったのだが、なんかものすごく眠くて寝てたら夕方になってた。やれやれ。
allegroはまた難しいことになってしまった。いや、もうDB上のIDとActivityPubとしてのObject IDとは全然別という割り切りでやればいいのか？どうせMisskeyとかもそうなるわけだし。ただそれならそれで設計を見直した方がいいなとは思った。うーん、まあ明日。
寝ます。明日はまた仕事。でも明後日は休み。何か変な気分だな。
最近ずっと眠いが、これは単に夜更かしなのかもと思う。
allegroは盆栽し終わった（これ言うの何回目だ？）。投稿APIの実装に向けてファイルを作ったところで寝る時間になったのでそこはまだ書いていない。明日書けるかな。
しかしまた別の盆栽要素が思い浮かんできてしまっている……（panicをもう少し積極的に使うことについて）
「あの人があなたの悪口を言っていたよ」みたいにわざわざ教えてくる「善意の」人というものはインターネットで評判が悪いものだが、リツイートって非常にしばしばそういうものではないのかという気はする。善意というよりは義憤なのかもしれないが、とにかくそういう力によって知りたくない人にまで伝わる。その代わりに知るべき人にまで届くようになるのならまあ、差し引きプラスと言えるのかもしれないが……。
寝ます。
今日もあんまり調子がよくない。気圧？気圧のせいにしていい？
allegroは今日もちょっとリファクタしたけど、またちょっと難しいところに差し掛かってしまった。いや、本質的に難しいというよりは当初のモデル化があんま上手くなかったという話なのだけど。ちょっと考え直さないといけない。やれやれ。
明日は仕事の前にオンライン診療の予定だったのだけど、さっき確認したらお盆休みでキャンセルになってた。まじか。そもそも予約できないようにしててくれよ〜。薬が足りなくなりそうだけど大丈夫だろうか。まあ、まあ。
いよわ聴いてる。この人2000年生まれなんですね。すげえや。
寝不足と二日酔いの日だった。二日酔いは覚悟していたほどひどくはなかったが。ただでさえ連休明けで朝9時半から会議があると、もう使いものにならない。はー。
allegroはまたリファクタをした。OAuth関連ロジックをアプリケイション層に移した。これ自体には特に御利益ないのだけど、こうしておくと結果的にはOAuth関連ロジックが凝集するのでよい。具体的には、トークンの無効化をするときにクライアントシークレットの一致を確認するのだが、クライアントシークレットは暗号化されているので、検証にはOAuthのライブラリを使ってあれこれする必要があり、それをリクエストハンドラでやることになるとさすがにfatなので、ユースケースに切り出したかった。他にもあるけど。
寝ます。
ほこらんさんと妻と出かけて、水族館で「もうどく展」を観た。まあなんか、毒のある生物がいろいろ展示されていたが、べつに僕には関係のない毒だなと思ってあまり興味は惹かれなかった。いろんな毒を実際に（趣味で？？）体験しているライターがいるらしく、それは何なんだと思った。
毒のある生物がいることはまあ理解できるが、相手を殺すほど強い毒はなぜ生じるのかはすこし不思議だと思った。攻撃してきた外敵が死ぬことと、個体としての生存にはあまり関係がないように思われる。それでも種としては生存確率が上がるのか？とすればこれは利他的行為なのか？まあ、単にものすごく痛い毒はそのまま死に至らしめることが多いというだけなのかもしれない。
そのあと中華料理店で飲んだ。白酒という蒸留酒のくせに飲みやすいお酒があり、グラスでちょっと飲むつもりがボトルを開けていた。やれやれ。道徳の実在性の話などをした。
実在性と言っても、「ほんとうの」実在性にはどうせ触れられないので、そこにはグラデイションがある。原子の存在などは物理学の体系の一部としていろいろな現象と整合的である以上かなり強い実在性があるだろう。しかし道徳的規範はそうではないと信じている。人間はそれなりに似通った脳を持っていて、多くの道徳的判断について一致するが、物理学で確かめられているような実在性の強度には遠くおよばないし、脳がたまたま似通っているというだけで、似通っていない相手と道徳を共有するのは難しいだろう。人間と似通った脳を持った主体にのみ観測可能な粒子などはあるはずがない。
道徳を公理的に構築することはどの程度可能なのだろうか。もっとも、仮にできたとしても、それはあくまで特定の公理の元での道徳的定理であって、その公理自体を受け入れることを正当化するのにはやはり困難があるだろう。もちろん、「だいたいの場合はこれで上手くいく」とは言えるし、実用上もそれで十分だが、それ以上のものにはなり得ない。
そのあとなんか盛り上がったのでカラオケに行った。相変わらず歌える歌はあまりないのだが、気の置けない友人たちと行くと楽しいなと思った。まあそれはカラオケに限らず一般的な活動に対して既知の事柄の一適用事例に過ぎないかもしれないが。
そういうわけで疲れた。4連休がこれで終わり、明日はまた仕事。でも木曜日には夏休みをとっている（金曜日は働く）。それまで泳ぎ切るぞ。
昼に起き、わりとコードを書いていた。認可まわりのリファクタを一応完成させた。いろいろ不満はあるけど、とりあえずは次に進もう。とりあえずはホームタイムラインの表示？その前に投稿かな。
夜更かししちゃった。寝ます。