andante

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

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

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

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

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

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

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

頭痛いので寝ます。

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

寝ます。

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

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

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

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

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

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

寝ます。

なんかしっかりめに体調が良くない。山場を乗り越えて気が抜けたのかもしれない。昨日もあんま調子よくはなかったが。

ガロア理論おもしれ〜と思ったので積んであった教科書を読み始めてしまった。まだ最小分解体とかガロア群の定義をしているだけだが。データベースの第何正規化みたいな話よりこっちのほうが100倍面白い。

東方の新作がSteamで買えたので、15年ぶりくらいに遊んでいた。普通に下手なのは前提として、仮想マシンで遊ぶものではないなと思った。キーボード入力がどうも安定しない。仮想マシンのせいではないのかもしれないが。
やっぱり音楽がいいね。まだ4面までしか行けてないからそこまでしか聴いてないけどね。

寝ます。よく寝たい。

仕事が一つ、山場を乗り越えたっぽいので安心している。安心するには早いのだが。なんか普通に燃え尽きてる感じもある。

ChatGPTにガロア理論の嬉しさを訊いたついでに5次方程式の解の公式の非存在について教えてもらった。係数体にいろんな冪根を追加して解を含む分解体に至るまでの階層を、解の対称性の部分群の階層と対応させることで、四則演算と冪根だけで解を作れるかどうかの判定を対称群の構造の判定に落とし込むことができるという。便利〜。

肉食を避けることが道徳的によりよいことだとはまったく考えていないし、肉食を避けている人がその他の点で道徳的によりよい傾向にあるとも（もはや）全然思わない。それでも長期的には肉食は避けられていくだろうという霊感がある。その理由はいろいろつけられるだろうが、本質的には単に肉食を擁護する方の旗色が悪すぎるというだけのことであろう。

なんか疲れている。仕事は一瞬だけ暇だったのでレビューとかをした。明日はまた忙しい。

今日はなんかボーッとしてたので特に書くことがない。寝ます。

昼に起き、佐藤雅彦展を見に横浜美術館へ行った。佐藤雅彦はファンなのでピタゴラスイッチとかそのへんは知ってるのだけど、CMプランナーとしての仕事はあまり知らなかったので、そのへんが詳しく説明されていたのがよかった。
結局僕の「好き」ってざっくり佐藤雅彦とラーメンズとうすた京介なんだなと思う。僕もすこしでもいいから自分が好きだと思うものをちゃんと形にして、自分はこういうのが好きです、って言えるようになりたいな。

帰ってきたら頭が痛くなってしまった。片頭痛とは違う感じ。何だろう。脱水？今夜は早く寝ます。