高岡詠子のレビュー一覧
-
Posted by ブクログ
予備知識ゼロでも理解できるように書いてあるチューリングマシンのすごく丁寧な入門書。
チューリングは抽象的なモデルを組み立てることで決定問題を解いた。つまり、決定問題を解くという目的のために「チューリングマシン」を作り出したわけですね。それはゲーデルのゲーデル文と同じように画期的なアイデアで、結果、決定問題のために作ったこのアイデアが、後にコンピュータを生み出すことになった。出来すぎです。
数学者がこういう抽象的な概念を創造するっていうところがたまりません。
あらためて思うのは、チューリングマシンの考案にはヒルベルトの貢献も非常に重要だったという事ですね。なんだよ、問題出しただけじゃねーかとか思っていたけど、ヒルベルトが課題を浮き彫りにしたからこそゲーデルやチューリングが生まれたわけですから。後から見れば課題を見つけ出すってことの究極版だったわけですね。
ヒルベルトは数学世界の理想のためにこれらの問題を出した。その卓越した洞察力もさることながら、すごく人間味溢れる視野ですよね。
はぁ、天才たちの足跡はどれもたまらないですね。
チューリングマシンのエッセンスに触れられる本書、面白かったです。 -
-
-
Posted by ブクログ
ネタバレ「価値ある情報を高速に、正確に送りたい」
以前かじった情報理論のおさらい、あるいは知識のリフレッシュとして読んだ。
改めて、シャノンはすごいと思った。
相互情報量、情報源符号化定理、通信路符号化定理、標本化定理って、ホントよくできている。
研究に対するポリシー(「価値ある情報を高速に、正確に送りたい」)が明確で、その研究の中でぶれることなく首尾一貫している。本書もそのポリシーとそれに対する回答についてやさしく解説されていた。
なお、第5章 5-3標本化定理のあたりがちょっと駆け足な感じ。フーリエ変換のあたり、もっと説明が必要。その分、第6章の昔のコンピュータの話は要らなかったのではと思う。 -
-
-
-
-
-
Posted by ブクログ
ネタバレチューリングマシンをメインの題材として計算機科学の専門知識をあまり持たない読者にもわかるように「計算」とは何かを平易な言葉で考察している。
そもそもチューリングマシンが考案されるきっかけとなったのは、ヒルベルトの出した課題である決定問題である。この問題を解くためには「計算」を数学的に厳密に表現する必要があり、その手段としてチューリングマシンが考案されたのである。そして、このチューリングマシンが物理的に実現されたものがコンピュータなのである。
我々が普段触れているコンピュータはフォンノイマン型コンピュータと呼ばれ、名前の通り、ジョンフォンノイマンという天才が具体的な形で考案した仕組みで動作する機械である。ただ、フォンノイマンが何の概念がないところから１から発明したわけではなく、それぞれの年代の計算に対する概念の開拓の歴史を汲み取って考案したのである。ブール代数等々。
チューリングマシンの具体的動作をステップバイステップで説明している一般書はなかなかないであろう。丁寧に説明がなされているので非常にわかりやすい。万能チューリングマシンについても説明があってよい。
時間計算量の導入からN=NP問題についてもさくっと概説あり。 -
-
-
-
-
-