プログラミング言語特論（2003年度）

連絡事項

• 2002年度テスト問題
  今年度は方針を変更して、語句に関する問題が主になる予定です。
• レポート3（2月19日締切）
• 2003年11月にリリースされたHugsの新しいバージョンでは、 例題プログラムがうまく動作しないことがあるようです。 標準ライブラリの構造の変更が原因と考えられます。 古いバージョンのHugs を使用して下さい。
• レポート2（12月11日締切）
• レポート1（11月6日締切）

配布物など

• プリント第6章

  プリント第6章のプログラム
  Chapter6.hs

• プリント第5章

  プリント第5章のプログラム
  Cont.hs（5.1 UtilCont）, Cont.utl（同テストプログラム）, Callcc.utl（5.2 テストプログラム）, Callcc2.utl（5.3 テストプログラム）, CPS.hs（5.5）, Fact.html（5.6）, Hanoi.html（5.7）

• プリント第4章

  プリント第4章のプログラム
  

  • Parser.hs（すべてのプログラムで使用）, Env.hs（Var1.hs以降で使用）,
  • Util0.hs（4.1 Util0）, Util0.utl（同テストプログラム）,
  • Var.hs（4.4 UtilVar）, Var.utl（同テストプログラム）, Fun.hs（4.7 UtilFun）, Fun.utl（同テストプログラム）, Fun2.hs（4.7 UtilFun ・和積をプリミティブ関数化）, Fun2.utl（同テストプログラム）, LetRec.hs（4.8 UtilRec） LetRec.utl（同テストプログラム）
  • Err.hs（4.9 UtilErr） Err.utl（同テストプログラム） Catch.hs（4.9 UtilErr ・try〜catchを追加） Catch.utl（同テストプログラム）
  • ST.hs（4.10 UtilST）, ST.utl（同テストプログラム）, BackST.hs（4.10 UtilBackST）, BackST.utl（同テストプログラム）,
  • NonDet.hs（4.12 UtilList）, NonDet.utl（同テストプログラム）

  すべてのバージョンについて、 runとloadという関数が定義されています。 runは Util*のプログラムを文字列として直接受け取り、実行します。 loadはファイル名を受け取り、ファイルの中に書かれている Util*のプログラムを実行します。

  プログラムは随時改良される可能性があります。

• プリント第6章
• プリント第5章
• プリント第4章
• プリント第3章
• プリント第2章
• プリント第1章

リンク

• 「コンピュータサイエンス入門 --- 論理とプログラム意味論」（京都大学）
  参考書に挙げた、中島玲二・長谷川真人・田辺誠 著 「コンピュータサイエンス入門 --- 論理とプログラム意味論」のホームページです。 ここからラムダ計算やD_∞に関する補足資料が入手できます。
• 言語処理系ダウンロード （香川大学内限定）