白と黒のとびら: オートマトンと形式言語をめぐる冒険作者: 川添愛出版社/メーカー: 東京大学出版会発売日: 2013/04/18メディア: 単行本この商品を含むブログ (16件) を見る ファンタジー仕立てのオートマトン・計算理論入門書。神は死んだ (エクス・リブリ…