天候はよくわからない。雨が降った気配があるが、夕方に外に出たときは降っていなかった。近所の学校？で夏祭りをやっていた。
こういう地域のお祭り的なもの、子供のころはそれなりに参加していた覚えがあるけれど、長じるとともに地域との関わりが希薄になり、さらに上京することで完全に失われてしまって、長らく参加することはなかった。しかし、家を買って長期間にわたって定住したり、子供を持ったりすることで、また復活していくのであろう。そういうことを素直に良いことだと思えるのはなんだか不思議だ。
夜は友人たちとネパール料理を食べた。ネパールビールがけっこうおいしくて飲み過ぎちゃった。あと食べ過ぎちゃった。
寝ます。
天候は……？なんか暑かったので晴れていたのであろう。
仕事はなんかバタバタしていた。奇妙な不具合があり、原因も再現手順もはっきりしないため適切な切り戻し方もわからず、わからないので一番怪しいところだけ切り戻して祈る。祈り駆動開発ですらない、祈り。
allegro盆栽は、今日こそはちゃんと開発をしようと思ったのだけど、Noteの伝送アルゴリズムがよくわかんなかったので調べてたら終わった。まあでもとりあえず最初に送る先はそんなに難しくなさそうで（そうかな）、ただ中継が大変なのかなという感じ。いや、やっぱ普通に難しいかもな。うーん、まあ明日。
寝ます。そういえばバチェラーシーズン5観たけど、まあ、やっはりバチェロレッテシーズン1が至高だなと思うだけであった。
夏休み③。昼過ぎにリフォーム業者と打ち合わせ。見積もりを出してもらった。まあまあ高い。詳細を見ながら検討する。
しかし、やはり当初理想としていた間取りは実現不可能ということで、しょんぼり。まあ、そうは言っても今から取りやめることもできないので、ネガティヴ・ケイパビリティを発揮してやっていくしかない。
そのあとは家具を見たりした。安いソファーと高いソファー、何が違うのかはうまく言語化できないが、明らかに座り心地が違うので、ふーんと思った。
allegro盆栽は、昨日実装できたつもりになっていたジョブキューに問題が見つかったので悩んでいる。enqueueするのを昨日はなぜか勘違いしてハンドラーで呼び出していたが、これをユースケースから呼ぶようにすると、Arcで包まれていないリポジトリへの参照をクロージャに渡すことになって、ライフタイムが足りなくなる（昨日はArc::cloneしたものをmoveしていたので問題なかった）。それはそう。あたりまえ。なのでユースケースの引数にArcを渡すことで妥協しようと思っているけど、記法の一貫性が失われるので残念ではある。
DIコンテナ的なものがあればジョブの実行時に渡すことができるかもと思ったけれど、それはそれで難しそうなので断念した。やれやれ。
アクターモデルを使うのもアリか。それはまだ考えてなかったな。リトライとかを統一的に扱うのは難しいだろうけど。いや、そうでもないか？考えてみよう……。
寝ます。明日は仕事だけど、1日だけだから怖くない。
天候は晴れだったと思う。妻の誕生日を祝った。ケーキは準備不足であまりちゃんとしたのを入手できなかった。後悔。
allegro盆栽。非同期ジョブのジョブキューはChatGPTの助けを借りながらなんとか書くことができた。予想した通りかなり大変だった。しかし、書いてみて思ったが、enqueueする時に非同期クロージャを渡せる必要はあるのだろうか？trait Jobを定義してその実装として処理内容を書くのではだめだろうか？いや、クロージャで渡せると楽ではあるかもしれないけれど……。でも再利用性は低いよな。あと名前をつけられるとログの役に立つというモチベイションもある。うーむ……。まあ明日考えましょう。
寝ます。明日は夏休み③。
今日は晴れてはいなかったと思う。曇っていた。雨だったかはわからない。
仕事は今日はなんかあんまりやる気が出なかった。まあそういう日もある。あとなんかバタバタしたりレビューしたりしてたら終わった。まあそういう日もある。
allegroはとりあえず投稿を受けるところまでできたが、Activityとして転送するところはまだ実装していない。いい感じのジョブキューを探しているのだがしっくり来ないので、ChatGPTに手伝ってもらいながら簡易的なものを実装することになりそう。まあ、簡易的と言いつつこういうのが複雑になりがちなのがRustという言語だけども……。
寝ます。明日は仕事の前にオンライン診療。
午前中は曇っていたような気がするけど、午後は晴れていて西日が強かったと思う。いや、そこまででもないかも。
仕事は大変だった。先週にちょっと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とかもそうなるわけだし。ただそれならそれで設計を見直した方がいいなとは思った。うーん、まあ明日。
寝ます。明日はまた仕事。でも明後日は休み。何か変な気分だな。