グラフ書き換え理論って必然的に"Call by name"になるの？

いちおう末尾再帰してるはずです… (Schemeで本当に末尾再帰してるかどうか調べるにはどうすればいいだろう？) (define (erathos upper-bound) (define (iter-erthos x xs) (define (divine? a) ((compose zero? modulo) x a)) (if (> x upper-bound) xs (if …