テクノロジー

「純粋リファクタリング」をAIに証明させて自動マージする - Nature Engineering Blog
2026/08/03 14:03 コメント 5件
1: tmatsuu 2026/08/06 00:52

ほう

2: razokulover 2026/08/06 05:47

現実はリファクタリング以外が死ぬほどあるため厳しい

3: fuji_haruka 2026/08/06 08:38

形式検証かと思ったら違った。しかしいずれにしてもリファクタリングであることの「証明」はかなり難しいと思う。

4: akasaka_34 2026/08/06 08:49

数学的に正しくてもオーバーフローで結果が変わったりするから現実のリファクタリングはそこまで純粋じゃないんだよね。任意精度を使えばいいんだろうけど。

5: mkusaka 2026/08/06 20:25

GitHub PRに`/review_refactoring`でAIが純粋リファクタリング判定し、passなら自動マージ（247件、$74.48/6月）。