＞アルゴリズムの範疇になるかと思いますが、
＞上のC言語での階乗計算を自己末尾再帰で表現することは可能ですよね？
＞Schemeの再帰は実行効率を考えて自己末尾再帰が採用されているという
＞ことですよね。

何かを勘違いしている予感。