家に帰るなり、ご飯を食べたら叔母さんの家に行けとのこと。喪主とかはやらなくていいらしく、助かる。叔母さんの家は死んだ父が死ぬ前に行ったきりで、ほぼ一年ぶりになる。小さな頃はよく行っていたかもしれないが、全体的に小さく感じた。 叔母さんは２年…

研究室のM2の人の車で小松駅へ。小松駅に初めて行ったが、駅前はなにか閑散としている。きれいなんだけれど。時間があったので、おみやげを買い、雷鳥で京都へ。サンダーバードとは違ってかなりの駅に停車するためやや時間がかかる。ただ、コンピュータを持…

先生が遅れてしまったので、演習ではなく、補講。午前中の逆の命題「決定性オートマトンで定義される言語はある正則表現で表すことができる」という定理の証明。決定性オートマトンと非決定性オートマトンは相互に変換が可能なので*1、逆の命題になる。これ…

今日はMLの型に関する講義。とくに目を引くのがReal型にはequal演算子が適用できないという点。これってどうなんだろう。確かに合理的なような気もするが、実際のプログラミングでは結構不便かも。確かに誤差はなくなるけれど。 あとは比較的オーソドックス…

なんと！先生が遅刻。で、授業が大幅に遅れる。なんだか眠たかったのでよかったような。で、かなり遅れて先生がやってきて、「正則表現で表される言語はεムーブ非決定性オートマトンで定義される」という定理の証明をやる。おもしろいのはこの非決定性オート…

比較的寒い日。