なんか相変わらずバタバタしていたら業務時間が終わるんだよな。定例会とかコードレビューとかデータ修正対応とか、個別に見るとまあそれは仕方ないよねという感じなのだが、気がつくとそれで一日が終わっているとなると、何かが狂っているような気がしてくる。何が？それはわからん。僕が狂っている場合、僕にはそれを認識する方法がない。
位相空間の基本群と被覆空間の関係が、ガロア群とガロア拡大の関係に似ているみたいな話をChatGPTに教えてもらって、へぇ〜と思っている。面白すぎる。代数的整数論もまたちゃんと勉強したいし、スキーム論？とかも名前だけ知ってるからいつかちゃんと入門したい。
それはそれとして目下は試験勉強をしないといけない。午前試験の教科書も買った。こちらはさすがに特別に勉強しなくてもだいたい取れると高をくくっているが、少なくともそのことを確認する必要はある。
寝ます。気が重い出来事が次々に起こっており、疲労している。
もう9月ですか。昔、会社の20くらい年上の同僚が「お盆が終わったらもう年末ですよ」と言っていて、いやそんなことないでしょと思っていたが、僕も8月が終わるとだいぶ1年の終わりが近いなという感覚が生じるようになってきた。30代も半ばにもなると、もう本当に季節が飛ぶように過ぎていく感じがある。
仕事はなんかGeminiにメチャクチャ嘘をつかれて翻弄されていたら終わった。いま使ってるフレームワークのバージョンにはまだ存在しないクラスを使うことを提案してきたから「このバージョンにはまだないですよ、あなたが貼ってくれたGitHubのソースコードもこのバージョンまで戻すとNot Foundですよ」と指摘したら、突然「いや私からは見えてます おま環では？」みたいなことを言い出したのでかなりマジでイライラした。LLM相手にこいつ頭おかしい！とか思うのはナンセンス（なぜなら彼らはおかしくなるような頭をそもそも持たない）なのだけど、なまじ会話だけ流暢だとどうしても擬人化してしまう。Geminiは業務の内容を直接含むような相談を（ChatGPTと対比して）できるし、最近けっこう頼りにしていたのだが……。
寝ます。今日も試験勉強しなかった。やばいなー。さすがにそろそろ教科書1周はしておきたい。それに午前対策もあるんだよな。はー。
ほこらんさんとランチして台湾旅行の話などを聞いた。そういえば、文字にダイアクリティカルマークをつけるときに、真上ではなく右上につける（゛゜の話をしています）言語って他に知らないなと思った。ChatGPTに訊いたらベトナム語（「o/ơ」「u/ư」）などの例を挙げてくれた。へ〜。
午後はずっとカルト教団を運営していた。出家信者（なのか？）の数は16前後になっているが、食糧の供給が課題になってきた。戦闘はまだあまり上手くないが、武器が強くなってきたので幾分楽になった気がする。
僕が一番好きな物語の方法は、（小説ではなく）ゲームなのだな、とはっきり思った。だから、僕は（以前構想していたように）小説を書くのではなく、ノベルゲームを作ることになるだろう。いつのことかはわからないが。
寝ます。
昼にすこし出かけた以外はのんびりしていた。デスどうぶつの森こと「Cult of the Lamb」をプレイしている。かわいい動物たちの住む村を運営していく。ただしこの村はカルト教団の共同体で、資源は異教徒が支配する森などから奪ってくる必要がある。当然異教徒の司祭なども倒す。
寝ます。そういえば最近試験勉強やってないな。やらなくちゃな。
全体的に調子がよくない。耳鼻科に行って薬をもらった。
Steamで積んでた「ダレカレ」をプレイした。なんか泣いてしまった。
ゲーム的な語りかたというものに魅力を感じていて以前から興味があるのだけど、そういう点でもよい作品だった。こういうのをやれるのがゲームのよさだなと思う。
寝ます。最近ちょっと眼を使い過ぎたのか頭が痛い。
東方錦上京Normalクリアした。5面ボスはたくさん練習したのだけど、結局練習通りには何一つ行かなかった。まあクリアしたならいいのよ。
Extraもちょっとやってみたけどボスまでたどり着けず。クリアは目標にしないが、顔と曲くらいは聴いておきたい。
寝ます。明日は予約が取れれば耳鼻科に行く。
アーベル・ルフィニの定理、すなわち5次以上の代数方程式は四則演算と冪根で解けない、の（ガロア理論による）証明を読んだ。細部は省略しているけれども。
ガロア理論が単に方程式の可解性だけでなくその具体的な解法にもある程度の情報を与えてくれるのは面白いな〜と思った。便利すぎる。他の応用も知りたいな。
夜更かししてしまった。寝る。
世の中には一定数、子供の影響で電車にやたら詳しくなったお父さんお母さんというものがいるらしい。たぶん僕の母親もバージェス動物群にやたら詳しいのだろう。電車と違って日常で明らかになることはないが。
調子が悪い。Normal5面の練習が必要。6面は逆に意外といける感じになってきた。5面道中はともかくボスの通常攻撃がつらい。
すこし本を読んで寝ます。
謎のDB負荷と闘っている。何もしてないのにじわじわ遅くなっていくのはVACUUMとかそういう話なのか？ そんなに書き込みしてるはずはないんだけどなあ。実はしてるのか？
道徳に対して根本的には普遍化可能性を要求していないような気がしてきた。要求していないというと言い過ぎだけども。いや、言い過ぎということはないか。少なくとも、文字通りの意味で無制限に普遍化可能であることを要求していない。そんなことをしてもただの論理パズルになるだけだ。
「である」から「べきである」を導いてはならないとされているけれど、道徳を「現にそうなっている」から始めることを認めてもいいんじゃないのか？いや、こう考えるのは僕が反実在論者だからだろうけど。
寝ます。まだ月曜日なのにもう疲れが溜まっている。
なんか頭が痛いので夕方まで寝ていた。夜はすこし出かけた。昼はジェノベーゼパスタを作った。70点くらいの出来。
頭痛いので寝ます。