楽天ブックスでシンプルに目的の本を探す。理論計算機科学事典 (徳山 豪/小林 直樹)の本を買う。