このページおよびこのページからリンクされた情報は，2002年I-1期(4月から5月)にJAISTにて行った講義I211「プログラミング方法論」のTA大和谷 潔（現在アスケード（株））さんによって作成され，大和谷さんがSMLで実装したwebサーバ（補助情報2-1参照）上に公開されていたものです．MLプログラミングの参考になるものを多いと思われるので，作者の許可を得て，（提出レポートに関する講評などの不要な情報を削除し），ここに再掲します．大堀 淳．（このページの管理も現在大堀が行っています．）

I217: プログラミング方法論

講義情報

• 試験/レポート情報
  • 第一回 (5月8日 P.M. 12:00期限), 解答例
  • 第二回 (5月27日 P.M. 12:00期限)
  • 第三回 (6月8日 P.M. 12:00期限)

スタッフ

講師

大堀 淳

TA

大和谷 潔

TAによる補助情報

1. 関数型言語プログラミングの紹介
   1. 関数型言語処理系
   2. MLのチュートリアル
   3. 関数型言語の基礎理論
   4. 関数型言語の応用
      
2. Racoon Project
   MLでいくつかプログラムを作ってみましょう。 ("Racoon Project"(タヌキ計画)の名は、 カーネギーメロン大学の Fox Project をまねたものです。)
   1. MLでWebサーバを作成する
   2. MLでウィンドウマネージャを作成する
   3. MLで言語処理系を作成する。
3. 関連Webサイト