>>791
「自己末尾再帰になっている」ことと、「それを効率的に計算する」ことは別だよ。
今時のGCCは、自己末尾再帰の最適化くらいやれるけど、それはCの言語仕様じゃなく
GCCが頑張っているだけ。scheme では仕様として自己末尾再帰になっていれば効率的に計算する。