プログラム意味論ってこの10年間殆ど進歩してないよな。
っていうかこれまで進歩らしい進歩があったわけでもないけど。