2024-10-08: Automata WikiのDOTファイルの読み混みを実装した
やったこと
OCG
天威の新規が発表されていた。
レベル4チューナーは本当にアツい。
天威相剣竜華がきているかもしれない。
楽しみになってきた。
Lernen
Automata WikiのDOTファイルを読み込めるようにしてみた。
https://github.com/makenowjust/lernen/pull/15
このために色々ごちゃごりゃと拡張してしまったので後々大丈夫か不安なところ。
あと、やはり SPA
が return_input
を持たないと上手く動作しないのがイケてないなぁと思う。
どうしたものか。
あとLearnlibにあったrepeats_cex_evaluation
を実装してみた。
https://github.com/makenowjust/lernen/pull/16
そこそこ効果あるのではないかと思う。
思いたい‥‥。