開発をシフトレフトせよ――形式手法でAIと事前に合意する開発のすすめかた

AIへの指示書作成における自然言語の解釈揺れを、形式手法を用いて解消する開発手法を提案。TAKT OSSでの形式仕様モード導入により、実行前の合意形成を強化。

• 自然言語によるAIへの指示は解釈の揺れが生じ、期待通りの結果を得にくい場合がある。
• TAKTでは、AIとの対話で合意した内容をGherkin、Quint、Alloyといった形式仕様で指示書化する。
• Quintはシステムの振る舞いの一般則を、Alloyはデータ構造と制約を定義し、AIとの認識齟齬を防ぐ。
• 形式手法をAI開発に導入することで、仕様の曖昧さを排除し、開発の「シフトレフト」（早期品質保証）を実現する。
• TAKTの形式仕様モードは、AI時代における形式手法のコスト課題をAI自身で解決する試みである。