SDDに欠けているのは実践ではなく理論である ― LLMという変換器の性質から導出する

仕様駆動開発（SDD）におけるLLMの性質から導かれる理論的課題について論じる。同じ仕様からコードが生成されない、コードが仕様に一致する証明がない、小さなタスクに仕様書きの儀式が重すぎる、既存コードとの重複などの懸念を指摘。LLMを変換器と捉える視点を提供。

• 現在の仕様駆動開発（SDD）は、生成されるコードの一貫性や検証、コスト面で課題を抱えている。
• SDDの失敗は、LLMを「確率的な変換器」と捉える理論的背景の欠如に起因すると指摘。
• LLMは、人間や機械式生成器と異なり、仕様から低コストで多様な候補を生成できる。
• LLMは文脈から意味的な欠落を補完できるが、その作用の保証が課題である。
• SDDが実用化するには、LLMの性質に基づいた「拘束力」「探索可能性」「部分でも価値」「維持コスト」の全条件を満たす必要がある。