TAG ARCHIVE
code-generation
MARIA OSブログのcode-generationタグに関連する4件の記事。ボンギンカンの判断OS、AIガバナンス、Agentic Company研究をテーマ別に参照しやすい技術記事アーカイブです。
Agent Tool Compiler — 自然言語からAPI設計・コード生成・実行までのコンパイルパイプライン
コンパイラとしてのAgent — NL意図を中間表現を経由して最適化された型安全なランタイムツールに変換する形式的フレームワーク
ツール生成Agentはアドホックなコード生産者である。本稿ではツール合成をコンパイル問題として再定義する。自然言語意図をIntent AST（意図の抽象構文木）に解析し、Tool IR（中間表現）に変換し、セキュリティ強化・デッドコード除去などの最適化パスを適用し、型安全な実行可能コードとしてエージェントランタイムにホットロードする。形式言語理論に基づくAgent Tool Compilerアーキテクチャを提示する。
ガバナンス下のツール生成：生成コードを安全にコマンド化する方法
サンドボックス検証、権限昇格モデル、監査証跡、ロールバック機構による自己拡張エージェントシステムの安全性フレームワーク
AIエージェントが生成したコードが本番システムの新しいコマンドになりうるとき、そのコードのすべての行が攻撃対象面となる。生成からレジストリ登録までの間にガバナンスゲートがなければ、自己拡張エージェントは自己増殖する脆弱性と区別がつかない。本論文はMARIA OSツール生成フレームワークを提示する：生成コードをガバナンス済みコマンドに変換する7段階パイプラインであり、サンドボックス検証、形式的安全性証明、束論に基づく権限昇格モデル、改ざん不可能な監査証跡、自動ロールバック機構を含む。有界実行の仮定のもとでツール安全性が多項式時間で決定可能であることを証明し、10,000件のツール生成イベントにわたるベンチマークで99.7%の安全性コンプライアンスを12%のレイテンシオーバーヘッドで達成することを示す。中心的命題：自己拡張は危険ではない。ガバナンスなき自己拡張が危険なのだ。
DB承認型開発: AI生成コードを状態遷移として管理する整合性設計
変更をデータベース駆動の遷移記録へ落とし込み、再現性と監査性を担保する
確率的なコード生成を本番運用へ適用するため、変更操作を状態遷移として記録・再生・承認する枠組みを提示する。衝突検知、ロールバック、ゲート承認を統合し、生成開発の統治可能性を高める。
生成AI説明頻度の最適化: 監督コストと誤生成リスクの均衡点
説明過多と説明不足の間で、総コスト最小となる説明間隔を数理的に導出する
すべて説明させる運用と説明ゼロ運用の双方を避け、説明オーバーヘッドと見逃し損失の合計を最小化する。リスク階層別の頻度調整を含む最適説明ポリシーを提示し、監督効率を改善する。