プログラミング・パラダイム／プログラミング言語意味論（2012年度）

（旧・プログラミング言語特論）

2012年度後期木曜日 1コマ（2013/01/10より木曜日 4コマへ移動）
担当香川考司
対象大学院（工学研究科・RISE）

工学研究科、プログラミング・パラダイム／プログラミング言語意味論（旧・プログラミング言語特論）のホームページです。受講者はこのページを随時チェックするようにしてください。

連絡事項

新しいものほど上に表示します。

(02/12) 2012年度「プログラミング言語意味論」テストの問題と、解答例（一部）を公開します。
(01/31)「プログラミング言語意味論」第1回レポート（2/21 〆切）
(01/08) 01/10より木曜日 4コマ、3202教室に移動します。

(11/29) 2012年度「プログラミング・パラダイム」テストの問題と、解答例を公開します。
(11/29) 「プログラミング・パラダイム」第1回レポート（12/13 〆切）
(11/21) 2011年度「プログラミング言語特論」期末テストの問題と解答例（一部）を公開します。

このうち、Ⅰ〜Ⅲ が前半「プログラミング・パラダイム」の範囲になりますが、 45分の試験時間にあわせて、多少、問題数を減らす予定です。

(11/22 追加) Ⅱ の λ（ラムダ）計算は、後半「プログラミング言語意味論」に回すことにしました。
(10/18) HaskellPlatform-2012.2.0.0-setup.exe（大学内のコピー・香川大学内からのみアクセス可）をインストールしておいてください。大学外からは、Haskell Platform のダウンロードにアクセスしてください。

(11/21 追加情報) HaskellPlatform-2012.4.0.0-setup.exe も出ました。（2012.2.0.0 をインストール済みの人は更新する必要はありません。）

配布物など

をクリックすると、Wappen または WappenLite というシステムが起動して編集・実行できます。（Haskell プログラムの場合、「実行」をクリックすると、ユーザー名・パスワードを聞かれますので、 stfile のユーザー名・パスワードを入力して下さい。）

プリント第 D 章 JavaScript 超簡単入門（01/24 配布）
プリント第 8 章 Continuation-Passing Style (CPS) （01/24 配布）
プリント第 8 章のプログラム
- ProdPrimes.html, ProdPrimes.js（8.1）, Fact.html, Fact.js （8.2）, Hanoi0.html, Hanoi0.js （8.3 CPS書換え前）, Hanoi.html, Hanoi.js （8.3 CPS書換え後）, Fib0.html, Fib0.js （8.3 CPS書換え前） Fib.html, Fib.js （8.3 CPS書換え後）, Sierpinski.html, Sierpinski.js
プリント第 C 章 Scheme 超簡単入門（未配布）（空欄補完済版）
プリント第 C 章のプログラム
- Cont.scm () （C.1〜C.2の Schemeプログラム）
プリント第7章接続 (continuation) （01/10 配布）
プリント第7章のプログラム
- Util共通（再掲）: Token.hs, Target.hs,
- UtilCont: ContType.hs, ContParser.hs, ContCompiler.hs, ContMain.hs
- いろいろなモナド: MyState.hs （再掲）, MyStream.hs （再掲）, Cont.hs （UtilCont),
- UtilCont コンパイラ（Web 上で実行）
- foo.c(), bar.c(), baz.c()
- 参考リンク: なんでも継続, 継続 - Wikipedia
プリント第B章 Prolog超簡単入門（未配布）（空欄補完済版）
プリント第B章のプログラム
- Tokugawa.pl (), （B.1 徳川将軍家）
  実行例: grandchild(X, ieyasu).
- Append.pl (), （B.3 Prologでのリスト処理）
  実行例: myappend(X, Y, [1,2,3]).
プリント第6章モナドと命令型言語の意味（pp.1–6 12/19 配布、pp.7–15 01/10 配布）
プリント第6章のプログラム
- Util共通: Token.hs, Target.hs,
- Util1, UtilST, UtilIO: RecType.hs, RecParser.hs, RecCompiler.hs, RecMain.hs
- UtilErr, UtilNonDet: RecType.hs, CatchParser.hs, RecCompiler.hs, CatchMain.hs
- いろいろなモナド: Id.hs （Util1), MyState.hs (UtilST), ST.hs (UtilST), MyStream.hs (UtilIO), MyIO.hs (UtilIO),
- Util1, UtilST, UtilIO コンパイラ（Web 上で実行）
- UtilErr, UtilNondet コンパイラ（Web 上で実行）
プリント第5章モナド（12/08配布）
プリント第5章のプログラム
- UpperLower.hs,
- Head.hs,
- IORefTest.hs,
プリント第4章型クラス（12/05 配布）
プリント第4章のプログラム
- TypeClassExample.hs (), 型エラーになりそうでならないプログラムの例

プリント第A章 Haskell のレイアウトルール（10/20 配布）
- Haskell プログラムのレイアウト変換
プリント第3章関数型言語 Haskell とは（pp.1–12 10/18 配布、pp.13–20 11/01 配布）
プリント第3章のプログラム
- Chap3.hs ()
プリント第2章ラムダ計算（pp.1–4 10/04 配布, pp.5–7 10/11 配布）
- λ式β変換
- λ式文法チェッカ
プリント第1章プログラミング言語の意味とは（10/04 配布）

インタラクティブなページ

リンク

「Haskell プログラミング」和田英一他
情報処理学会の会誌「情報処理」に 2005 年 4 月から 2006 年 3 月まで連載された記事です。
言語処理系ダウンロード（香川大学内アクセス限定）
GHC (Glasgow Haskell Compiler) は Haskell の de fact standard実装です。本講義では GHC を含むパッケージである Haskell Platform を使用します。
最新版 Haskell Platform のダウンロード

Koji Kagawa