AIエージェント ログ 記録方法Simon Willison式5ステップ実践ガイド
Table of Contents Toggle AIエージェント ログ 記録方法【2026年最新】Simon Willison式5ステップ完全ガイド AIエージェント ログ 記録方法——なぜ今これが必要なのか AIエー … 続きを読む
AIエージェント
ハーネスエンジニアリングAIエージェント開発の新常識
ハーネスエンジニアリングとは、AIコーディングエージェントの性能を最大化する環境設計の技術体系。命名者Hashimotoの定義からOpenAI・Anthropic・LangChainの実践事例、Claude Code・Cursor・Devinの実装比較まで40超のソースで徹底解説。
LeanstralMistral AIの形式検証エージェントでバイブコーディングのバグを数学的に消す
2026年3月16日、Mistral AIが「Leanstral」を公開した。Lean 4向けの形式検証AIエージェントで、オープンソース（Apache 2.0）。AIが生成したコードの正しさを「数学的に証明」する。11 … 続きを読む
AIスキル設計パターン5選Google×Anthropic×Vercel——エージェント開発の新定石
Google Cloud が2026年3月17日、AIエージェントのスキル設計パターン5つを公開した。Anthropic（Claude Code）やVercelの公式リポジトリを横断分析し、実務で繰り返し現れる構造を抽出 … 続きを読む
Claude Code Agent Teams——16体のAIが10万行のCコンパイラを構築した仕組み
Claude Code Agent Teamsは、2026年2月にClaude Opus 4.6と同時にリリースされた実験的機能だ。複数のClaude Codeセッションを「チーム」として協調させ、1つのプロジェクトに対 … 続きを読む
エージェンティックエンジニアリング——プロンプトの先にある設計の話
エージェンティックエンジニアリングとは何か。バイブコーディングの名付け親Karpathyが提唱した次世代AI開発手法を、autoresearchの実例と共に徹底解説。人間は監督者、AIが実装者になる時代の実践ガイド。