まえの日記で関数呼出しが末尾呼出しか評価時にチェックすると書いたが，実際はチェックの結果で処理は変えていない。というのも，関数f内の関数呼出し(g x)が末尾呼出しであったなら，(g x)の継続は関数fの呼出しの継続となるように実装していたから。 ただ…