証明駆動開発（PDD Kit）とは｜エージェントのコードを行ごとに読まずに信頼する GitHub Next の試み

GitHub Next と Microsoft Research が、エージェントが書いたコードを、行ごとに全部読まずに信頼するための研究プロトタイプ「PDD Kit」を公開しました（2026年11月）。PDD は Proof-Driven Development（証明駆動開発）の略で、「専門家だけのものだった形式手法を、日常のソフトウェアに持ち込む」試みです。本記事...

証明駆動開発（PDD Kit）とは｜エージェントのコードを行ごとに読まずに信頼する GitHub Next の試み

この記事のキーワード

同じキーワードの記事

GitHub Next、AI生成コードが仕様を満たすことを証明する「PDD Kit」を紹介 | gihyo.jp

ソフトウェア産業が消滅する日──小さなローカルAIが暴く「プログラムを売る」という商売の終焉

Cloudflare Zero Wire × GitHub Actions × Claude で公開サーバーの脆弱性チェックを自動化

GitHub Universe2026 全アップデートおさらい

Windows 11、メモリ8GB機で複数アプリを開く操作が最大40％高速に Microsoft社内試験

DeepSeekがGitHubを監視してコーディングの問題を検出し解決策を提案するコーディングエージェントの研究プロトタイプ「dsh-superagent」をオープンソース化

Microsoft、「Copilot harness」を発表 ～「GitHub Copilot」基盤を全社共通化、プレビュー提供／「GitHub Copilot SDK」は「Microsoft Copilot SDK」に

グーグル、GPT-6 Astra超えの「Gemini 4 Carbon」発表 脆弱性の発見と修正を強化

AI エージェントの並列開発で膨らんだ GitHub Actions の費用を、AWS Fargate のセルフホストランナーに移して約3割削減した話 | DevelopersIO

中国系グループによる大規模AIエージェント攻撃 Microsoftが報告

エミュレーターを使わずにブラウザ上でPSPゲームが動作するというプロジェクト「PSP Web Recomp」

Microsoft Word -

Microsoftが第3世代AIチップ「Maia 300」を発表、最新の推論モデルやエージェントタスクの処理能力向上へ向けて2027年に導入予定

エージェントにコミット整理を教えるgit-surgeonが良さげかも | kawarimidoll.com

Microsoft セキュリティ、これをやってください！～ 実践ベストプラクティス - Qiita

AIエージェントの「暴走」をどう防ぐ？ マイクロソフトがアクセスを制限する「MXC」を提供開始

トークン消費85％減 Googleが脆弱性を自動修正するオープンソースハーネス「Mantis」公開

「Microsoft Learn」の公開ドキュメントリポジトリ、多くが年内に終了へ／廃止対象では「GitHub」経由の修正提案ができなくなる

「AI家庭教師と人間の専門家による指導の学習効果は同等」という研究結果、正答率の向上にかかる費用は918分の1

Microsoft、「Copilot harness」を発表～「GitHub Copilot」基盤を全社共通化、プレビュー提供／「GitHub Copilot SDK」は「Microsoft Copilot SDK」に

グーグル、GPT-6 Astra超えの「Gemini 4 Carbon」発表脆弱性の発見と修正を強化

Microsoft セキュリティ、これをやってください！～実践ベストプラクティス - Qiita

AIエージェントの「暴走」をどう防ぐ？マイクロソフトがアクセスを制限する「MXC」を提供開始