>>613
2行目は間違いだが、これは少し微妙だな。

> 「再帰の際の環境をスタックに保存するか、ヒープに保存するか？」とか
1) 再帰の際の環境とは何？
2) 「ヒープに保存する」ものは結局スタックであって、そのヒープ上の
スタックが大きくなりすぎたときに起こるのはスタックオーバーフローというべきもなんじゃないか？
3) 末尾再帰でなくてもスタックオーバーフローが起こらない処理系なんてものが
存在しないとすれば、実装依存云々というのは、意味のある議論だとは思えない。