仕様駆動開発を信じている人たちは、コードを書くだけに比べて、完全な仕様を書くのがどれほど難しいかという点について、甘く考えすぎていると思います。数学において、複雑な意味を持つ記号を使うのには理由があります。言葉で同等のことを記述するのは面倒だからです。

*抽象化*レベルの進行を見てください。アセンブリ -> C -> C++ -> Python -> LLM向け仕様。いや、これはうまくいきません。そこにはステップが一つ欠けているのです。これは、Pythonのような正確で決定論的な高水準言語と、様々な意味を持ち、文化的な偏見や曖昧さを持つ言葉の組み合わせである仕様の中間にあるようなものです。