全ての再帰は、ループ処理で書き換えられる。　再帰定理とかいうのがある。