2025-10-09: Nλを実装してみていた
やったこと
MD
レガシーパックイベントを消化していた。
適当にサイコショッカーデッキを組んで遊んでいた。
4戦3勝なので強かった気がする。
あと巳剣を組みたいのでパックを開封していた。
思ったより集まらなくて厳しい。一応組めるとは思うが‥‥。
Nominal
ここ数日、Nλを自分で実装してみていた。
設計が結構複雑で難しかった。
色々実装した結果、そこそこ動くようになったので、ここで一段落としたい。
あとは暇なときにautomata learningなどを実装してみたい。
どちらかと言えばSMTソルバ (z3
) を呼び出すインターフェイスを作ったことに価値があるかもしれない。