論文の概要: Jas: AI-Paired Engineering as a Revival of N-Version Programming

• arxiv url: http://arxiv.org/abs/2606.07828v1
• Date: Fri, 05 Jun 2026 20:30:08 GMT
• ステータス: 翻訳完了
• システム内更新日: 2026-06-09 14:42:05.46996
• Title: Jas: AI-Paired Engineering as a Revival of N-Version Programming
• Title（参考訳）: Jas: N-Version Programmingの復活としてのAIペアエンジニアリング
• Authors: Jason Hickey,
• Abstract要約: Rust、Swift、OCaml、Python、ブラウザベースのプラットフォームにまたがるベクトルインジケータアプリケーションの5つの動作ポート。 本報告では, 単一開発者ケーススタディの具体的アーティファクトと正直な限界について報告する。
• 参考スコア（独自算出の注目度）: 0.0
• License: http://creativecommons.org/licenses/by/4.0/
• Abstract: I report a case study in AI-paired software engineering: five working ports of a vector illustration application across Rust, Swift, OCaml, Python, and browser-based platforms, built by a single developer in approximately 120 evening hours. The methodology pairs AI-assisted implementation with two safeguards -- a precise executable YAML specification serving as the single source of truth, and parallel implementations functioning as a built-in differential-testing layer. The five ports share a 23{,}000-line specification; per-port native code ranges from 0 to roughly 95{,}000 lines, reflecting the specification's escape hatch. I argue that AI-paired engineering, conditional on these two safeguards, makes feasible scope of work that conventionally requires multiple developer-years, and frame the methodology as a revival of N-version programming, a 1980s approach abandoned on cost grounds that AI changes. The paper reports concrete artifacts and honest limitations of the single-developer case study.
• Abstract（参考訳）: Rust、Swift、OCaml、Python、ブラウザベースのプラットフォームにまたがるベクターイラストアプリケーションの5つの動作ポートは、1人の開発者が約120夕に構築しました。 この方法論は、AI支援実装と2つのセーフガード – 真実の単一ソースとして機能する正確な実行可能なYAML仕様と、組み込みの差分テスト層として機能する並列実装 – を組み合わせる。 5つのポートは23{,}000行の仕様を共有しており、ポートごとのネイティブコードは0から約95{,}000行の範囲であり、仕様のエスケープハッチを反映している。 この2つのセーフガードの条件付きAIペアエンジニアリングは、従来は複数の開発者年を必要とする作業の範囲を可能とし、その方法論をNバージョンプログラミングの復活と位置づけている、と私は主張する。 本報告では, 単一開発者ケーススタディの具体的アーティファクトと正直な限界について報告する。

関連論文リスト

• Reversa: A Reverse Documentation Engineering Framework for Converting Legacy Software into Operational Specifications for AI Agents [0.0]
  本稿では,レガシソフトウェアをAIエージェントのトレーサブルな運用仕様に変換するためのリバースドキュメンテーションエンジニアリングフレームワークであるReversaを紹介する。 特殊なエージェントは、プロジェクト表面をマッピングし、モジュールを分析し、暗黙のルールを抽出し、アーキテクチャを合成し、ユニットレベルの仕様を書き、生成されたクレームをレビューする。 提案では,コードと仕様間のトレーサビリティ,明確な信頼性マーキング,人間の検証のためのギャップの保存という,3つのメカニズムを強調している。
  論文  参考訳（メタデータ） (2026-05-18T17:23:13Z)
• From I/O to Code with Discovery Agent [103.88427301265669]
  IO2Codeの発見エージェントであるDIO-Agentを提案する。 本手法は,プログラム空間上の進化的探索としてIO2Codeをフレーム化する。 大規模な実験により、DIO-Agentは従来のプログラムバイサンプル法とSOTA進化エージェントベースラインの両方を一貫して上回っていることが示された。
  論文  参考訳（メタデータ） (2026-05-14T18:57:32Z)
• AcademiClaw: When Students Set Challenges for AI Agents [69.70303995121154]
  AcademiClaw(アカデミクロー)は、大学生の実際の学術的切断から直接引き出された80の複雑な長い水平タスクのベンチマークである。 最高のモデルでさえ、55%のパスレートしか達成できないことを示す。 AcademiClawとそのオープンソースデータとコードが、OpenClawコミュニティにとって有用なリソースになることを願っています。
  論文  参考訳（メタデータ） (2026-05-04T14:40:42Z)
• The Productivity-Reliability Paradox: Specification-Driven Governance for AI-Augmented Software Development [0.0]
  コントロールされた研究によると、よくスコープされたタスクで生産性が20～56%向上し、最も厳格なRCT文書は経験豊富な開発者にとって19%の減速を報告している。 10,000人以上の開発者を対象としたテレメトリでは、プルリクエストが98%増加したが、フラットなデリバリメトリクスによるレビュー時間が91%長かった。 本稿では,非決定論的コードジェネレータから生じる系統的な現象と,仕様の不十分な規律であるProductivity-Reliability Paradox(PRP)について論じる。
  論文  参考訳（メタデータ） (2026-05-01T23:37:50Z)
• Agentic AI in the Software Development Lifecycle: Architecture, Empirical Evidence, and the Reshaping of Software Engineering [0.0]
  現代のエージェントシステムは、リポジトリ、機能、アルゴリズムの粒度で機能する。 本稿ではエージェントソフトウェア工学システムのための6層参照アーキテクチャを提案する。 調査の中心的な対象は、コード生成から人事監督下での委任執行へと移行したと論じる。
  論文  参考訳（メタデータ） (2026-04-29T04:06:47Z)
• Workstream: A Local-First Developer Command Center for the AI-Augmented Engineering Workflow [0.0]
  プルリクエスト、タスク管理、カレンダ、AIによるコードレビュー、履歴レビューインテリジェンス、レポジトリAI対応スコアリング、エージェントオブザーバビリティを単一のインターフェースに集約する、オープンソースのローカルファーストの開発者コマンドセンタであるWorkstreamを紹介します。 システムアーキテクチャ、新しい5カテゴリAI準備度スコアリングアルゴリズム、チーム固有のパターンの歴史的PRレビューをマイニングするレビューインテリジェンスパイプライン、モデルコンテキストプロトコル(MCP)、エージェント・ツー・エージェント(A2A)、エージェント・オブザーバビリティ・プロトコル(AOP)を実装するエージェント・オブザーバビリティ・レイヤについて説明する。
  論文  参考訳（メタデータ） (2026-04-18T16:24:29Z)
• "TODO: Fix the Mess Gemini Created": Towards Understanding GenAI-Induced Self-Admitted Technical Debt [2.571080266714288]
  GenAI-induced Self-admitted Technical debt (GIST)は、開発者がAI生成コードを組み込んだ反復的なケースを記述し、その振る舞いや正確性に関する不確実性を明確に表現する概念レンズである。
  論文  参考訳（メタデータ） (2026-01-12T17:59:34Z)
• SwingArena: Competitive Programming Arena for Long-context GitHub Issue Solving [90.32201622392137]
  We present SwingArena, a competitive evaluation framework for Large Language Models (LLMs)。 従来の静的ベンチマークとは異なり、SwingArenaはLLMをイテレーションとして組み合わせて、テストケースを作成し、継続的インテグレーション(CI)パイプラインを通じてパッチを検証するパッチとレビュアーを生成することで、ソフトウェアのコラボレーションプロセスをモデル化する。
  論文  参考訳（メタデータ） (2025-05-29T18:28:02Z)
• Towards Exception Safety Code Generation with Intermediate Representation Agents Framework [54.03528377384397]
  大規模言語モデル(LLM)は、しばしば生成されたコードの堅牢な例外処理に苦しむ。 中間表現(IR)アプローチにより,LLM生成コードの例外安全性を実現する新しいマルチエージェントフレームワークであるSeekerを提案する。 Seekerは例外処理をScanner, Detector, Predator, Ranker, Handlerの5つの特殊エージェントに分解する。
  論文  参考訳（メタデータ） (2024-10-09T14:45:45Z)
• A LLM Assisted Exploitation of AI-Guardian [57.572998144258705]
  IEEE S&P 2023で発表された敵に対する最近の防衛であるAI-Guardianの堅牢性を評価する。 我々は、このモデルを攻撃するためのコードを書かず、代わりに、GPT-4に命令とガイダンスに従って全ての攻撃アルゴリズムを実装するよう促します。 このプロセスは驚くほど効果的で効率的であり、言語モデルでは、この論文の著者が実行したよりも高速に曖昧な命令からコードを生成することもあった。
  論文  参考訳（メタデータ） (2023-07-20T17:33:25Z)

関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。

指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。