楽天ブックスでシンプルに目的の本を探す。仕様記述言語LOTOS (高橋薫（ソフトウェア工学）/神長裕明)の本を買う。