楽天ブックスでシンプルに目的の本を探す。プログラミング言語理論への招待 (バートランド・メイヤー/酒匂寛)の本を買う。