あほうの群像。

作用的順序(applicative order)

合成手続きを評価する場合にパラメータに変更した後の被演算子から評価する。

合成手続きの中に、同一パラメータが複数回出現しても１回しか評価されない。

正規順序(normal order)

合成手続きをすべて置き換えてから、全体を評価する。

答え合わせがしたかったので、解答を乗せてるサイトを探してみた。
全部呼んだのかと思うともう…。

http://pw1.atcms.jp/sicp/?SICP%2F%E8%87%AA%E5%88%86%E3%81%AE%E8%A7%A3%E7%AD%94

http://members.jcom.home.ne.jp/nitar/sicp/

問題1.4

われわれの評価モデルは、演算子が合成式である組み合わせでも使えることを観察せよ。それに従って、次の手続きの振る舞いを述べよ。

;°д°）＜　ｵﾃｱｰｹﾞ!
何をしたらよいのかがいまいち理解できず…。とりあえずトイレに行ってきた。

°▽°）＜戻ｯﾀ！

「われわれの評価モデル」…。「われわれ」に読者は含まれるのかどうか、少し気になる。
含まれているとすれば微妙に読者参加型コンテンツっぽくてあぁん＞（´▽`＊な感じではあるんだけど、英語で言うとわれら「われわれ」みたいなニュアンスはないのだろうということでファイナルアンサー。「われわれ」って言ってる人って実際は「われひとり」なことも多いので、「われの評価モデル」でいいんじゃないかと思う。

「演算子が合成式である組み合わせでも使えること」…。「演算子が合成式」はともかく、組み合わせって何の組み合わせ？

「観察せよ!」
ていわれても、暗記テスト対策メインの日本人的な学校教育(小中高)を受けてきたワタクシには何をしてよいのかわかりません！！！

´°д°`）＜じぃー　上から右から左から下から傾けて嘗め回すように！

※次の手続き

(define (a-plus-abs-b a b)
((if (> b 0) + -) a b))

´°▽°`）ﾉｼ 　＜　ｶﾞｯﾃﾝ！ｶﾞｯﾃﾝ！ﾜｶﾘﾏｼﾀ!!

この手続きはaとbの絶対値との和を返します。
なぜなら！手続きの名前が「a-plus-abs-b」だからです！！

★まとめ★

(if (> b 0) + -)て書いてあるので、「演算子は評価値としても扱えて、演算子の場所に(合成)式もいれてOKだから試してみんちゃい」というのが出題意図で、組み合わせは演算子と非演算子の組み合わせと解釈。で、観察。

´°д°`）＜ ｺﾚｶﾞ11ﾀﾞｰ！　((cond (#t +) (else -)) 5 6)

bが正の時には(+ a b)、負の時には(- a b)を返す。
ｽﾊﾞﾗｼｲ…、と。

思ってたんだけど、書いてて気づいた。

たぶん全然ちゃうわぁーー！！

「評価モデル」を観察なので、出題意図としては「試してみんちゃい」じゃなくて、
モデルとして入れていいかどうか、てことなんだろうか？

４ページ前の？
観察：
(a-plus-abs-b 3 5)

↓

((if (> 5 0) + -) 3 5)

↓

(+ 3 5)

↓

8

「置換えモデル」なので、合成式の演算子は基本演算子になるまで置換され、その後その式が評価されるので、作用するんだよ～、ということで良いの？

微妙。やっぱりわからんわ。
スルーする～！とりあえず放置する方向で。

あと、何か機会があったら後輩に「観察せよ！」って言ってみるよ。
フレーズ的に気に入ってしまったｗ。

【追記 2010/5/24】

ほかの人の解答を見て、やっぱり論点が間違ってることが判明。

３＋ａｂｓ（５）≠　８

明らかに違ってﾏｼﾀ（´･ω･`）＜ ｻﾞﾝﾈﾝ

3+abs(5)が34で、a-plus-abs-bがaとbの絶対値の和を返していないことに
まったく気がつかなかった。このｱﾎﾟﾝ。(´Д⊂ｸﾞｽﾝ

【追記 2010/6/21】

5/24の追記について。

３＋ａｂｓ（５）が、なんで３４なのかが意味不明ということに今気がついた。

が、たぶんsqrt(3)+sqrrt(5)が34ですな。ということにも今気がついた。

(´Д⊂ｸﾞｽﾝ

何を血迷ったのか「計算機プログラムの構造と解釈　第二版」を買ってみた。
そんなレベルのプログラム知識が必要な仕事なんてしないだろうにと思いつつも、興味本位で読んでみる。たぶん、挫折すると思う。１章読み終えられるかかなり疑問なんだけど、とりあえず。

【問題1.3】
(define (maxsq x y z)
(if (< x y)
(if (< x z) (+ (* y y) (* z z)) (+ (* y y) (* x x)))
(if (< y z) (+ (* x x) (* z z)) (+ (* x x) (* y y))))
)
(maxsq 5 26 1)

かっこを数え間違えて３０分＋問題を勘違いしていて３０分＋かっこの数が合わなくて３０分。
もう、馬鹿ですか、阿呆ですかと。
（※ 前置になれてなくて、ときどきx<yだったり、(<x y：スペースがない)だったりで時間喰ってる）
本日は自分が意外と(あるいは予想以上に)頭悪いとわかったのが一番の収穫です！！と叫びたい。これで間違えてて更に馬鹿だと判明したら、逆にすがすがしい気分になるんじゃないかと思う。

誰か採点して。