>>472
すみません、もうちっとねばらしてください。 >>467 を
ループで書くとこんな感じに書けると思うのですが、
だめですか？

(define (for-each-pair f g pair r)
(do ((pair pair (cdr pair))
(r r (for-each-pair f g (car pair) r)))
((not (pair? pair)) (if (null? pair) r (g (f pair) r)))))

要は、処理系が末尾再帰と認識して、ループに変換して
くれるかどうかが知りたいのですが。