今日の有給休暇。

今日も有給取ってみた。今年あと29日休める。
ていうか、よくよく考えると 9/16-26 の 11連休だし、9/27 は非常勤先に行くから出勤しない。
ずっと LCFRS (Linear Context-Free Rewriting Systems) を追っかけている。さかのぼるとこのあたり。そういえば NAIST に来るときの入試の研究計画には Rewriting Systems をやると書いていた。