Page 1:
Page 2: パターンマッチ (補足)
Page 3: 今回の内容
Page 4: structure (1)
Page 5: structure (2)
Page 6: signature
Page 7: signature の適用 (1)
Page 8: signature の適用 (2)
Page 9: functor の定義
Page 10: functor と signature (1)
Page 11: functor と signature (2)
Page 12: functor と signature (3)
Page 13: 課題1 : MULTISET の別実装
Page 14: 課題2 : 銀行口座
Page 15: 課題3 (optional) : 連想配列
Page 16: 課題3 (optional) : 連想配列 : 例1
Page 17: 課題3 (optional) : 連想配列 : 例2
Page 18: 課題の提出方法
配布リスト1 : lecture4-1.ml
配布リスト1 : lecture4-2.ml