■コンピュータと数学の限界に答えを出す! イギリスの数学者アラン・チューリングは1936年に、「計算可能数とその決定問題への応用」という 論文を発表しました。後に「チューリング機械」と呼ばれる想像上のコンピュータが初めて示された論文です。 チューリング機械は有限個の状態をとれる機械がテープのマス目を読み書きするだけのたいへん単純な機械です。 それは計算することの原理的な仕組みと限界を明らかにするための機械でした。 驚くべきことに、あらゆるチューリング機械は一つの整数で表すことができます。そのことは、計算可能な数の 全体が可算無限個であり、連続体をなす実数全体のうちのほんの一部でしかないということを意味しているのです。 さらにチューリングは、テープ上の記号の複写や消去といったチューリング機械の動作のいわばサブルーチンを 組み合わせて、あらゆるチューリング機械の動作を模倣できる「万能機械」を構成しました。万能機械は今日のコン ピュータの原型のようなものです。この観点から見ると、一切のデジタルコンピュータはチューリング機械の実用版 なのです。 本書はチューリングの「計算可能数とその決定問題への応用」の原論文を楽しむためのガイドブックです。原論文をゆっ くりと、逐一注釈していきます。原論文を理解するために必要な数学的な準備や、戦争の時代を生きたチューリングの波乱の 生涯にもたっぷりとページを割いて話を進めていきます。

※この商品はタブレットなど大きいディスプレイを備えた端末で読むことに適しています。また、文字だけを拡大することや、文字列のハイライト、検索、辞書の参照、引用などの機能が使用できません。 問題集だから、よくわかる！ 1．問題解決と反復演習で楽しく学べる 2．基本文法と基礎的なアルゴリズムが、よく解る 3．4つの言語で、比較しながら理解できる C、 C++、 Java、 Python言語それぞれで、基本文法と基礎的なアルゴリズムを学べる。単純な問題ではなく、思考を要する実践的な問題でプログラミングスキルを養う。構文などを学んだが、プログラムが書けずに悩んでいる読者に最適の書。