システム情報科学I

お知らせ

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

• 2005-01-18: Prologの使い方を公開しました。
• 2004-12-16: Lambda計算インタプリタ lambda.jarを公開しました。
• 2004-11-25: Turing機械シミュレータ TM.java を実行しやすいように変更し、さらにコンパイルと実行方法の説明を書きました。
• 2004-10-14: Turing機械シミュレータ TM.java を公開しました。

講義情報

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