andante

台所の掃除をした。まあ、できてないこともいろいろあるけれど……。これで今年の大掃除は終わり。

夜にほこらんさんが来て、M-1の録画を観た。改めて見るとドンデコルテに優勝させたかったような気もしてくる。

寝ます。なんかすごく頭が痛い。

買い出しなどをした。あとはイカのゲームをしたりコードを書いたりもした。htmxからJavaScriptコードを呼び出したが、とりあえずは短いスクリプトを直書きしただけで、これをどう整理していくかはまだ考えていない。
次はログインと投稿フォームをどう書くか考える。ChatGPTが。

寝ます。明日はキッチンの掃除をしないといけない、と思う。掃除してたら年末が終わってしまうな。

2時間くらいかけて風呂の大掃除をした。まあ別にそんなやらんでもという気はする（やったところで壁の水垢はあんまり取れない）が、やらないよりはいいでしょう。水垢に対してはもっとマジなソリューションを採用すべきなのかもしれない。

夜はほこらんさんと中華料理屋で羊を食べた。焼く肉を切り分ける前に大きな塊の状態で火にかける、撮影用のパフォーマンスがあってなんかおかしかった。肉はうまかった。

TeX記法を(X)HTMLにレンダリングするライブラリはMathJaxとKaTeX以外にもいくつか選択肢があるようだった。サーバーサイドで処理するにあたって、いまはKaTeXを何らかのJavaScriptエンジンで動かすクレートを使っているが、Rustネイティヴのものがあるならそのほうがいいなと思った。まあ全体が一段落したら再検討しましょう。
htmxでカレンダー部分を動的に差し替える実装ができた。なるほど、単にHTMLを差し替えればいいだけであれば簡単でいいなと思った。問題は結局多少なりともJavaScriptを書かないといけない場面がこれから出てくることなのだが、さてどうするか。

寝ます。

Blogのフロントエンドに書いていた各種ロジックをバックエンドに移植している。もっとも元々バックエンドにあったものだったりもする。設計に迷う。Blog記法を解析していろんな要素（段落とか）に分割するのはアプリケイションロジックだが、それをHTMLにレンダリングするのはプレゼンテイションロジック。うーん。まあこの規模でそんなことを気にするのは本来やるべきことではない。筋トレ。
KaTeXをサーバーサイドでレンダリングするのは一応できた。次はカレンダー部分の動的取得。これはhtmxを動かす話になる。

寝ます。

仕事の前に歯医者に行く。どこか悪いということもなく、3ヶ月おきに予約を取って通っている。なぜそうなっているのか、いつからそうなっているのか、はもう忘れてしまったが、歯の健康というのは大事だと母がよく言っていたせいかもしれない。幸い、母に（そしておそらく祖母に）似て歯はそれなりに強い。歯の強さに本当に個人差があるのかはよくわからないが。

仕事納め。でもチームメンバーの半分くらいはもう休みに入っているので、出勤している人は少なく、あんまりやる気が出なかった。いや別に誰かに監視されていないとやる気が出ないということではないけれど。なんか、弛緩した雰囲気というか。どうせ今日何か頑張っても休み明けには全部忘れてるしな、とか。

寝ます。明日からは掃除などをしつつ、blogをReactからMaudに移植する作業を進めたい。

メリィ・クリスマス。

データベーススペシャリスト試験の結果が発表された。合格だった。まあたぶん大丈夫だろうとは思っていたが、ほっとした。
点数を見るとわりと余裕だったので、これは調整が入ってるのかもしれない。いや、どうだろう？意外とこんなもんか？

寝ます。明日は歯医者。あと仕事納め。

最近いよいよ季節感がなくなってきたが、クリスマス・イヴであるらしい。「らしい」というのはおかしいな。明らかに日付に依存して決まる出来事であって、そのことを認識するのに必要な知識はすべて最初から持っているのだから、伝聞にはならないはずだ。つまり伝聞というのはもうすこし広い意味を持つ。

RasPiのBLEと2週間くらい格闘していたが、ようやく決着がついた。LinuxのBluetoothスタックであるところのBlueZに、Peripheralのバッテリー情報を自動取得するプラグインが入っていたせいで、iOSがペアリングを要求していたらしい。マジかよ罠すぎる。オフにしたらほぼすべてが解決したので、すこし予定より遅れたがこれでミッションコンプリートだ。
それはそれとして、Xcodeから使えるChatGPTの体験がかなり悪くてびっくりした。どのモデルでどういうプロンプトなのか知らないが、体感で2年前くらいの感じ。iOS開発者はコーディングAIをこの感覚で理解している人も多いのではないか。全然違うのに。

blogリプレース計画、とりあえずAPIと別にWebページを返すクレートを定義した。今回はHTMLのレンダリングにAskamaではなくMaudを使ってみる。もともとReactで書きかけているからコンポーネント指向のほうが移植しやすそうという事情がある。とりあえずtailwindの出力を読み込むことはできた。
移植作業はCodexに任せている。こちらは非常に優秀で、もちろん移植くらいならほぼ間違わずに対応してくれる。これが令和7年よ。
あとはJavaScriptをどうするか。ChatGPTによればesbuildを使えばいいらしいけど。本当か？

寝ます。

なんか疲れた。案件掛け持ちで両方のボトルネックになるのは辛い。

なんか半年くらい頓挫しているこのblogのリプレース計画、もう一度考え直すことにした。ReactでSSRみたいなのはオーバースペックなのでやめにして、今と同じにサーバーサイドでテンプレートをレンダリングしようと思う。ただ多少動的要素もあるのでそこをどうするか。今はそこはReactを使っているけど、やっぱり間違いなくtoo muchだし。ChatGPTに相談したらhtmxを薦められたけど、はたして。あとCSSはtailwindで書きたいかな。半分くらい書いたやつがあるし。
まあでもそれをいつやるのかというと。

寝ます。

昨晩から今日の昼にかけて、このblogが落ちていました。DBアクセスエラーで5xxをが出るのを見た人もいると思います。ディスク容量が不足していたのが原因でした。`docker system prune`したら直りました。

なんか部屋が暑かったり、昼間に寝すぎたり、M-1の興奮が醒めなかったりで、完全に睡眠に失敗したため午前休をとって寝ていた。なんかたまにそういうことがある。何だろうね。

イカのゲームが突然ちょっと上達した。というか、試合開始時にやっていた変なルーティーンをやめたらエイムがまともになった。なんかこれのせいでちょっと照準が上を向くようになっていて、1 on 1の場面で勝てなくなってたっぽい。まあそれ以外にも普通に立ち回りを意識するようになったりとかはあるけど。そしてまあ、もうちょっとくらいは上手くなりたい。

「魔法少女まどか☆マギカ」再編集版の最終話を観た。やはりね、傑作というか。「希望」の向かう先としての「正義」としての魔法少女像から逃げなかった、貫徹しようとした、その志の高さに胸を打たれずにはいられない。

円環の理という正義になるためには人であることをやめる必要があるし、じゃあ愛はどうだったか？それは悪魔だったんですね（これは『叛逆』の話ですが）。人のまま正義をやろうとした人間がどうなっていくか。それは美樹さやかであり、そして誰しもツイッターで嫌と言うほど見てきたでしょう。

そもそも結局鹿目まどかと暁美ほむらは実はあんまり通じ合ってないというか、あのリボンって「お友達でいましょうね」、言ってしまえば拒絶なんですよ。なんなら（すこし飛躍しますが）『叛逆』においてまどかはほむらの髪を結ぼうとする側なんですよ（その上で未遂に終わる）。『叛逆』の終盤で明示されるまでもなく、正義と愛とにはずっとそういう緊張関係がある。

9話の回想シーン、暁美ほむらはもう二人でバケモノになって世界なんかメチャメチャにしてやろうと言うけれど、鹿目まどかはそれでもこの世界を守りたいと言うし、そのための切り札としてほむらを送り返す。ここなんかもはっきりと対立がある。愛は本質的に世界に背を向けて正義を破壊する力で、だから結局は（悪魔という形であれ）バケモノになるしかないのだ。

映画、楽しみですね。

寝ます。

身体のしんどさはもうなくなったのだが、謎の頭痛がずっとある日だった。夜になったら落ち着いたのでよかった。

M-1グランプリを観た。今年はなんかレベル高いような気がしたが、まあ去年と比較できるような記憶はないのでわからない。ヨネダ2000がレベルアップして帰ってきたのが本当に嬉しかった。音とリズムで意味のわからないルールに観客を巻き込んでいく力はやっぱり凄くて、意味は何もわからないのにものすごく笑った。順位は前回ほど振るわなかったが、このまま頑張ってほしいと思う。
全体通して一番面白かったのはたくろうの2本目かな。1本目はそれほど気に入らなかったのだけど。

寝ます。来週で仕事納めだ。なんか忙しい。