24. 真偽値 (2)
真が λtf.t、偽が λtf.f だったとして、
if cond then x else y を、cond x y とする
cond に真を入れてみる
((λtf.t) x) y
(λf.x) y
x
cond に偽を入れてみる
((λtf.f ) x) y
(λf.f ) y
y
真偽値として働いている!
27. 足し算してみる
.
add 関数
.
λmn.λsz.m s (n s z)
.
1. 自然数 m は λsz.s (s (. . . (s z) . . . )) の形を
している (s は m 個)
2. 自然数 n は λsz.t の形をしている
(t には n 個の s が含まれる)
3. 自然数 m の z 部分を n の t 部分に入れ替え
れば、足し算ができる!
28. 2+3
1. (λmn.λsz.m s (n s z)) (λsz.s (s z)) (λsz.s (s (s z)))
2. (λn.λsz.(λsz.s (s z)) s (n s z)) (λsz.s (s (s z)))
3. λsz.(λsz.s (s z)) s ((λsz.s (s (s z))) s z)
29. 掛け算してみる
.
mul 関数
.
λmn.λsz.m (n s) z
.
1. 自然数 n は λsz.s (s (. . . (s z) . . . )) の形をし
ている (s は n 個)
2. 自然数 n に s だけ適用したものは、引数に s
を n 回適用する関数になる
3. それを自然数 m の s として渡すので、s を
n 回適用したものが m 個作られる
4. それに z を渡してあげれば、
m と n を掛け合わせた結果の自然数になる!
35. 真偽値の導入
ついでに真偽値も導入しましょう。
true と λtf.t を、f alse と λtf.f を対応付けます。
if-then-else も導入しましょう。
とりあえず、if cond then x else y を、cond x y
に対応付けましょう。
.
if-then-else を使った例
.
λ
. bmn.if b then m + n else m ∗ n
b が真なら m + n を、偽なら m ∗ n を計算する
関数