楽天ブックスでシンプルに目的の本を探す。帰納的確率と様相の論理 (永井成男/大窪徳行)の本を買う。