楽天ブックスでシンプルに目的の本を探す。帰納的関数と述語 (篠田寿一)の本を買う。