2022-11-10: MSO実装してた

やったこと

単項二階述語論理。
文字列上のMSOで定義できる言語は正則言語に一致するので、論理式からオートマトンを構築したり、オートマトンから論理式を構築したりできる。
やり方は結構素直に変換するだけで、そんなに難しくないので、実装してみていた。

やっぱScalaが書いてて一番楽しいな。

帰り道にヌメロドスに寄った。
100円でEXシークレットのヴァレルロード・ドラゴンが手に入ったので儲け。
ヴァレット組むか‥‥？

それはそうとマスターデュエルの運がひどかった。

もう二度とやらんわこのゲーム。