Prolog
学部でSICStus Prologのサイト・ライセンスを取得しているらしい．SICStus Prologを使うか，GNU Prologでやってみよう．Prologを入れるんなら，LISPもということでOpenSchemeなんかも，入れてみようかなと思ったりして…
200110
Underspecification
前日の授業で某先生に紹介してもらった"Jornal of Logic, Language and Information“のUnderspecification特集号(Vol.10 No.4)を読む．Underspecificationという概念が自分できちんと理解できていないのかも知れない．だから，人にうまく説明できないのだろうか…
TA
2限はTA．今日は先生の講義だけで課題がなかったので，教室の隅で授業を眺めていただけだった…
ゼミ
某先生ゼミ．とりあえずPrologあたりでプロトタイプを書いてみて，試してみるのがいいのかもという気がしてきた．処理系を探してみよう…
ANSI C
ANSI Cのmain()はvoidでなくてintを返さなければならないという話．『C言語プログラミング FAQ』の"5.ANSI C“の"A5.12"に書いてあります…