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

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

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

連絡事項

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

(02/21) 2014年度「プログラミング言語意味論」テストの問題と、解答例（一部）を公開します。
(01/22) 2013 年度「プログラミング言語意味論」テストの問題と、解答例（一部）を公開します。
(01/22)「プログラミング言語意味論」第1回レポート（〆切 2/23（月） 18:00）

(12/05) 2014 年度「プログラミング・パラダイム」テストの問題と、解答例を公開します。
(11/20) paiza.io ブラウザーからプログラムが実行できる、オンライン実行環境です。Haskell も対応しています。
(11/13) 11/27 は月曜振替日のため「プログラミング・パラダイム」の試験は 12/4 になります。
(11/13) 「プログラミング・パラダイム」第 1 回レポート（12/11 〆切）
(11/13) 2013年度「プログラミング・パラダイム」テストの問題と解答例（一部）を公開します。
(10/02) HaskellPlatform-2014.2.0.0-i386-setup.exe (32 bit), HaskellPlatform-2014.2.0.0-x86_64-setup.exe (64 bit) （大学内のコピー・香川大学内からのみアクセス可）をインストールしておいてください。大学外からは、Haskell Platform のダウンロードにアクセスしてください。

配布物など

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

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

リンク

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

Koji Kagawa