2026-01-24: BLAZING DOMINIONの発売日だった

やったこと

BLAZING DOMINIONの発売日だった。
一応2箱購入。
開封したらハルモニアが1枚出たので、ギリギリ耐えた感じがしている。
スパークは出なかった。

妙に心臓に悪い開封だった。しんどい。

nominalの訳語についての記事をさらに書き直した。

2度目の書き直しなので、かなりの完成度になった。
とくにnominal abstract syntaxによるα変換の定義から、自由変数などへの話題の転換は、このレベルの説明をしている日本語の文献は他に無いのではないかと思う。
訳語の議論の流れも、以前よりかなりスムーズになったはず。

謝辞などを入れられたら入れたいのだけど、確認を取ってないので一旦見送り。
あと参考文献リストみたいなのも作った方がいい。次の更新のときのTODOとしよう。

ブログ記事の目次の自動生成もしたい。
やることが多いな。