【保存版】生成AIに渡す仕様書は増やすほど壊れる｜矛盾を機械が見つける『証明できる仕様』の作り方✅

AIに渡す仕様書は、足すほど矛盾が見えなくなる。その打ち手として、仕様をLeanで証明できるプログラムにする自作ハーネスCradleを、口座の引き落としとAPIキーの例で噛み砕いて解説します。 矛盾は機械が見つけ、選択肢は動く見本で試し、Kotlinの枠とテストは機械が作る流れと、作者自身が挙げる課題まで紹介。 AI駆動開発で仕様のぶれに悩む開発者向けです。 参考記事: Lean による仕様駆動開発の自作ハーネス ”Cradle” の紹介 著者: @asuka1975 様 URL: https://qiita.com/asuka1975/items/4a0... ※ 動画内の図表の一部は上記記事から引用しています 関連リンク: GitHub: Cradle リポジトリ: https://github.com/asuka1975/cradle GitHub: サンプルの LLMX: https://github.com/asuka1975/LLMX ─────────────── チャプター 00:00 導入 01:03 文書は壊れる 03:39 証明して触る 07:34 訳させず囲う 11:24 まとめ ─────────────── クレジット 音声: VOICEVOX:ずんだもん、VOICEVOX:四国めたん 立ち絵: 坂本アヒル 様(ずんだもん・四国めたん) https://x.com/sakamoto_AHR 音楽: BGM「ゆるいアイネ・クライネ・ナハトムジーク」南雲莉翠(なぐもりず) 様 / なぐもりずの音楽室 　　　ED「OP/EDジングル49」t12ya 様 / DOVA-SYNDROME 　　　なぐもりずの音楽室 https://nagumorizu.com/ 　　　DOVA-SYNDROME https://dova-s.jp/ ─────────────── ついったー   / engineerzundamo