コンピュータ・サイエンス入門

• 大堀・ Garrigue・ 西村・ 「コンピュータサイエンス入門：アルゴリズムとプログラミング言語」
  （ まえがき・目次 ，正誤表） （岩波書店 １９９９年５月刊／Ａ５並製／定価２５００円＋税）
• 田辺・中島・長谷川 「コンピュータサイエンス入門：論理とプログラム意味論」
  （岩波書店 １９９９年９月刊／Ａ５並製／定価２５００円＋税）

トピックス

京都大学での全学共通科目の講義

この教科書を使う授業です。

プログラミング言語Minimal

処理系を提供しています。

• Windows版(実行形式が入ったzip書庫,170Kb)
  minimal-1.0.zip
• MacOSX版(実行形式が入ったtar/gzip書庫,350Kb)
  minimal-1.0-macosx.tar.gz
• 旧MacOS用古いバージョン(実行形式が入ったStuffIt書庫,125Kb)
  Minimal-0.05.sit.hqx
• Solaris/sparc版(実行形式が入ったtar/gzip書庫,420Kb)
  minimal-1.0-sparc-solaris2.8.tar.gz
• Linux/x86版(実行形式が入ったtar/gzip書庫,290Kb)
  minimal-1.0-linux2.4.tar.gz
• FreeBSD/x86版(実行形式が入ったtar/gzip書庫,160Kb)
  minimal-1.0-freebsd4.9.tar.gz
• Unix用最新ソース(tar/gzip書庫,59Kb)
  minimal-1.0.tar.gz

Window版とMacOSX版はそのまま利用できます。
ソース版をコンパイルするには、Objective Camlが必要になります。

「アルゴリズムとプログラミング言語」の参考資料

• 「第1部 アルゴリズム 第4章」の正誤表 [ Postscriptファイル | PDFファイル ]
• 「第1部 アルゴリズム 第8章」の正誤表 [ Postscriptファイル | PDFファイル ]

「論理とプログラム意味論」第2部の参考資料

教科書ではカバーしなかった話題を扱っています。

• 「ラムダ計算 プログラミング言語の数学モデル」 [ Postscriptファイル | PDFファイル ]
• 「再帰データ領域 Ｄ∞モデル」 [ Postscriptファイル | PDFファイル ]