情報システム科学I

お知らせ

• Thu Oct 08 2009: 授業ページを作りました。開講日は2008年10月8日(金)です。

資料

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

講義情報

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