プログラム意味論って何の役に立つかおしえてくれ！
もうすでに終わった学問じゃないのか？