再帰

実際問題、
「（末尾再帰ではない）再帰→スタック＋ループ」
変換は機械的に可能でしょうか？