Microsoft Research、PDD Kitを発表 AIエージェントコードの形式検証を支援
Microsoft Researchは2026年11月5日(現地時間)、AIエージェントが生成するコードの形式検証を支援するツールキット「PDD Kit」を発表した。PDD Kitは、開発者の意図を形式仕様に変換し、エージェント生成コードがその仕様をあらゆる入力に対して満たすことを証明する。証明が現実的でない箇所ではテストにフォールバックする仕組みを持つ。これにより、開発者はコードの全行レビューではなく、当初の意図のレビューに集中できるとされている。