プログラム意味論って数学や数理論理学をよく勉強してないとちゃんと理解することはできないんだね