*6月1日(火)

-[[webテキスト処理法:http://www.tom.sfc.keio.ac.jp/~hagino/web04/]]~

有限オートマトン・正規表現・３型文法など。[[未来検索:http://sf.livedoor.com/]]してたら [[http://oshiete1.goo.ne.jp/kotaeru.php3?q=861765]] が見つかった。誰か答えてくれ。

-[[計算機能論:http://web.sfc.keio.ac.jp/~naemura/cs/k04/]]~

計算回数を求める為にlogや数学的帰納法とかを使って証明する。俺は数学が苦手なのでこれはまあいい。次。

*6月9日(金)

-[[論理プログラミング:http://web.sfc.keio.ac.jp/~tozaki/LP/04/]]~

最終課題の計画書を提出。A4で0.5～1枚。ここ3週間ぐらい、朝食を摂ってDNPに帰ってしまってるのでそろそろ勉強しないとヤバイ。

*結論

今日はwebテキストをやって寝よう