セミ実行可能スタック：エージェント型ソフトウェア工学とSE（ソフトウェア工学）の適用範囲の拡大

Abstract

現在、主としてLLMとツールを用いるエージェント的ハーネスによって駆動されるAIベースのシステムが、ソフトウェア工学に対する脅威となり得るものとして、ますます議論されるようになっています。基盤モデルはより強力になり、エージェントは複数ステップにまたがって計画し行動できるようになり、足場（スキャフォールディング）、定型的なテスト生成、単純なバグ修正、そして小規模な統合作業といったタスクは、ほんの数年前と比べて、より露出しているように見えます。その結果は、学生や若手開発者だけでなく、獲得に時間のかかった専門性の価値が失われかねないことを心配する経験豊富な実務者にも、はっきりとした不安として現れています。本論文は、別の読み方を提案します。重要な転換は、ソフトウェア工学の関連性が失われることではありません。むしろ、対象とされているものが、実行可能なコードを超えて、半実行可能な成果物へと拡張することです。つまり、自然言語、ツール、ワークフロー、制御メカニズム、そして組織的なルーティンの組み合わせであり、その実現は決定論的な実行ではなく、人間または確率的解釈への依存によって行われるものです。本論文では、この拡張を推論するための6つのリングからなる診断参照モデルとして「Semi-Executable Stack（半実行可能スタック）」を導入します。このモデルは、実行可能な成果物、指導（インストラクション）上の成果物、オーケストレーションされた実行、制御、稼働ロジック、そして社会的・制度的な適合性にまたがります。このモデルは、貢献・ボトルネック・組織的な移行が主にどこに位置するのか、そしてそれがどの隣接するリングに依存しているのかを特定するのに役立ちます。本論文は、3つの具体的なケースを通じて議論を展開し、よく知られた反論を、移行を退ける理由ではなく工学的なターゲットとして組み替え、最後に、どのレガシーなソフトウェア工学プロセス、制御、協調ルーティンを維持すべきか、そしてどれを簡素化するか、あるいは再設計すべきかを判断するための「保全（preserve）対精製（purify）」のヒューリスティックで締めくくります。本論文は概念的な基調講演の伴走論文です。実証的というより、診断とアジェンダ設定を目的としています。