日本語のプログラム意味論の本は３冊しかなくて、今や本屋で買えるのは
１個だけ。これ豆知識ね（以下ｒｙ

「数理情報学入門」　中島玲二
「プログラム意味論」　横内寛文
「コンピュータサイエンス入門 ―論理とプログラム意味論 」　田辺誠