結局，プログラムが正しく動作するか，ってのは仕様書の内容如何によるもので， 書いて有るとおりに動けば良いんだけど， 現状，存在している多くのプログラムは， その動きを定義した仕様書が存在していないことに， 問題が起因するわけです． 仕様書が存在…