「純粋リファクタリング」をAIに証明させて自動マージする - Nature Engineering Blog

ご無沙汰です。CTOの大塚(@maaash)です。 「純粋リファクタリング」をAIに証明させて自動マージする AIエージェントを使うことになってコーディングのスピードが上がり、その前後のプロセスにかける時間が増えている話は 最近のAIの使い方 - 2026年1月編 で書きました。今日はその後ろ側、レビューをどう高速化するか、という話です。 GitHub のPRに /review_refactoring とコメントするとCIが動いてAIがレビューし、合格したら自動マージまで走る。 そんな仕組みを社内で回しはじめて、しばらくしたら効果がはっきり出てきました。 これはどこかイベントで話したいなあ、と思っていたところ、 ちょうどよくファインディさん主催の プロダクト開発、AIに丸ごと任せられるのか？Meet up！ AI時代のレビュー、どこまでどう任す？ があったので、LTしてきました。 その時の

[fuji_haruka]

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

[mkusaka]

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

[akasaka_34]

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

[razokulover]

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

[tmatsuu]

ほう