やったこと

ZA

ボックスに図鑑順に並べるのをようやく完遂した。
ダンバルがなかなか捕まらなかったのと、雨の日しか出ないヌメラが鬼門だった。
DLCに間に合ってよかった。
あとはDLCのために適度にボックスを空けなければ‥‥。

研究

DFAのランダム生成をequality symmetryでやっているのだが、total orderに変換するロジックが微妙だったので、ちゃんと等価なものに変換するように書き直した。
まだ微妙な気もするのだけど、まあいいか。あまりtotal orderを不利にしても仕方ない。
そして実験を回す。一生終わらん‥‥。