白と黒のとびら
オートマトンと形式言語をめぐる冒険
川添 愛東京大学出版会324ページISBN 9784130633574
Zenn・Qiitaの3記事で紹介（2021年1月〜2021年3月、時点）。
- 紹介記事
- 3件
- Qiita / Zenn
- 1 / 2
- 初めての紹介
- 最新の紹介
紹介された時期
紹介はすべて2021年です。最新は2021年3月です。
紹介している記事（3件）
記事ごとの説明は、記事本文のうちこの本に触れた部分をAIが要約したもので、筆者の原文ではありません。
- 社内でビブリオバトルを開催してみた ! (みんなでワイワイ本紹介をやるなら必見 !) Zenn · yoshii0110 · · いいね 3
- 社内でビブリオバトルを開催してみた ! (みんなでワイワイ本紹介をやるなら必見 !) Qiita · koi · · いいね 19
- 「白と黒のとびら」書評 Zenn · もちゃ · · いいね 1
個人的な備忘録として読み、魔法使いに弟子入りした少年の試練を通じてオートマトンと形式言語に触れる本だと紹介し、小学生でも読めるとしている。一方、技術書ではなく物語が挟まるため最初は読みにくく、特に「塔」の章は難しかったという。紙とペンでメモしながら読む方法を挙げ、12章「解読」と13章「塔」は自身の取り組みと重なり面白かったと述べる。エピローグと直前の二章は理解しにくかったが、解説を踏まえ、対角線言語を受理するチューリングマシンの不存在と矛盾を、計算機の限界を定めるものと解釈している。
この本について
魔法使いに弟子入りした少年の物語を通じて、オートマトンと形式言語の基本概念を学ぶ本である。少年は修行の中で遺跡や言語に出会い、その秘密を探る。章は遺跡の調査や復元、鉱物や呪文をめぐる試練から、解読、塔での対決、問いと返答へ進み、物語の展開に沿って情報科学・数学・認知科学に関わる理論を扱う。終盤ではチューリングマシンと対角線言語が登場し、対角線言語を受理する機械を仮定すると矛盾が生じることから、チューリングマシンでは解けない問題、すなわち計算機の限界を考える。物語と理論の説明を組み合わせた構成であり、解説も収める。
楽天ブックスの商品説明、openBDの目次と紹介記事をもとにAIが要約したものです。原文の転載ではありません。