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

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

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

連絡事項

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

(02/24) 2016 年度「プログラミング言語意味論」テストの問題と、解答例（一部）を公開します。
(01/26) 2015 年度「プログラミング言語意味論」テストの問題と、解答例（一部）を公開します。
(01/26 一部先行公開, 1/31 全体公開)「プログラミング言語意味論」第1回レポート（〆切 2/16（木） 18:00）

(12/01) 2016 年度「プログラミング・パラダイム」テストの問題と、解答例を公開します。
問題に訂正があります。（解答には影響しないと思われます。）
p.3 Ⅱ (1)
```
-- 誤: 
bind :: a -> (a -> [b]) -> [b] 
-- 正: 
bind :: [a] -> (a -> [b]) -> [b] 
```
(11/24) 「プログラミング・パラダイム」第 1 回レポート（12/08 〆切）
(11/24) 2015年度「プログラミング・パラダイム」テストの問題と解答例（一部）を公開します。
(10/06) paiza.io ブラウザーからプログラムが実行できる、オンライン実行環境です。Haskell も対応しています。
(10/06) 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/06) HaskellPlatform-8.0.1-full-i386-setup-a.exe (for 32 bit Windows), HaskellPlatform-8.0.1-full-x86_64-setup-a.exe (for 64 bit Windows) （大学内のコピー・香川大学内からのみアクセス可）をインストールしておいてください。大学外からは、Haskell Platform のダウンロードにアクセスしてください。

配布物など

プリント第 L 章ラムダ計算（12/15 配布）
- λ 式 β 簡約
- λ 式文法チェッカ
プリント第 7 章 Continuation-Passing Style (CPS) （12/15 配布）
プリント第 7 章のプログラム
- ProdPrimes.html, ProdPrimes.js（7.1）, Fact.html, Fact.js （7.2）, Hanoi0.html, Hanoi0.js （7.3 CPS書換え前）, Hanoi.html, Hanoi.js （7.3 CPS書換え後）, Fib0.html, Fib0.js （7.3 CPS書換え前） Fib.html, Fib.js （7.3 CPS書換え後）, Sierpinski.html, Sierpinski.js
プリント第 J 章 JavaScript 超簡易入門（12/15 配布）
プリント第 S 章 Scheme 超簡易入門（プリント配布なし）（空欄補完済版）
プリント第 S 章のプログラム
- Cont.scm
プリント第 6 章接続 (continuation) （12/15 配布）
プリント第 6 章のプログラム
- 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
プリント第 P 章 Prolog 超簡易入門（プリント配布なし）（空欄補完済版）
プリント第 P 章のプログラム
- Tokugawa.pl , （C.1 徳川将軍家）
  実行例: grandchild(X, ieyasu).
- Append.pl , （C.3 Prologでのリスト処理）
  実行例: myappend(X, Y, [1,2,3]).
プリント第 5 章モナドと命令型言語の意味（12/15 配布）
プリント第 5 章のプログラム
- 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 上で実行）
プリント第 4 章モナド（12/08 配布）
プリント第 4 章のプログラム
- UpperLower.hs,
- Head.hs,
- IORefTest.hs,
プリント第 3 章代数的データ型と型クラス（10/13 配布）
プリント第 3 章のプログラム
- TypeClassExample.hs 型エラーになりそうでならないプログラムの例
プリント第 A 章 Haskell のレイアウトルール（10/13 配布）
- Haskell プログラムのレイアウト変換
プリント第 2 章関数型言語 Haskell とは（pp.1–4 10/06 配布、pp.5–30 10/13 配布）
プリント第 2 章のプログラム
- Chap2.hs
プリント第 1 章プログラミング言語の意味とは（10/06 配布）

リンク

言語処理系ダウンロード（香川大学内アクセス限定）
GHC (Glasgow Haskell Compiler) は Haskell の de fact standard 実装です。本講義では GHC を含むパッケージである Haskell Platform を使用します。
最新版 Haskell Platform のダウンロード
TIOBE index
さまざまな検索エンジンに基づく、プログラミング言語の人気ランキング
Programming Languages Influence Network
プログラミング言語同士がどう影響を与えあっているかをグラフにしたもの
GitHut
GitHub で使われているプログラミング言語のランキング

Koji Kagawa