楽天ブックスでシンプルに目的の本を探す。プログラム理論 (原尾政輝)の本を買う。