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

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

2013年度後期木曜日 1コマ
担当香川考司
対象大学院・工学研究科・信頼性情報システム工学専攻

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

連絡事項

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

(02/07) 2013年度「プログラミング言語意味論」テストの問題と、解答例（一部）を公開します。
(01/27) 期末試験は 2月 6日（木）1 校時です。 6301 教室ですので、注意してください。
(01/23) 2012年度「プログラミング言語意味論」テストの問題と解答例（一部）を公開します。
(12/19)「プログラミング言語意味論」第1回レポート（〆切未定 2/20（木））
- (01/29) すべての問題を公開します。
- (01/23) さらに問題の一部を公開します。
- (12/19) 冬休み前に問題の一部を公開します。

(11/29) 2013年度「プログラミング・パラダイム」テストの問題と、解答例を公開します。
(11/29) 「プログラミング・パラダイム」第 1 回レポート（12/12 〆切）
(11/21) 2012年度「プログラミング・パラダイム」テストの問題と解答例（一部）を公開します。
(10/31) GHC.IO ブラウザーから実行できる GHCi です。
- 外部サイトなので、重いプログラムを動かして迷惑をかけないようにしてください。
- ファイルをロードできないので、変数や関数を定義するときは、「let」というキーワードに続けて書いてください。
```
Prelude> let square x = x * x
Prelude> square 2
4
```
- 定義の途中で改行できないので、複数行の定義をするときは、改行の代わりに「;」で区切って書いてください。
```
Prelude> let fact 0 = 1; fact n = n * fact (n-1)
Prelude> fact 10
3628800
```
- ある程度の時間入力がないと、タイムアウトするのでリロードしてください。
(10/10) HaskellPlatform-2013.2.0.0-setup.exe（大学内のコピー・香川大学内からのみアクセス可）をインストールしておいてください。大学外からは、Haskell Platform のダウンロードにアクセスしてください。

配布物など

プリント第 D 章 JavaScript 超簡単入門（01/16 配布）
プリント第 8 章 Continuation-Passing Style (CPS) （01/16 配布）
プリント第 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/16 配布）
プリント第 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 章モナドと命令型言語の意味（12/19 配布）
プリント第 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/19配布）
プリント第5章のプログラム
- UpperLower.hs,
- Head.hs,
- IORefTest.hs,
プリント第4章型クラス（12/05 配布）
プリント第4章のプログラム
- TypeClassExample.hs , 型エラーになりそうでならないプログラムの例

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

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

リンク

言語処理系ダウンロード（香川大学内アクセス限定）
GHC (Glasgow Haskell Compiler) は Haskell の de fact standard実装です。本講義では GHC を含むパッケージである Haskell Platform を使用します。
最新版 Haskell Platform のダウンロード

Koji Kagawa