Shepherd: メタエージェント操作を形式化するランタイム基盤

LLMが質問応答から行動主体へ進化し、ブラウザ操作・コード生成・API呼び出し・自己改善を実行する「行動する知性」へ変容している。企業導入事例を通じて、メール処理から社内システム更新までを自動実行するエージェント化の実用化段階を解説。思考と行動の間の技術的課題と実装の現実を取り上げる。

Claude Code を用いて 10 の部署にエージェントを配置し OSS 開発を自律運営する実験が GitHub・Hacker News・Reddit で BANされた。この実経験から、AI に任せて効果的だった業務と失敗した領域を分析し、人間が担うべき判断領域を考察する。

Claude Managed Agents の「Dreaming」機能と AgentCore Optimization の設計思想・実装方法を徹底比較。推論深度、メモリ効率、タスク適用範囲の違いを具体例で解説し、各手法の使い分けポイントを示す。

Lean言語による形式的なエージェント操作モデルと Git 風の実行トレースを組み合わせ、AIエージェントの再現性とデバッグ性を根本から改善するランタイム基盤 Shepherd が発表された。エージェントの行動選択が不透明な問題に対し、定理証明支援系による形式化で解決を目指す。