Progolは授業資料中にもあったように、開発者のwebページか らダウンロードできます。ヴァージョンがいくつかありますが、授業で説明す る内容に一番即しているのは4.4だと思います。CNSの各自のディレクトリにイ ンストールして使うこともできますし、Cygwinなどを使ってコンパイルすれば、 Windows上で動かすこともできるはずです。
参考までに、CygwinはWindows上でUNIX環境を実現するものです。ここからインストーラをダウンロードできま す。
第7回(11/26)講義資料(予測的帰納論理プログラミング)各自で問題を設定し、それを帰納論理プログラミング(もしくはベイジアンネットワーク)を用いて解きなさい。
履修者の皆さんにそれぞれのレポート課題の進捗状況、疑問点などを簡単に報告してもらい、その解決のために皆で意見交換します。簡単にで構わないので、各自の課題の進み具合い、作業上の疑問点を説明できるくらいの準備をお願いします。
第13回(1/19)レポート課題成果発表会履修者各自に課題について成果発表(プレゼンテーション)をしてもらいます (形式自由、10分程度？)。準備をして来てください。また、レポートも授業時 に提出して下さい(形式、分量は自由です)。