[GB12901] ソフトウェア技法
- 担当教員:
亀山 幸義 (kam[at]s.tsukuba.ac.jp; #を@に換えてください)
- 担当TA (水曜担当): 大倉 (taop[at]logic.cs.tsukuba.ac.jp )
- 担当TA (金曜担当): 佐藤 (taop[at]logic.cs.tsukuba.ac.jp )
- 時間: 春C 火曜3-4, 金曜3-4
- 場所: 初回は 3A203, 2回目以降は 3C113 (情報科学類計算機室)
- manabaシステムのページ
- シラバス
最新ニュース
- [2019/07/04] 今年度の授業は 7/5(金) から始まります.
初回のみ 3A203教室に集合してください.その後は 3C113教室になります.
講義資料
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(金) フォローアップ
演習の準備
- tuaregモードの使いはじめ
.emacsに追加する内容を書いたファイル
(同じものは ~kam/taop/append-tuareg-coins.el にもある。)
- 演習ファイルは coinsマシンの ~kam/taop の下にあります。(taop
は、授業英語名称の The Art of Programming のイニシャル)。
必要に応じてコピーして使ってください。
- テキストの第N章のプログラムをいれたファイルは coinsマシンの
~kam/taop/sectionN.ml というファイル名です。(Nは1以上の整数)
ただし,テキスト通りではなく、エラーを発生する式をコメントアウトする等の若干の修正をしています。)
参考資料
亀山 幸義 (kam[at]cs.tsukuba.ac.jp, この授業についての問い合わせは
taop[at] logic.cs.tsukuba.ac.jp あてに出してください。)