- 210 名前：デフォルトの名無しさん mailto:sage [2008/04/14(月) 00:28:47 ]
- >>152
total functionは、全ての実引数に対して値が定義されている関数。
partial functoinは、値の定義されてない実引数のある関数。
具体例は、
(define (f x)
(if (= x 1) 1
(f (- x 1))))
定義域を自然数だとするとtotal function。
整数だとするとpartial function。
負の数の時に停らないあるいは値が未定義だから。
(define (f x) (/ 1 x))もxが0だと駄目だからpartial function。
