仕様駆動・型・AI検証ループ

仕様の役割を分け、型とPBTで反例を探し、生成AIを検証可能なループに閉じ込めるという技術思想を40問にしました。