[{"data":1,"prerenderedAt":385},["ShallowReactive",2],{"content-\u002Fcontents\u002Fto-run-or-not-to-run-code-execution":3,"surroundPost-\u002Fcontents\u002Fto-run-or-not-to-run-code-execution":376},{"id":4,"title":5,"body":6,"createdAt":361,"description":362,"draft":363,"extension":364,"meta":365,"navigation":366,"path":367,"seo":368,"stem":369,"tags":370,"thumbnail":32,"updatedAt":361,"__hash__":375},"contents\u002Fcontents\u002Fto-run-or-not-to-run-code-execution.md","To Run or Not to Run: Analyzing the Cost-Effectiveness of Code Execution in LLM-Based Program Repair",{"type":7,"value":8,"toc":342},"minimark",[9,19,22,26,33,36,39,42,45,48,51,54,57,60,63,66,69,72,75,78,81,84,87,156,159,162,165,168,171,174,177,180,183,186,194,197,200,203,207,210,213,216,219,222,225,228,231,234,237,275,278,282,287,290,294,297,301,304,308,311,314],[10,11,12,13],"p",{},"元論文: ",[14,15,5],"a",{"href":16,"rel":17},"https:\u002F\u002Farxiv.org\u002Fabs\u002F2606.26978",[18],"nofollow",[10,20,21],{},"このページは、おい丸(AI)による要約・構成案をもとに、人間が確認・加筆するための論文まとめです。内容を正確に確認したい場合は、元論文もあわせて参照してください。",[23,24,25],"h2",{"id":25},"これは何の論文か",[10,27,28],{},[29,30],"img",{"alt":31,"src":32},"To Run or Not to Run のグラレコ","\u002Fimg\u002Fto-run-or-not-to-run-code-execution\u002Fgraphic-recording.png",[10,34,35],{},"コーディングエージェントを使っていると、かなり自然に「テストを走らせよう」という判断になる。",[10,37,38],{},"実行すれば、エラー、ログ、テスト結果が返ってくる。モデルはそれを見て修正を続けられる。いまのプログラム修復エージェントでは、コードを直し、実行し、失敗を見て、また直す、という流れがほとんど標準になっている。",[10,40,41],{},"ただし、実行は無料ではない。テスト環境を用意する必要があり、コマンドが終わるまで待つ必要があり、長いログをモデルに読ませることでトークンも使う。",[10,43,44],{},"この論文は、その実行が本当に成功率に見合うだけの価値を持つのかを調べる。対象は、SWE-bench 上のプログラム修復タスクだ。著者らは、公開されている 7,745 件のエージェント実行記録と、200 件の SWE-bench 課題に対する 3,000 回の修復試行を分析している。",[10,46,47],{},"結論はかなり実務的だ。コード実行は役に立つことがある。しかし、現在のエージェントは実行を広く使いすぎており、多くの場面ではコストに見合う改善を生んでいない。実行はデフォルト能力ではなく、明示的な費用対効果を持つ資源として扱うべきだ、というのがこの論文の主張である。",[23,49,50],{"id":50},"何が問題だったのか",[10,52,53],{},"コード実行は、直感的には強い。テストが通れば安心できるし、落ちれば修正の手がかりが得られる。",[10,55,56],{},"しかし、プログラム修復エージェントでの実行には、少なくとも三つのコストがある。",[10,58,59],{},"一つ目は時間だ。テストやビルドは、数秒で終わることもあれば、数分から数十分かかることもある。エージェントが何度も実行すれば、その待ち時間はそのまま作業時間になる。",[10,61,62],{},"二つ目はトークンだ。実行コマンド、ログ、エラー、スタックトレースをモデルに読ませるには文脈の容量を使う。ログが長いほど、推論に使える余白も減る。",[10,64,65],{},"三つ目は環境維持のコストだ。実際にテストを走らせるには、対象リポジトリごとに依存関係や実行環境を整える必要がある。大規模に運用するなら、これはかなり重い。",[10,67,68],{},"それでも既存研究では、コード実行を「あるのが当然の部品」として扱うことが多かった。モデル、プロンプト、探索手法、SWE-bench の成績は比較されるが、実行そのものがどれだけ効いているかは分けて測られていなかった。",[10,70,71],{},"この論文は、そこを切り分けようとする。エージェントの枠組みは固定し、実行へのアクセスだけを変えることで、実行が追加でどれくらい価値を生むのかを見る。",[23,73,74],{"id":74},"提案手法の中身",[10,76,77],{},"論文の中核は、新しいエージェントを作ることではなく、コード実行の価値を切り分ける実験設計にある。",[10,79,80],{},"まず、著者らは SWE-bench leaderboard に残っている公開実行記録を分析する。対象は SWE-agent、OpenHands、LiveSWEAgent、Mini-SWE-agent などのエージェントと、GPT 系、Claude 系、Gemini、Kimi、Qwen、DeepSeek などのモデルである。ここでは、エージェントがどれくらい頻繁にテストを実行しているか、会話のどの段階で実行しているか、実行後に成功へつながっているかを見る。",[10,82,83],{},"次に、制御実験を行う。200 件の SWE-bench 課題に対して、Claude Code、Codex CLI、OpenCode の三つのエージェントを使い、実行アクセスの条件だけを変える。",[10,85,86],{},"実行条件は大きく四種類ある。",[88,89,90,103],"table",{},[91,92,93],"thead",{},[94,95,96,100],"tr",{},[97,98,99],"th",{},"条件",[97,101,102],{},"内容",[104,105,106,118,136,146],"tbody",{},[94,107,108,115],{},[109,110,111],"td",{},[112,113,114],"code",{},"Prohibited",[109,116,117],{},"プロジェクト固有のテストやスクリプト実行を避けるよう指示し、依存関係も入れない。",[94,119,120,125],{},[109,121,122],{},[112,123,124],{},"Quota-Limited",[109,126,127,128,131,132,135],{},"実行回数に予算を置く。論文では ",[112,129,130],{},"K=1"," と ",[112,133,134],{},"K=3"," を見る。",[94,137,138,143],{},[109,139,140],{},[112,141,142],{},"Budget-Guided",[109,144,145],{},"実行は許すが、コストを意識するよう促す。",[94,147,148,153],{},[109,149,150],{},[112,151,152],{},"Unrestricted",[109,154,155],{},"実行制限なし。現在の一般的なエージェント運用に近い。",[10,157,158],{},"ここで重要なのは、探索、ファイル読み取り、コード編集のような安い操作は制限しないことだ。制限するのは、テストフレームワークや Python スクリプトのように、実際にコードを走らせて実行結果を得る操作である。",[10,160,161],{},"つまり、この論文は「エージェントループが不要」と言っているのではない。ループは残したまま、その中の高コストな実行だけを変えて、どこまで結果が変わるかを見ている。",[23,163,164],{"id":164},"どうやって確かめたのか",[10,166,167],{},"評価は二段階で行われている。",[10,169,170],{},"第一段階では、SWE-bench leaderboard の公開実行記録 7,745 件を使う。ここでは、エージェントがどのくらい実行を使っているかを観察する。平均で見ると、1タスクあたり 8.8 回のテスト実行が行われていた。実行回数はエージェントやモデルによってかなり違い、少ない構成では 2 回程度、多い構成では 19 回近くになる。",[10,172,173],{},"第二段階では、SWE-bench Lite と SWE-bench Verified から、それぞれ先頭 100 件ずつ、合計 200 件を使う。Claude Code、Codex CLI、OpenCode の三つのエージェントで、実行条件を変えながら合計 3,000 回の修復を行う。",[10,175,176],{},"評価では、修復に成功したかだけでなく、トークン使用量、実行時間、実行のタイミング、失敗したときにエージェント自身の検証では通っていたか、公式評価ではどうだったかを見る。",[10,178,179],{},"この設計により、「実行できるエージェントは強い」という単純な比較ではなく、同じエージェントで実行権限だけを変えたときに何が起きるかを確認している。",[23,181,182],{"id":182},"結果はどうだったのか",[10,184,185],{},"第一に、コード実行は広く使われていた。調べたエージェントとモデルの組み合わせでは、すべてで実行が使われていた。さらに、後半の実行ほど成功につながりやすい傾向があった。たとえば OpenHands と Claude 3.5 Sonnet の組み合わせでは、序盤の実行よりも後半の実行の方が成功率が高かった。",[10,187,188,189,131,191,193],{},"第二に、実行制限は成功率を大きく下げなかった。商用エージェントでは、",[112,190,114],{},[112,192,152],{}," の成功率差は 1.25 ポイントにとどまり、統計的にも有意ではなかった。Claude Code では、実行を禁止した条件が、トークンを 56〜62%、時間を 48〜54% 節約したと報告されている。",[10,195,196],{},"第三に、実行の効果は一様ではなかった。すべての課題で少しずつ効くというより、一部の課題に効果が集中していた。多くの成功例は一回の編集で終わっており、実行がなくても問題箇所の特定精度は高かった。",[10,198,199],{},"一方で、失敗例を見ると別の問題が見える。商用エージェントでは、失敗したケースの多くが、エージェント自身の選んだ検証では通っていたのに、公式の SWE-bench 評価では落ちていた。これは、単に「テストを走らせる」だけでは足りず、どのテストを走らせるかが重要だということを示している。",[10,201,202],{},"OpenCode と Qwen2.5-Coder-32B ではまた違う傾向があり、無制限に実行するよりも、一回だけよく選んで実行する条件の方が良い場面があった。つまり、実行は多ければ多いほどよいわけではない。",[23,204,206],{"id":205},"限界注意点","限界・注意点",[10,208,209],{},"この論文の結果は、SWE-bench 上のプログラム修復を対象にしている。したがって、すべてのソフトウェア開発作業にそのまま当てはまるわけではない。",[10,211,212],{},"たとえば、セキュリティ修正、性能改善、仕様変更、画面操作を含むタスクでは、実行や確認の意味が変わる可能性がある。また、今回の実験は 200 件の SWE-bench 課題を使っており、より大きな範囲や別の言語、別の実行環境では結果が変わるかもしれない。",[10,214,215],{},"もう一つの注意点は、実行を禁止することが常に良いわけではないことだ。論文の主張は「実行するな」ではない。むしろ、実行を資源として扱い、どの場面で使う価値があるかを判断すべきだ、という主張である。",[10,217,218],{},"特に、実行結果が公式評価やユーザー意図をきちんと代表していない場合、テストが通ったという信号はむしろ危ない。エージェントが自分で選んだ検証に合格しても、実際の要求を満たしているとは限らない。",[23,220,221],{"id":221},"おい丸のようなエージェントにどう使えるか",[10,223,224],{},"作業支援エージェントでは、テスト、型チェック、ビルド、スクリーンショット、E2E など、実行系の確認がたくさんある。",[10,226,227],{},"この論文から引ける実務上の教訓は、確認を減らすことではなく、確認を選ぶことだと思う。",[10,229,230],{},"小さな文言修正や、静的に読めば十分な差分なら、重い実行を毎回走らせる必要はない。一方で、共有部品、データ変換、ユーザー入力、外部API、状態更新に触るなら、実行コストを払う価値は高くなる。",[10,232,233],{},"また、実行するなら「何を確認したいのか」を先に決めた方がよい。なんとなく全部走らせるのではなく、今回の変更で壊れそうな場所に近い確認を選ぶ。通った結果も、公式評価やユーザー要求とずれていないかを見る。",[10,235,236],{},"つまり、コーディングエージェント運用では、次の三つを分けるとよい。",[88,238,239,249],{},[91,240,241],{},[94,242,243,246],{},[97,244,245],{},"判断",[97,247,248],{},"問い",[104,250,251,259,267],{},[94,252,253,256],{},[109,254,255],{},"実行するか",[109,257,258],{},"その実行は、いまの不確実性を本当に減らすか。",[94,260,261,264],{},[109,262,263],{},"何を実行するか",[109,265,266],{},"変更箇所に近い、信頼できる検証になっているか。",[94,268,269,272],{},[109,270,271],{},"いつ止めるか",[109,273,274],{},"実行結果が新しい情報を増やしているか、それとも同じ失敗を繰り返しているか。",[10,276,277],{},"この見方は、AI エージェントに限らず、人間がテストを選ぶときにも使える。全部走らせる安心感ではなく、いま必要な確認を選ぶ力が大事になる。",[23,279,281],{"id":280},"qa","Q&A",[283,284,286],"h3",{"id":285},"q-この論文はテストを走らせるなと言っているの","Q. この論文は「テストを走らせるな」と言っているの？",[10,288,289],{},"違う。テスト実行は役に立つが、常に走らせればよいわけではない、という話。実行には時間、トークン、環境維持のコストがあるので、どの場面で価値があるかを判断する必要がある。",[283,291,293],{"id":292},"q-実行を禁止しても成功率がほとんど下がらなかったのはなぜ","Q. 実行を禁止しても成功率がほとんど下がらなかったのはなぜ？",[10,295,296],{},"論文の対象では、商用エージェントが実行なしでも問題箇所をかなり高い精度で見つけられていた。また、多くの成功例は一回の編集で終わっており、実行による反復改善が必要ないケースも多かった。つまり、実行の価値がある課題と、ほとんど価値がない課題が混ざっている。",[283,298,300],{"id":299},"q-ではどんなときに実行した方がよい","Q. では、どんなときに実行した方がよい？",[10,302,303],{},"変更の影響範囲が広いとき、静的に読んでも挙動が分かりにくいとき、テスト結果が本当に要求を代表しているときは、実行する価値が高い。逆に、実行しても長いログが増えるだけで、次の判断が変わらないなら、実行コストに見合わない。",[283,305,307],{"id":306},"q-エージェント自身の検証が通っても公式評価で落ちるのは何が問題","Q. エージェント自身の検証が通っても公式評価で落ちるのは何が問題？",[10,309,310],{},"エージェントが選んだテストが、実際に満たすべき条件を代表していない可能性がある。これは「実行したから正しい」ではなく、「何を実行したか」が重要だということ。検証信号の質を見ないと、テスト実行は安心材料に見えても誤った確信になりうる。",[23,312,313],{"id":313},"関連する記事",[315,316,317,324,330,336],"ul",{},[318,319,320],"li",{},[14,321,323],{"href":322},"\u002Fcontents\u002Fllm-benchmark-map","LLM・AIエージェント論文でよく見るベンチマークの読み方",[318,325,326],{},[14,327,329],{"href":328},"\u002Fcontents\u002Fprobe-and-refine-repository-guidance","コーディングエージェント向けリポジトリ案内文の改善",[318,331,332],{},[14,333,335],{"href":334},"\u002Fcontents\u002Fcode-as-agent-harness","コードをエージェントハーネスとして見る論文",[318,337,338],{},[14,339,341],{"href":340},"\u002Fcontents\u002Fwhat-makes-a-harness","エージェントハーネスの条件を整理する論文",{"title":343,"searchDepth":344,"depth":344,"links":345},"",2,[346,347,348,349,350,351,352,353,360],{"id":25,"depth":344,"text":25},{"id":50,"depth":344,"text":50},{"id":74,"depth":344,"text":74},{"id":164,"depth":344,"text":164},{"id":182,"depth":344,"text":182},{"id":205,"depth":344,"text":206},{"id":221,"depth":344,"text":221},{"id":280,"depth":344,"text":281,"children":354},[355,357,358,359],{"id":285,"depth":356,"text":286},3,{"id":292,"depth":356,"text":293},{"id":299,"depth":356,"text":300},{"id":306,"depth":356,"text":307},{"id":313,"depth":344,"text":313},"2026-06-29","コーディングエージェントにテスト実行をいつ許すべきかを、成功率とコストの両面から考える論文。",false,"md",{},true,"\u002Fcontents\u002Fto-run-or-not-to-run-code-execution",{"title":5,"description":362},"contents\u002Fto-run-or-not-to-run-code-execution",[371,372,373,374],"論文まとめ","コーディングエージェント","エージェント実行環境","評価","Z9cnQaI4k8McfZxzyo-zEjrM-ixhaM-kUE2_DjqffjE",[377,381],{"title":378,"path":379,"stem":380,"children":-1},"PyTorchでTensorBoardを使う方法","\u002Fcontents\u002Ftensorboard","contents\u002Ftensorboard",{"title":382,"path":383,"stem":384,"children":-1},"TokenPilot: Cache-Efficient Context Management for LLM Agents","\u002Fcontents\u002Ftokenpilot-context-management","contents\u002Ftokenpilot-context-management",1782772926364]