>>67
それはプルグラム言語の話ではなくて?
おれはもっと要求定義を形式的にやるような学問があるのかと
思ってたけど、ちゃいますか?