白と黒のとびら―オートマトンと形式言語をめぐる冒険 — 川添 愛 | NiceBooksReads