ほこらんさんとランチして台湾旅行の話などを聞いた。そういえば、文字にダイアクリティカルマークをつけるときに、真上ではなく右上につける（゛゜の話をしています）言語って他に知らないなと思った。ChatGPTに訊いたらベトナム語（「o/ơ」「u/ư」）などの例を挙げてくれた。へ〜。
午後はずっとカルト教団を運営していた。出家信者（なのか？）の数は16前後になっているが、食糧の供給が課題になってきた。戦闘はまだあまり上手くないが、武器が強くなってきたので幾分楽になった気がする。
僕が一番好きな物語の方法は、（小説ではなく）ゲームなのだな、とはっきり思った。だから、僕は（以前構想していたように）小説を書くのではなく、ノベルゲームを作ることになるだろう。いつのことかはわからないが。
寝ます。
昼にすこし出かけた以外はのんびりしていた。デスどうぶつの森こと「Cult of the Lamb」をプレイしている。かわいい動物たちの住む村を運営していく。ただしこの村はカルト教団の共同体で、資源は異教徒が支配する森などから奪ってくる必要がある。当然異教徒の司祭なども倒す。
寝ます。そういえば最近試験勉強やってないな。やらなくちゃな。
全体的に調子がよくない。耳鼻科に行って薬をもらった。
Steamで積んでた「ダレカレ」をプレイした。なんか泣いてしまった。
ゲーム的な語りかたというものに魅力を感じていて以前から興味があるのだけど、そういう点でもよい作品だった。こういうのをやれるのがゲームのよさだなと思う。
寝ます。最近ちょっと眼を使い過ぎたのか頭が痛い。
東方錦上京Normalクリアした。5面ボスはたくさん練習したのだけど、結局練習通りには何一つ行かなかった。まあクリアしたならいいのよ。
Extraもちょっとやってみたけどボスまでたどり着けず。クリアは目標にしないが、顔と曲くらいは聴いておきたい。
寝ます。明日は予約が取れれば耳鼻科に行く。
アーベル・ルフィニの定理、すなわち5次以上の代数方程式は四則演算と冪根で解けない、の（ガロア理論による）証明を読んだ。細部は省略しているけれども。
ガロア理論が単に方程式の可解性だけでなくその具体的な解法にもある程度の情報を与えてくれるのは面白いな〜と思った。便利すぎる。他の応用も知りたいな。
夜更かししてしまった。寝る。
世の中には一定数、子供の影響で電車にやたら詳しくなったお父さんお母さんというものがいるらしい。たぶん僕の母親もバージェス動物群にやたら詳しいのだろう。電車と違って日常で明らかになることはないが。
調子が悪い。Normal5面の練習が必要。6面は逆に意外といける感じになってきた。5面道中はともかくボスの通常攻撃がつらい。
すこし本を読んで寝ます。
謎のDB負荷と闘っている。何もしてないのにじわじわ遅くなっていくのはVACUUMとかそういう話なのか？ そんなに書き込みしてるはずはないんだけどなあ。実はしてるのか？
道徳に対して根本的には普遍化可能性を要求していないような気がしてきた。要求していないというと言い過ぎだけども。いや、言い過ぎということはないか。少なくとも、文字通りの意味で無制限に普遍化可能であることを要求していない。そんなことをしてもただの論理パズルになるだけだ。
「である」から「べきである」を導いてはならないとされているけれど、道徳を「現にそうなっている」から始めることを認めてもいいんじゃないのか？いや、こう考えるのは僕が反実在論者だからだろうけど。
寝ます。まだ月曜日なのにもう疲れが溜まっている。
なんか頭が痛いので夕方まで寝ていた。夜はすこし出かけた。昼はジェノベーゼパスタを作った。70点くらいの出来。
頭痛いので寝ます。
ずっとゲームしてた。錦上京Normal5面まではいけそうだが、3面以降の道中はもっと練習しないといけない。スペカは気合で取れそうなものとはっきり無理そうなものがだんだん分かってきた。
寝ます。
調子が悪い。かなり嫌なところに口内炎が2つもできていて、食べるときだけでなくかなり常時痛い。なぜこんな生を継続しなければならないのか？
東方錦上京、Easyノーコンティニュークリアした。Easyとはいえ後半はやっぱりきつい。Normalだとコンティニューしてもまだクリアできない。練習をする。
寝ます。よく寝る。シューティングゲームを練習する。本を読む。