高校数学の窓LaTeX版: Scheme入門第３章真偽を見極める

第３章では、「真」「偽」についてのお話。真とは要するに true のことで、偽とは false のことです。第２章で以下のような手続きを紹介だけしました。

= 等しい

< より大きい

> より小さい

<= 以上

>= 以下

実際に試してみましょう・・・ではまず、実用的には全く意味のないことですが、1 と 1 が等しいことを確認してみます。


(display (= 1 1))

実行すると次のように出力されます。

#t

等しくないときも試してみましょう。


(display (= 1 2))

実行すると次のように表示されます。

#f

この #t と #f が
「真」「偽」と呼ばれる者たちです。正しいときは #t（真）、正しくないときは #f（偽）と考えれば良いです。ちなみに (display #t) とかやると #tが表示されるのは言うまでもなく。

さて、この真偽値を返す手続きは、他にも色々あります。例えば・・・

zero? 値が0であるか調べる

boolean? 値が真偽値であるか調べる

string? 値が文字列であるか調べる

number? 値が数値であるか調べる

integer? 値が整数であるか調べる

eq? 値が等しいか調べる

eqv? 値が等しいか調べる

equal? 値が等しいか調べる

例えば 1.5 は数値なので number? は #t を返しますが、整数ではありませんので integer? は #f を返します。


(display (number? 1.5))
(display (integer? 1.5))

実行結果：


#t#f

ところで、値が等しいかどうかを調べる手続きが、なんと３つもあります。eq?, eqv?, equal? です。さらに = も値が等しいかを調べる手続きでした。どのように使い分けるのでしょう？

まず第一に = は数値専用です。文字列とか真偽値の比較には使えません。それに対して eq?, eqv?, equal? はどんな値の比較も出来ますが、数値を比較する場合はやはり = を使うべきです。例えば 1 と 1.0 を比較すると、= は期待通り #t を返しますが、eq?, eqv?, equal? は #f を返してしまいます。型が異なるためです。要するに数値は = で比較しろということです(※1)。