>>943
どんなプログラムでも正しいか正しくないかのいずれかに必ず分類できるような、
厳密な仕様をもった言語ばかりとは限らない。
そのような厳密な仕様を持った言語は全言語に占める割合はむしろ少ないだろう。

発言者の意図がどうあれ、"「正しい」プログラム" という言葉の強さからすれば、
このような側面もあることは知っておいた方が良いと思う。