プログラミング言語論

2003年度 前期木曜日 1コマ
担当 香川考司
対象  工学部 RISE, IMSE 2年生以上・経済学部の一部
工学部・プログラミング言語論のホームページです。 受講者はこのページを随時チェックするようにしてください。

お知らせ

期末テストの解答

2003年度期末試験問題解答を公開します。

過去問

2002年度期末試験問題を公開します。 それ以前の年度については、昨年度のプログラミング言語論のページからたどって下さい。

プリント第7章の穴埋め

p.43: 関数型言語, 型推論, Standard ML, Caml, let,
p.44: rec, (cons 0 xs), パターンマッチング,
p.45: 強く型付けされた, 型推論, 実行時に, コンパイル時に, int list -> int, 型変数, 多相型, polymorphic type,

第2回レポート（7月10日）について

第 2 回レポート。 締切は期末テストの日（7月24日）です。

第1回実習（6月5日）について

MIT Schemeのインストール

まず、自分のノートパソコンに MIT Schemeをインストールしてください。

インストール方法はこのページの MIT Schemeのところを見てください。

使い方についてはMIT Schemeの使用法 を読んでください。

JavaScriptのインストール

このページの SpiderMonkeyのところを見て、SpiderMonkey（JavaScriptの処理系の一つ）もインストールしてください。 また、list.js（3.5節の関数定義）もダウンロードしておいてください。SpiderMonkeyを起動したら、最初に load("list.js")を実行してください。

本日の課題

  1. fact関数をSchemeで定義し、 自分の学籍番号の下3桁（s02t201なら 201）の階乗を計算せよ。
  2. 問 4.8.2 fibを（SchemeまたはJavaScriptで）定義せよ。

本日、提出してもらう必要はありませんが、これができないようだと、 レポートは絶対できないので、時間中にわからない点があれば 質問できるようにすること。

残った時間は、第 1 回レポートをやってください。 （目安として、インストールなどでトラブルがなかった人は、 このうち2問（1と2が簡単）くらいは本日の時間中に解けるはず。）

リンク

  1. ハノイの塔（Flash版）
  2. ハノイの塔（Java Applet版）
  3. 「プログラミング言語論」の配布物・資料
  4. 言語処理系ダウンロード （香川大学内限定）

教科書は特にありません。（プリントを配布します。）

参考書

Schemeの情報源

JavaScriptの情報源

その他の言語の情報源

Koji Kagawa (kagawa@eng.?????)