[GB12901] ソフトウェア技法

最新ニュース

講義資料

2019年度のテキストは manabaに置きます.

2019年度のスケジュール(予定)

以下の予定は,変更することがあります.
7/5(金)		No.1	起動と終了、変数と関数
7/9(火)		No.2	基本データ型
7/12(金)	No.3	自然数上の再帰関数
7/16(火)	No.4	リスト上の再帰関数
7/19(金)	なし
7/23(火) 	proj    ミニプロジェクトその1 (前半)
7/26(金)	No.5    型システム
7/30(火)	No.6    代数データ型
8/02(金) 	proj 	ミニプロジェクトその2 (後半)
8/06(火)	発展的な話題とフォローアップ
8/09(金)	フォローアップ

演習の準備

  1. tuaregモードの使いはじめ .emacsに追加する内容を書いたファイル (同じものは ~kam/taop/append-tuareg-coins.el にもある。)
  2. 演習ファイルは coinsマシンの ~kam/taop の下にあります。(taop は、授業英語名称の The Art of Programming のイニシャル)。 必要に応じてコピーして使ってください。
  3. テキストの第N章のプログラムをいれたファイルは coinsマシンの ~kam/taop/sectionN.ml というファイル名です。(Nは1以上の整数) ただし,テキスト通りではなく、エラーを発生する式をコメントアウトする等の若干の修正をしています。)

参考資料


亀山 幸義 (kam[at]cs.tsukuba.ac.jp, この授業についての問い合わせは taop[at] logic.cs.tsukuba.ac.jp あてに出してください。)