>>133
>あとは数学者やコンピュータサイエンティストの仕事だ

いや、それはAI(人工知能)の仕事だよ
自然語で書かれた曖昧な仕様を、コンピュータが理解できる機械語へ変換するという

もちろん、これが理想の姿であるのは理解するが、現時点では夢物語でしかない
だから、自然言語で書く曖昧な(非形式的な)仕様の代わりに、
(数学を元にした)形式的な仕様記述を試みよう、という思想が形式手法の出発点にある

>>133には、C.A.R. ホーアの言葉を送ろう：

　職業としてプログラミング業務を行うためには、基礎となる数学理論に基づき、
　すでに確立された他の工学分野の先例にならわなければならない。
　これは教育を改善することによって実現することができる。

　　　　　　　　　　　　　　　「プログラミング -- 魔術か科学か？」から引用