プログラミング言語特論 （2011年度）
2011年度 後期木曜日 1コマ
担当 香川考司
対象 大学院 （工学研究科・RISE）
工学研究科・プログラミング言語特論のホームページです。
受講者はこのページを随時チェックするようにしてください。
連絡事項
新しいものほど上に表示します。
- 期末試験は 2/09（木） 13:00〜になっています。
（場所: 6202教室）
- 第2回レポート （02/16 〆切）
- 第1回レポート （01/12 〆切）
-
10/27より 木曜日 3コマ、6302教室に移動します。
- 2010年度期末テストの問題と
解答例 （一部）を公開します。
配布物など
をクリックすると、Wappenというシステムが起動して編集・実行できます。（Haskellプログラムの場合、「実行」
をクリックすると、ユーザー名・パスワードを聞かれますので、
stfileのユーザー名・パスワードを入力して下さい。）
-
プリント第D章
JavaScript超簡単入門（01/12 配布）
-
プリント第8章
Continuation-Passing Style (CPS)（01/12 配布）
プリント第8章のプログラム
-
プリント第C章
Scheme超簡単入門（01/12 配布）
（空欄補完済版）
プリント第C章のプログラム
-
プリント第7章
接続 (continuation)（01/12 配布）
プリント第7章のプログラム
- プリント第B章
Prolog超簡単入門 （01/12 配布）
プリント第B章のプログラム
- Tokugawa.pl
(),
（B.1 徳川将軍家）
実行例: grandchild(X, ieyasu).
-
Append.pl
(),
（B.3 Prologでのリスト処理）
実行例: append(X, Y, [1,2,3]).
- プリント第6章
モナドと命令型言語の意味 （12/15 配布）
プリント第6章のプログラム
- Util共通:
Token.hs,
Target.hs,
- Util1:
RecType.hs,
RecParser.hs,
RecCompiler.hs,
RecMain.hs
- UtilErr:
RecType.hs,
CatchParser.hs,
RecCompiler.hs,
CatchMain.hs
-
いろいろなモナド:
Id.hs （Util1),
Err.hs (UtilErr),
ST.hs (UtilST),
IO.hs (UtilIO),
NonDet.hs （UtilNonDet),
- Utilコンパイラ（Web上で実行）
- プリント第5章
モナド（12/08配布）
プリント第5章のプログラム
- プリント第4章
型クラス（12/01配布）
プリント第4章のプログラム
- プリント第A章
Haskellのレイアウトルール （10/20 配布）
- プリント第3章
関数型言語Haskellとは （10/20 配布）
プリント第3章のプログラム
- プリント第2章
ラムダ計算 （pp.1–4 10/06 配布, pp.5–7 10/13 配布）
- プリント第1章
プログラミング言語の意味とは（10/06 配布）
インタラクティブなページ
リンク
Koji Kagawa