andante

昼にすこし出かけた以外はのんびりしていた。デスどうぶつの森こと「Cult of the Lamb」をプレイしている。かわいい動物たちの住む村を運営していく。ただしこの村はカルト教団の共同体で、資源は異教徒が支配する森などから奪ってくる必要がある。当然異教徒の司祭なども倒す。

寝ます。そういえば最近試験勉強やってないな。やらなくちゃな。

全体的に調子がよくない。耳鼻科に行って薬をもらった。

Steamで積んでた「ダレカレ」をプレイした。なんか泣いてしまった。
ゲーム的な語りかたというものに魅力を感じていて以前から興味があるのだけど、そういう点でもよい作品だった。こういうのをやれるのがゲームのよさだなと思う。

寝ます。最近ちょっと眼を使い過ぎたのか頭が痛い。

東方錦上京Normalクリアした。5面ボスはたくさん練習したのだけど、結局練習通りには何一つ行かなかった。まあクリアしたならいいのよ。
Extraもちょっとやってみたけどボスまでたどり着けず。クリアは目標にしないが、顔と曲くらいは聴いておきたい。

寝ます。明日は予約が取れれば耳鼻科に行く。

アーベル・ルフィニの定理、すなわち5次以上の代数方程式は四則演算と冪根で解けない、の（ガロア理論による）証明を読んだ。細部は省略しているけれども。
ガロア理論が単に方程式の可解性だけでなくその具体的な解法にもある程度の情報を与えてくれるのは面白いな〜と思った。便利すぎる。他の応用も知りたいな。

夜更かししてしまった。寝る。

世の中には一定数、子供の影響で電車にやたら詳しくなったお父さんお母さんというものがいるらしい。たぶん僕の母親もバージェス動物群にやたら詳しいのだろう。電車と違って日常で明らかになることはないが。

調子が悪い。Normal5面の練習が必要。6面は逆に意外といける感じになってきた。5面道中はともかくボスの通常攻撃がつらい。

すこし本を読んで寝ます。

謎のDB負荷と闘っている。何もしてないのにじわじわ遅くなっていくのはVACUUMとかそういう話なのか？　そんなに書き込みしてるはずはないんだけどなあ。実はしてるのか？

道徳に対して根本的には普遍化可能性を要求していないような気がしてきた。要求していないというと言い過ぎだけども。いや、言い過ぎということはないか。少なくとも、文字通りの意味で無制限に普遍化可能であることを要求していない。そんなことをしてもただの論理パズルになるだけだ。
「である」から「べきである」を導いてはならないとされているけれど、道徳を「現にそうなっている」から始めることを認めてもいいんじゃないのか？いや、こう考えるのは僕が反実在論者だからだろうけど。

寝ます。まだ月曜日なのにもう疲れが溜まっている。

なんか頭が痛いので夕方まで寝ていた。夜はすこし出かけた。昼はジェノベーゼパスタを作った。70点くらいの出来。

頭痛いので寝ます。

ずっとゲームしてた。錦上京Normal5面まではいけそうだが、3面以降の道中はもっと練習しないといけない。スペカは気合で取れそうなものとはっきり無理そうなものがだんだん分かってきた。

寝ます。

調子が悪い。かなり嫌なところに口内炎が2つもできていて、食べるときだけでなくかなり常時痛い。なぜこんな生を継続しなければならないのか？

東方錦上京、Easyノーコンティニュークリアした。Easyとはいえ後半はやっぱりきつい。Normalだとコンティニューしてもまだクリアできない。練習をする。

寝ます。よく寝る。シューティングゲームを練習する。本を読む。

とにかく調子が良くない。副鼻腔炎が悪くなってるのだと思うが、近所の耳鼻科が遅めのお盆休みに入ってしまった。やれやれ。

仕事はエラーの調査とか打ち合わせの資料作りとか。ALBがS3に吐くログの形式が2日前くらいから急にマイナーチェンジしたらしく、Athenaのテーブルに入らなくなっていたので焦った。ドキュメントにも何なのか書いてないのでとりあえずログの末尾を無視するようにしたら治った。
こういうトラブルへの対処も、解析クエリの作成も、出てきたCSVの整形も、ChatGPTとGeminiに大きく助けられながらなんとかやっている。こういう時は素直にいい時代になったなと思うが、できなきゃできないでやらなかったはずのことをやっていると考えると、あまり良いことではないかもなと思う。べつに出した成果に給与が比例するわけではないから。

東方錦上京、4面はクリアできた。さすがに序盤は慣れてきて、調子よければ3面くらいまでは残機をけっこう残せるようになった。まあでもこれは1回コンティニューしながら6面までやってプラクティスモードをやるべきだな。土日はそうしよう。でもガロア理論の本も読みたいんだよな。

寝ます。