回答編集履歴
1
まちがえた
answer
CHANGED
|
@@ -10,3 +10,5 @@
|
|
|
10
10
|
|
|
11
11
|
【例3】
|
|
12
12
|
> λ _f_. λ _n_. if _n_ = 0 then 0 else _f_(_n_ - 1) + _n_
|
|
13
|
+
|
|
14
|
+
……間違えた。「与えられた数までの自然数の総和」になってますね。まあ実際の実現方法を示すのが目的ではないようなので、これでもいいでしょう。
|