楽天ブックスでシンプルに目的の本を探す。証明論と計算量 (竹内　外史)の本を買う。