Hi, I detected your main language is not Japanese. I have an english version of about me, so please try it!

この投稿は2年半前の記事です。 情報が古くなっている可能性があるので、その点ご了承ください。
2014 年 12 月 4 日 965日前)
1,362文字 (読了時間3分)

SPONSORED LINK

もう今年は本読まないのかというと、そんなことないのですが、たぶんこれだろうと思うのがあるので紹介します。

白と黒のとびら: オートマトンと形式言語をめぐる冒険

白と黒のとびら: オートマトンと形式言語をめぐる冒険 [書籍]

著者川添 愛

出版社東京大学出版会

出版日2013 年 4 月 18 日

商品カテゴリー単行本

ページ数324

ISBN4130633570

Supported by amazon Product Advertising API

『白と黒のとびら: オートマトンと形式言語をめぐる冒険』は形式言語とオートマトンをファンタジーの筋立て(魔法使いとその弟子)で説明する本です。

形式言語(または単に「言語」)は計算機科学や言語学で用いられる概念で、いわゆる英語や日本語といった自然言語とは違い、「文字列からなる語の集合」を意味します。

オートマトンは元の意味で「自動人形」ですが、要するに外部からなにかを受け取ってなにかを外に出すようなものです。iPhoneもそうですし、エアコンもそうですね。こういう「状態を持つ入出力装置」をオートマトンと呼びます。図にするとこんなのになるらしいです。

言語理論とコンパイラより
言語理論とコンパイラより

……どうでしょう、この分野に詳しくない人は「だから何?」と思ったのではないでしょうか。

僕もはじめは『計算理論の基礎』という大学の計算機科学の学部生が読むような本を読んでいたんですが、どうもこの「形式言語とオートマトン」の説明がいまいちピンとこなかったのです。

計算理論の基礎 [原著第2版] 1.オートマトンと言語

計算理論の基礎 [原著第2版] 1.オートマトンと言語 [書籍]

著者Michael Sipser

クリエーター太田 和夫, 田中 圭介, 阿部 正幸, 植田 広樹, 藤岡 淳, 渡辺 治

出版社共立出版

出版日2008 年 5 月 21 日

商品カテゴリー単行本

ページ数232

ISBN4320122070

Supported by amazon Product Advertising API

そこで、その参考書として『白と黒のとびら: オートマトンと形式言語をめぐる冒険』を手に取ったのですね。この本は古代文明によって作られた迷宮を魔法使いの弟子が突破していくのですが、タイトル通り、「白い扉を開けたら次の部屋に進むけれど、黒い扉を開けると同じ部屋に入ってしまう」というような感じで、オートマトンの構造になっているんですね。

この迷宮によって有限オートマトンとか、線形拘束オートマトンとか、そういうのが学べます。魔法もですね、この形式言語のルールに則った上で効果が出るような設定になっているんですよ。

なにはともあれ、学問における難解な概念を学ばせる安易な方法として、ここ数年は「萌える〇〇!」みたいなのが多かったですが、この本は同じ志向を持ちつつ、ある程度の実直さを失わないでいるのがよかったですね。

このシリーズであったらいいな、と僕が思ったのは……対数(ログ)ですかね。なんでそんなことをするのか、パッとわからないんですよね。あれ。

 

SPONSORED LINK

この記事について

この記事はが2014 年 12 月 4 日に読書日記の記事として公開しました。

フォローしてください

ここで会ったのもなにかの縁。
高橋文樹.comの最新情報を見逃さないためにもフォローをお願いします。
めったに送らないメルマガもあります。