やったこと

CIAA

1日目。

Translucent Input Lettersの話が面白かった。
ある状態からは見えない文字があるオートマトンで、見える文字まで飛ばして文字を消費して遷移して、飛ばす前の位置まで戻ってくるように拡張すると、a^n b^n c^n みたいな言語が表現できるらしい。
この辺りを勉強してみたい。

lernen

相変わらず型を付け続けている。
@rbs arg: Type の形式でメソッドに型を付けていたのだけど、この書き方だとオーバーロードとかジェネリクスが書けないので、: 形式で書くことにした。
全体を書き換えていたのでまだ終わっていない。
明日には終わるだろう。