最後の章は関数型言語と論理型言語について。論理型言語は述語論理をもとにしている。といっても何のことだか。prologがそれにあたるらしく、いくつかネット上の資料も読んでみたりして、学校で一年履修したのに当時もあまり馴染めず見事に忘れ去っている。 …

さてさて油断禁物のプログラミング言語論。ラムダ算法について学習していたのももう 2 weeks ago. あごあご。日曜はキャンパスデーパスポートでねずみーランドに行ったのだがプリントアウトしていった課題も前回提出部分（つまり不可になった解答）を出し忘…

● 開始: Tue Feb 15 11:25:12 2005 ● 送信: Tue Feb 15 12:10:42 2005 終わりました。ふーーーーーーーー。 メールで届いた認証情報でテスト用のページにログイン。試験についての説明ページで注意事項を読み、「試験開始」ボタンを押すと、問題のかかれたPD…