地酒を蔵本から購入してがんがん飲んでいこうという同好会。私は初めて参加した。 お刺身や漬け物を買い、他の研究室の先生も混ざって宴会。テレビでは例のイラク人質事件のニュースをやっていて、みんなであーだこーだと言いながら、数時間で用意していたす…

中間試験。易しかった。易しすぎて不安。もしかしたら何か大きなポカでもやっていそうで怖い。他の子も軒並み余裕とのこと。むむむ。

今日は、datatypeについて。さすがMLだ。ユーザー定義のdatatypeの作成が可能らしい。ということで、リスト構造も再定義ができるという。すばらしい。 二分木(Binary Tree)がめちゃくちゃ簡単に表現されていた。これはCと比較するとあまりにもかわいそうかも…

まずは、正則言語のクラスはどのような演算について閉じているかというもの。今回は補集合と積集合は正則言語で完全に表現が可能であり、閉じていることを証明した。 次に、決定問題。今回は「空言語判定」という問題。とくに非決定性オートマトンが与えられ…

ようやく休みが見えてくるが、休み明けに思いっきり難しい試験と、かなりやばそうなレポートが・・・。大学構内では、Prologでドハマリしている人があちらこちらに。人工知能特論とらなくてよかったぁ。