>>475
>>474 とか >>476 とかちゃんと読まないでレスするから
的外れかも知れないけど、SICPのコンパイラ作るところとか見た？
それを見れば分かるけど、 >>467 の場合、内側は普通の再帰のまま
外側はループになるよ。
で、>>467をいくら書き直して(例えばスタック使って強制的に)末尾再帰しても
実行効率とかメモリー効率が良くならないよ。