タグ: 形式手法

"形式手法" が付いた記事と Wiki ページ

• 要求仕様書作成ループ

  コーディングエージェントの開発ループの手前に、利用者と回す要求確定ループ、エージェント同士の仕様レビューループ、並行する実現性・コストのループを置き、確定仕様からテストと契約を生成して開発ループへ渡す構成

• 形式手法を Claude Code で回す — Z3 と TLA+ で仕様の穴を見つけ、反例をテストに落とす

  2026年10月9日

  Claude Code に料金計算の仕様を Z3 で、キャッシュ設計を TLA+ で形式化させ、仕様の矛盾と並行実行の競合を見つけた。形式手法とテストの違い、道具の選び方、反例を pytest に落とす手順、検査の空振りの確かめ方を実行結果つきで解説する。

• mizchi さんの「俺のAIプログラミング手法」を読む — ループ・評価指標・形式手法で AI に任せる範囲を広げる

  2026年10月9日

  mizchi さんが 2026/10/05 に Zenn で公開した「俺のAIプログラミング手法」の要点を整理する。人間の役割の再定義、仕事を AI に渡すときの考える順番、Ralph Loop と /goal によるループ、数値化できる評価指標、そして TLA+・Z3・Alloy などの形式手法で仕様そのものを検査する発想まで。

• 要求仕様書作成ループ — コーディングエージェントの開発ハーネスの手前に「要求確定」と「仕様レビュー」のループを置く

  更新日:2026年10月12日

• 形式手法（Formal Methods）

  仕様や設計を数学的に厳密な形で書き、その性質を機械で検査する技術群。AI コード生成の普及で再評価され、LLM に形式化させて検査器に判定させる使い方が実用になっている

• AIコード生成時代に形式手法が実用段階へ——Jane Streetが語る検証ボトルネック

  2026年6月24日

• 要求定義・仕様記述・設計・検証の手引き × 3つの理論で統一する成果物定義

  2026年3月4日