鈴木大郎の作品一覧
「鈴木大郎」の「チューリングを読む コンピュータサイエンスの金字塔を楽しもう」「4つの言語で解ける 実践プログラミング問題集 C, C++, Java, Python」ほか、ユーザーレビューをお届けします!
- 作者をフォローする
- フォローすると、この作者の新刊が配信された際に、お知らせします。
無料マンガ・ラノベなど、豊富なラインナップで100万冊以上配信中!
「鈴木大郎」の「チューリングを読む コンピュータサイエンスの金字塔を楽しもう」「4つの言語で解ける 実践プログラミング問題集 C, C++, Java, Python」ほか、ユーザーレビューをお届けします!
Posted by ブクログ
チューリングの原論文に著者の注釈をつけた形式で書かれている。
注釈が非常に読み応えがあり素晴らしい。
(以下、私が一読した上での理解と感想を書きます。なにか間違った記述があったとしたら私の理解不足によるものです。)
「一階述語論理に関する決定手続き問題」を証明するために、「計算可能性とはなにか」をチューリングは考え
「人間が計算できるすべての数を計算できる機械」を考え出し
チューリングは、その機械のプログラムにあたる記述を論文で与えている。
チューリングマシンは、「人間が行う計算とはどんなものなのか」を分析して生まれていたという点が興味深かった。
そして、そのチューリングマシンが現代のコンピュ