楽天ブックスでシンプルに目的の本を探す。例解図説オートマトンと形式言語入門 (岡留剛)の本を買う。