もう終わったようだが
>>652
> >>571はスタックをアルゴリズム的な意味として指してたが、
> それを>>570は実装側の話に固着して話を進めて場を混乱させた。

これは逆だろ．
>>570はヒープ上に計算すべき式が構成されていく（accumlatorのことね）
のも概念的なスタックの伸長とみなしていたけど，>>571は
処理系の実装がスタック領域を使用しているかどうかを基準にしていた
と思う．