プログラミング言語特論 第1回レポート

プリントの

1. 問2.6.3
   このうち、1(zero), 2(mult) を必須とします。 できる人は3(pred),4(sub)にもチャレンジして下さい。
2. 問2.6.6
3. append (append xs ys) zs = append xs (append ys zs) を xs に関する帰納法で証明せよ。ただし appendは、 プリント Ⅲ章 p.6で定義されている関数である。

できるだけ短く簡潔におさめて下さい。 手書きでも構いません（特に問2.6.3, 2.6.6）。 コンピュータを使う場合は ΤΕΧを推奨します。

提出は、11月24日の授業時間です。