単行本(実用) 科学・自然 白と黒のとびら オートマトンの形式言語をめぐる冒険