情報システム科学I

お知らせ

• Mon Oct 16 2006: 授業ページを作りました。開講日は2006年10月16日(月)です。
• Mon Dec 18 2006: ラムダ計算インタプリタを用意しました。
• Mon Jan 29 2007: Prologの使い方を用意しました。
• Tue Mar 6 2007: レポートへのコメントを書きました。

資料

• 有限状態機械・チューリング機械シミュレータのダウンロード
• 上記シミュレータ(有限状態機械についてのみ)の使い方の説明 (シミュレータのダウンロードはCFIVEでなく、上記ダウンロードページから行える)
• ラムダ計算インタプリタ
• Prologの使い方

講義情報

• 教科書・参考書
  • 計算モデルに関して: 「計算モデルの基礎理論」井田哲雄,岩波講座ソフトウェア科学12巻
  • ラムダ計算に関して: 「算法表現論」 木村泉, 米澤明憲,岩波書店
• 成績評価
  • レポート(3回)による。