ほう
現実はリファクタリング以外が死ぬほどあるため厳しい
形式検証かと思ったら違った。しかしいずれにしてもリファクタリングであることの「証明」はかなり難しいと思う。
数学的に正しくてもオーバーフローで結果が変わったりするから現実のリファクタリングはそこまで純粋じゃないんだよね。任意精度を使えばいいんだろうけど。
「純粋リファクタリング」をAIに証明させて自動マージする - Nature Engineering Blog
ほう
現実はリファクタリング以外が死ぬほどあるため厳しい
形式検証かと思ったら違った。しかしいずれにしてもリファクタリングであることの「証明」はかなり難しいと思う。
数学的に正しくてもオーバーフローで結果が変わったりするから現実のリファクタリングはそこまで純粋じゃないんだよね。任意精度を使えばいいんだろうけど。