- なあ、再帰関数好きな人いる？ パート2 [転載禁止]©2ch.net
573 ：デフォルトの名無しさん[sage]：2015/10/14(水) 12:22:32.92 ID:11T78Kgm - ループというか副作用使うとホーア論理で証明するしかないんじゃないか。
項書換えによる証明より準備がいるわな。
末尾再帰はループに展開されるというより、goto/setjmp系の何かに変換されるイメージ。
そういやループ中の不変な結果はループ外に追い出す最適化があるけど、再帰で似たようなことってやってるのかな
|
|