情報システム科学I

お知らせ

• Tue Mar 2 2009: レポートを事務室で返却しています。
• Mon Sep 29 2008: 授業ページを作りました。開講日は2008年10月10日(金)です。

資料

• 有限状態機械・チューリング機械シミュレータのダウンロードと説明
• Conwayのライフゲーム情報
• ラムダ計算インタプリタ

講義情報

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