やったこと

CIAA

最終日。

可測性の話を聴きながら、オートマトン学習と絡められないだろうかと考えていた。
あとKrohn-Rhodes。実装できるのなら実装してみたい。

なんか昼食が豪華だった。
舞妓や芸者が踊っていた。なんでや。

お土産にいぶりがっこ食べるラー油を買っていた。
良さそうだと信じたい。