問題 1.5Ben Bitdiddleは, 彼の対面している解釈系が, 作用的順序の評価を使っているか, 正規順序の評価を使っているか決定するテストを発明した. 次の二つの手続きを定義した: (define (p) (p))(define (test x y) (if (= x 0) 0 y)) 彼は次に式 (test 0 (p…