andante

ほこらんさんと妻と出かけて、水族館で「もうどく展」を観た。まあなんか、毒のある生物がいろいろ展示されていたが、べつに僕には関係のない毒だなと思ってあまり興味は惹かれなかった。いろんな毒を実際に（趣味で？？）体験しているライターがいるらしく、それは何なんだと思った。
毒のある生物がいることはまあ理解できるが、相手を殺すほど強い毒はなぜ生じるのかはすこし不思議だと思った。攻撃してきた外敵が死ぬことと、個体としての生存にはあまり関係がないように思われる。それでも種としては生存確率が上がるのか？とすればこれは利他的行為なのか？まあ、単にものすごく痛い毒はそのまま死に至らしめることが多いというだけなのかもしれない。

そのあと中華料理店で飲んだ。白酒という蒸留酒のくせに飲みやすいお酒があり、グラスでちょっと飲むつもりがボトルを開けていた。やれやれ。道徳の実在性の話などをした。
実在性と言っても、「ほんとうの」実在性にはどうせ触れられないので、そこにはグラデイションがある。原子の存在などは物理学の体系の一部としていろいろな現象と整合的である以上かなり強い実在性があるだろう。しかし道徳的規範はそうではないと信じている。人間はそれなりに似通った脳を持っていて、多くの道徳的判断について一致するが、物理学で確かめられているような実在性の強度には遠くおよばないし、脳がたまたま似通っているというだけで、似通っていない相手と道徳を共有するのは難しいだろう。人間と似通った脳を持った主体にのみ観測可能な粒子などはあるはずがない。
道徳を公理的に構築することはどの程度可能なのだろうか。もっとも、仮にできたとしても、それはあくまで特定の公理の元での道徳的定理であって、その公理自体を受け入れることを正当化するのにはやはり困難があるだろう。もちろん、「だいたいの場合はこれで上手くいく」とは言えるし、実用上もそれで十分だが、それ以上のものにはなり得ない。

そのあとなんか盛り上がったのでカラオケに行った。相変わらず歌える歌はあまりないのだが、気の置けない友人たちと行くと楽しいなと思った。まあそれはカラオケに限らず一般的な活動に対して既知の事柄の一適用事例に過ぎないかもしれないが。

そういうわけで疲れた。4連休がこれで終わり、明日はまた仕事。でも木曜日には夏休みをとっている（金曜日は働く）。それまで泳ぎ切るぞ。

昼に起き、わりとコードを書いていた。認可まわりのリファクタを一応完成させた。いろいろ不満はあるけど、とりあえずは次に進もう。とりあえずはホームタイムラインの表示？その前に投稿かな。

夜更かししちゃった。寝ます。

天気は晴れ。暑かった。夏の天気って雨か暑かったかの二択しかなくてつまんないですね。

夕方に家具を見に行った。この3年部屋が狭いこともあってダイニングテーブルとかソファとかなしの運用をしていたので、なんかようやく家らしくなるなという感じ。結婚したことより、住居が家らしくなることのほうが、なんか大人になった感じがするなとふと思った。

allegroは主にリファクタをした。だいぶ整ったか。ただ認証まわりのミドルウェア書こうとしたらよくわからん感じになっていて悩んでいる。権限の管理はアプリケイションロジックなのか？それはそうだな。

寝ます。明日は久々に何もしない休日になりそう。

オハイオ。

天候は、晴れかな。曇っていたかもしれない。それほど暑かった印象はないが蒸していたと思う。

4連休の初日ということで、妻が病院に行くついでにラーメンを食べに出掛けたりした。「出掛けたり」って言うけど僕はラーメン食べて帰ってきただけだな。うん。ドトールにも行った。

午後はギターを練習したり、すこしリファクタリングをした。ギターで新しい曲を覚えるとき、言語的な記憶と身体的な記憶、どちらが先行しているかよくわからないなと思った。明らかに一番始めは言語的に覚えなければ身体を動かせないが、そのうち言語的に思い出せなくても身体のほうが引っ張っていけるようになり、慣れてくると言語的には全然思い出せなかったりする。郵便受けのダイヤル錠の番号とかが顕著な例か。

寝ます。明日はなんもしないぞ〜と思っていたが出掛けることになりそう。

天候はあまり記憶にないが、昼間は土砂降りだったり雷だったりしていた気がする。窓の外で音が聞こえたのは覚えているのだが、夜に外に出たときは何もなかったので確かなことはわからない。人生の諸々の出来事もこんな風だったらいいのになと時々思う。

仕事は大きいPRを出して終わった。そんな大きくはないが。このところやっていたリファクタをこれで軌道に乗せられるはずというか。もちろんまだ足りていないところはあるが、この先は僕がいちいち決めなくても何とかなるだろう。休みが明けたら次のプロジェクトのことを考え始める。

allegroの開発は少しだけ進んだが、やろうと思っていたリファクタは結局できず。なんか、考え始めると地味に難しい。Clean Architectureのリアル。

寝ます。明日は夏休みにしたので、4連休。

世界猫の日。天候は印象になし。それほど暑くはなかった。

仕事はGitHub Actionsと格闘。Docker Composeでは動いていてもGHAではまた勝手が違ったりする。まあなんとかなりそうだ。

allegroはアクセストークンの永続化が一応できた。revokeは実装してないし、なんかそれを考えるとリファクタしたい気はするが。するか。盆栽……。
ともあれこれでサードパーティクライアントと喋る方法が整いつつあるので、開発にも弾みがつく、といいが。

インターネットに書かれていることはすべて真実でなければならない、という信念にはかなり批判的なのだけど、それを主張することは年々難しくなっているように思う。だって正しくはないから。だから黙ってやるしかないんだ。

寝ます。木曜金曜休むから、明日は実質金曜日だ。

天候：晴れ？それほど暑くなかった気がする。

体調は悪いが仕事はした。先週取り組んで悩んでいた部分は思ったよりすんなり解決したので安心。しかしそろそろ切りの良いところで中断して別のプロジェクトへ移らねばならない。気乗りがしない。

寝ます。

天候：晴れ、一時夕立。

倦怠感のある日。熱などはないのでリフォームの打ち合わせはした。結局は現地で測量しないと何にもわからんねという様相を呈してきた。しかし現地へ行けるのは2週間ほど先になる見込み。

allegroの実装はあまり進まず。アクセストークンの永続化が思ったより面倒な気がする。まあ、そんなに難しく考えなくてもいいのかな……　アプリケイションとアカウントでIDが被るとまずい実装になっていそうなので、それは治したほうがいいのかな？いや、なってないか？

寝ます。

風邪っぽいので伏せっている時間が長かった。天気は不明。でも暑かったし晴れだと思う。

カスタムスキーム大文字小文字問題は、RFCを読んだら単純な文字列比較で判定すべしとあったのでそのように修正した。oxide-authのRegisteredUrlはfmt::Displayを実装するときには一度Url::parseを経由するので正規化されるが、as_str()を呼ぶと内部の文字列表現をそのまま返すのでそっちを使うべきっぽい。もっとも、文字列比較の部分はともかく、macOSのカスタムスキームが大文字小文字を区別するっぽい？ことも問題だとは思うけれども。iOSもそうだっけ？
ともあれこれでようやくIvoryと通信できるようになった。まだトークンの検証とかはやっていないけど。あとちゃんとトークンの永続化もやらないといけないな。そうだ、忘れてたわ。またテーブル増やさないと。

寝ます。はやく良くなりたい。伏せっていても別に早く良くなるという気はしない。祈りだ。

晴れていたと思う。すこし曇っていたかもしれない。でも西日がきつかったから晴れかな。

仕事ではPHPUnitの導入をしていた。いや、導入ははじめからされているのだが、再導入というか。Laravel wayにちゃんと乗り直すというか。こうやってすこしずつ普通の子になっていけたらいい。

夜は高級ソファを見たり座ったりした。なかなか良かった。値段も高級なわけだが、長く使えるしね、と思った。
しかしソファなんかよりまず間取りが確定していないことをどうにかしなくては。

allegroはようやくOAuthクライアントのレジストラの実装をした。ただサンプル実装をDBに乗せただけなので、いろいろわからないことがある。これはたぶんRFCを読まないとダメだろうな。はあ。
Ivoryから呼び出してみたのだが、微妙にエラーが出る。redirect_uriにカスタムスキームURLが渡されているのだが、そこに大文字が入っているせいで、サーバー側で正規化されて小文字に変わっており、文字列比較で一致しなくなっているらしい。マジか。こういう場合どうするのが適切なのか調べないと。それにしてもIvoryはなんかイレギュラーな動作が多い気がする。いきなりmultipartでPOSTしてくるし。

寝ます。なんか風邪気味な気がする。しょんぼり。