M1の仮配属の子たちに「オートマトン」の講習．けっこう忘れているもので，戸惑ってしまう． 面白かったのが，「正則言語」をオートマトン（正確にはεムーブの非決定性有限オートマトン）に変換したり，文脈自由文法をプッシュダウンオートマトンに変換する…

金沢（大学）名物第七へ，ウエイト落として行かなきゃなどといっているそばから，食べまくり．おいしかった． でも，食べ過ぎのせいか，晩飯をたべなくてすんだ．これってどうなんだろ．

ちっとリバウンドしたなぁ．あと３キロはウエイト落としていかないと．