Entries

スポンサーサイト

上記の広告は1ヶ月以上更新のないブログに表示されています。
新しい記事を書く事で広告が消せます。


人気blogランキングへ
この記事に対してトラックバックを送信する(FC2ブログユーザー)
http://fkmn.blog69.fc2.com/tb.php/35-8660170e

-件のトラックバック

-件のコメント

[C682] 承認待ちコメント

このコメントは管理者の承認待ちです

[C684] 承認待ちコメント

このコメントは管理者の承認待ちです

[C686] 承認待ちコメント

このコメントは管理者の承認待ちです

コメントの投稿

投稿フォーム
投稿した内容は管理者にだけ閲覧出来ます

SICP 問題 1.5


(define (p) (p))

(define (test x y)
(if (= x 0)
0
y))

(test 0 (p))

; 作用的順序
(test 0 (p))
;=>
(test 0 (p))
;=>
(test 0 (p))
;=>.....
; (p) = (p) なので、以下、延々と評価がループする
; 実際、この式は無限ループになり,評価できない。


; 正規順序
(test 0 (p))
;=>
(if (= 0 0)
0
(p))
;=>
(if #t
0
(p))
;=>
0
スポンサーサイト


人気blogランキングへ
この記事に対してトラックバックを送信する(FC2ブログユーザー)
http://fkmn.blog69.fc2.com/tb.php/35-8660170e

0件のトラックバック

3件のコメント

[C682] 承認待ちコメント

このコメントは管理者の承認待ちです

[C684] 承認待ちコメント

このコメントは管理者の承認待ちです

[C686] 承認待ちコメント

このコメントは管理者の承認待ちです

コメントの投稿

投稿フォーム
投稿した内容は管理者にだけ閲覧出来ます

上記広告は1ヶ月以上更新のないブログに表示されています。新しい記事を書くことで広告を消せます。