やったこと

京都

帰りの電車に荷物を忘れたことに気付いた。
とりあえず連絡をしたけれど、まだ見つかっていない。
恐らく終点まで運ばれたものと思われるが‥‥。

頼む見つかってくれ。

秋田

秋田行きの準備を地道にしている。
とりあえずホテルと新幹線は確保したので、なんとかやっていけるはず。

オートマトン学習

オートマトンをランダムに生成する機能と、オートマトンの同値性をチェックする機能を実装している。
ひとまずこれで、ランダムテストができるようになったと思う。