情報システム科学I

お知らせ

補講: 1月31日(火) 3限

このページには講義に関するお知らせが随時掲示されます。履習者はこまめにチェックをして下さい。

資料

• Turing 機械シミュレータ (使い方はParenthsis.javaを見て下さい。)
  • TM.java
  • Parenthsis.java(括弧の対応を調べる機械の例)
• ライフゲームプログラムの例
  • http://www.bitstorm.org/gameoflife/
  • http://www.radicaleye.com/lifepage/patterns/contents.html
• ラムダ計算インタプリタ
• Prolog処理系の使い方

講義情報

• 連絡・質問・レポートの宛先: masuhara-iss@lecture.ecc.(以下大学のドメイン)
  
  • 氏名および「情報科学システムI」に関するメールであることを明記して下さい。
• 講義計画: (進度によっては省略する話題もあります)
  • 計算モデル
    • 計算モデルとは何か
    • 機械モデル
      • 計算機ハードウェアの概略
      • 有限状態機械
      • Turing機械
    • 関数モデル
      • 関数的プログラミング
      • 帰納的関数
      • ラムダ計算
    • 論理モデル
  • プログラムの意味論
    • 操作的意味
    • 表示的意味
  • プログラムの正しさ
    • Hoare論理
    • 型システム
• 教科書・参考書
  • 計算モデルに関して: 「計算モデルの基礎理論」井田哲雄,岩波講座ソフトウェア科学12巻
• 成績評価
  • レポートで行う