本書は、コンピュータの原理としてのチューリング･マシンを解説するとともに、決定問題を解決した有名な｢チューリング･マシンの停止問題｣も分かりやすく説明します。さらに計算量と、7大難問の一つ｢P=NP問題｣についても、わかりやすく解説します。(ブルーバックス･2014年2月刊)※この商品は紙の書籍のページを画像にした電子書籍です。文字だけを拡大することはできませんので、タブレットサイズの端末での閲読を推奨します。また、文字列のハイライトや検索、辞書の参照、引用などの機能も使用できません。

正しくても常に証明できるとはかぎらない。 ゲーデルの不完全性定理は、公理と推論規則から数学全体を導こうと考えていた、当時の数学界に衝撃を与えました。 チューリングは「決定問題」を考察するなかで、チューリング機械という仮想の計算機から「計算可能性と停止問題」に行き着つきます。 2人は同じことを全く別の視点から証明したのです。この天才たちの思考の軌跡を、集合論、ロジックとその過程を考えながら楽しく読み解いていきたいと思います。 「そうですね……ゲーデルは、数学者が紙と鉛筆で証明をおこなうプロセスを厳密に考察しました。その結果、算数の計算ができるような理論があったとして、その理論の内部では証明できないことがある 、という結論に達しました。で、チューリングは、証明のかわりに計算の本質を追究した結果、無限ループに陥って計算が終わるかどうかわからない、いいかえると、計算できないことがある、という結論に達しました。どうです？　似てませんか？」（「プロローグ」より） 完全版　特別対談収録！ 加藤文元×竹内 薫 不完全性定理――数学と哲学の交差点から

※この商品はタブレットなど大きいディスプレイを備えた端末で読むことに適しています。また、文字だけを拡大することや、文字列のハイライト、検索、辞書の参照、引用などの機能が使用できません。 コンピュータ理論の古典に学ぶ！ 本シリーズは，「コンピュータ理論の起源」を当時の原典に探る試みとして，現在もコンピュータ理論の古典と呼ばれる，チューリングとフォン・ノイマンの論文を紹介する。 第1巻である本書には，チューリングのコンピュータに関わる重要な論文4編の完訳と，それぞれの論文に対し，内容を的確に理解するための時代背景を含めた詳細な解説が収められている。 コンピュータ理論に興味のある読者はもちろん，コンピュータに携わる読者には必携の書である。

〈シグマフォース〉外伝シリーズ最新刊 Σの秘密兵器=タッカー&ケインが世界を救う! コンピュータの父が現代の戦争を変える── “人”と“犬”の種を超えた深い絆で結ばれた 元米軍大尉と軍用犬が電子の脅威に挑む! 戦友で恋人だった女性から連絡を受け、 急ぎ駆けつけたタッカー&ケイン。 しかし、彼らを待ち受けていたのは、 次世代型戦闘用ドローンの襲撃だった……。 〈あらすじ〉元陸軍レンジャー部隊所属のタッカー・ウェインと、軍用犬のケイン――強い絆で結ばれた一人と一頭は、かつての戦友ジェーン・サバテロから依頼を受ける。彼女の話によると、共通の知人サンディ・コンロンが行方不明になっており、ジェーン自身も命を狙われているという。調査のため、タッカーはサンディがあるプロジェクトに取り組んでいたアラバマ州のレッドストーン兵器廠を訪れる。現地でサンディの自宅を捜索し、同じくかつての戦友フランク・バレンジャーから話を聞いたタッカーとケインだが、次世代の戦闘用ドローンの襲撃を受ける。サンディはこのキラードローンの人工知能の開発に携わっていたが、用済みとなって殺されたらしい。その裏にはアメリカを代表するメディア王が関与していた。 ◆歴史的事実に関して アラン・チューリング[Alan Mathieson Turing, 1912年6月23日～1954年6月7日] イギリスの数学者・暗号学者で、第二次世界大戦中にドイツ軍の暗号の解読に携わった。彼による暗号「エニグマ」の解読が、第二次世界大戦での連合軍の勝利に大きく貢献し、戦争の終結を早めたと言われている。チューリングはエニグマの解読のために「ボンブ」という電動式の装置を開発するなど、コンピューターの父とも呼ばれる人物だが、暗号解読は軍事機密に関わることだったため、その業績が広く知られることはなかった。そればかりか、後に同性愛者であることが発覚し、当時のイギリスでは同性愛が違法だったことから「著しい猥褻行為」で有罪判決を受けてしまう。投獄は免れたものの化学的な去勢を受け、その二年後に自殺するという悲劇的な最期を遂げている。彼の功績が認められるようになったのは死後のことで、イギリス政府が公式に謝罪したのは自殺から五十年以上が経過した二〇〇九年のことであった。

〈シグマフォース〉外伝シリーズ最新刊 Σの秘密兵器=タッカー&ケインが世界を救う! コンピュータの父が現代の戦争を変える── “人”と“犬”の種を超えた深い絆で結ばれた 元米軍大尉と軍用犬が電子の脅威に挑む! 戦友で恋人だった女性から連絡を受け、 急ぎ駆けつけたタッカー&ケイン。 しかし、彼らを待ち受けていたのは、 次世代型戦闘用ドローンの襲撃だった……。

情報処理学会誌「情報処理」2017年11月号小特集「ACMチューリング賞50周年記念大会」の記事のみを抜き出した別刷(冊子)。本小特集では、2017年6月にサンフランシスコで開催されたACMチューリング賞50周年記念大会を取り上げる。（解説記事執筆者他:浅井光太郎、Donald (”Don””) Ervin Knuth、鳥澤健太郎、Julien Kloetzer、協力：国立情報学研究所）

情報処理学会誌「情報処理」2017年5月号特集「チューリング賞50周年によせて」の記事のみを抜き出した別刷(冊子)。本特集では、計算機科学の分野でさん然と輝くACMチューリング賞50周年にちなみ、漫画と解説によるチューリングの紹介、各方面の第一人者によるチューリング賞にちなんだ提言や思い出に残る受賞者についての寄稿、これまでの受賞者一覧を掲載しています。

※この商品はタブレットなど大きいディスプレイを備えた端末で読むことに適しています。また、文字だけを拡大することや、文字列のハイライト、検索、辞書の参照、引用などの機能が使用できません。 コンピュータサイエンスの祖、チューリングの世界を知るための本。

本書はチューリングの理論をもとに，コンピュータの原理やしくみから人工知能までを，わかりやすくていねいに解説しています。チューリングは現在のコンピュータサイエンスの基礎となる理論を作り上げた，とても重要な人物です。また，『知性を持つ機械』という論文やチューリングテストを考案するなど，人工知能の父とも呼ばれています。本書はこのチューリングの重要な理論を，できるだけわかりやすく楽しんで理解できるように，難しい専門用語を避け，ふんだんなイラストを用いて説明しています。コンピュータサイエンスの入門書として最適です。

グーグル、アマゾンが君臨する現代のデジタル世界は、もとをたどれば数学者チューリングの構想した「チューリングマシン」に行きつく。そして理論上の存在だったチューリングマシンを現実の装置として創りあげたのが万能の科学者フォン・ノイマンだ。彼の実現した「プログラム内蔵型」コンピュータが数に関する概念を変え、デジタル宇宙を創生したのだ。しかし、フォン・ノイマンがそれを成し遂げたのは、産業や学問のしきたりにとらわれない、プリンストンの高等研究所という舞台あればこそであった。チューリングは何を考え、フォン・ノイマンはどう立ち回り、アインシュタインやゲーデルを擁した高等研究所はいかにしてその自由性を得るにいたったのか。そして彼らとともにコンピュータ開発を支えた科学者・技術者はいかにして関わりを持つようになり、現代に直結するどんな偉業を成し遂げたのか。高等研究所などに収められた詳細な文献や写真資料、豊富なインタビュー取材をもとに、大戦後の混乱でこれまで必ずしも明らかでなかった歴史事情や、知られざる人々の肖像をちりばめて綴る、決定版コンピュータ「創世記」。

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

今日のコンピュータの礎を築いたジョン・フォン・ノイマン、不完全性定理で数学・論理学の歴史を根底から変えたクルト・ゲーデル、思考する機械への道を拓いたアラン・チューリング。いずれも今日の科学と哲学に多大な影響をもたらした天才たちである。同時代に生きた彼らは、互いに触発され、時に議論し、相互に意識しながら実に多くの業績を残した。比類なき頭脳と個性をもった三人は、いかに関わり、何を考え、どう生きたか。それは今日の世界にいかなる意味を持つのか。彼ら自身の言葉からその思想の本質に迫る。

※この商品はタブレットなど大きいディスプレイを備えた端末で読むことに適しています。また、文字だけを拡大することや、文字列のハイライト、検索、辞書の参照、引用などの機能が使用できません。 コンピュータ前史 ライプニッツからチューリングに至る数理論理学の系譜は，コンピュータの理論的バックボーンを形成しAIの登場までも予見している。代数の記号表現を通じて人間の思考の範囲すべてを包括するような記号体系の構築に献身したロジシャンたちの苦闘を，時代背景を取り込みながら解説する。さらに本書を構成する7人のロジシャンたちを，豊富なエピソードをもとにその人となりを描写する。 　また，本文に取り込むと冗長になりすぎる数学的解説は，原註に取り込むことで半独立的な構成としている。 　比較的平易に書かれているので，コンピュータロジックの成り立ちに関心のある高校生以上の読者や，人工知能のロジックの成り立ちに関心のある読者にも必携の書である。

※この商品はタブレットなど大きいディスプレイを備えた端末で読むことに適しています。また、文字だけを拡大することや、文字列のハイライト、検索、辞書の参照、引用などの機能が使用できません。 コンピュータサイエンスの創始者が、多彩な側面を持つチューリングを、その生涯を縦軸に、チューリングテストや暗号など、彼が挑んださまざまな謎を明らかにしていく。

うつけ（ばか者）とよばれた少年・信長は、わくにはまらない革新的な考えの持ち主だった。桶狭間の戦いや長篠の戦いなど、新しい戦法で混乱の戦国時代にめきめきと頭角を現していく。はたして信長は天下統一することはできるのか…!? ■『織田信長』監修 山本博文先生のポイント紹介 尾張（愛知県）・美濃（岐阜県）を支配下に入れた織田信長は、足利義昭を奉じて京都に上り、周囲の戦国大名を打ち破り、義昭も追放してほぼ天下を手中にします。その生涯は戦いの連続で、今回の人物伝では、駿河の今川義元を討った桶狭間の戦い、鉄砲を有効に使って武田勝頼を撃退した長篠の戦いなど、信長の多くの戦いを、確かな史料で再現しています。なぜ信長が強かったのかを考えながら読んでください。 ■目次 第１章　大うつけとよばれた男 第２章　「天下布武」のはじまり 第３章　信長包囲網 第４章　宿敵・武田との戦い 第５章　本能寺の変

第二次大戦前夜、プリンストン大学に学ぶ青年ローレンスは、数学への興味を同じくする英国人留学生チューリングと出会う。やがて彼らは、戦争の帰趨を左右する暗号戦の最前線で戦うことに…それから半世紀、ローレンスの孫ランディもネット技術者として暗号に関わっていた。彼は大戦との因縁深いある策謀に巻きこまれていくが!?暗号をめぐり、二つの時代―第二次大戦中と現代で展開される情報戦を描く冒険SF大作。ローカス賞受賞。