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