なので変化の方向性を考えると、おそらくちょっと先のプログラミングは、マクロな目標を達成するために、アホな人間の仕様書は横においておいて、AIに資料を見せまくって要件を定義してもらうみたいになって、
で、そこでいかにAIの計算コストを削減しつつ、人間に見てもらう必要がある箇所を削減するかとなると、AIに、かつて人間の方が得意であった柔軟性が要求される部分に注力してもらうために、形式検証を導入して、形式検証が出来る範囲の事は形式検証ツールに任せるって出来そう＞＜