ブルーバックス<br> チューリングの計算理論入門―チューリング・マシンからコンピュータへ

個数：
電子版価格
¥1,012
  • 電書あり
  • ポイントキャンペーン

ブルーバックス
チューリングの計算理論入門―チューリング・マシンからコンピュータへ

  • 高岡 詠子【著】
  • 価格 ¥1,012（本体¥920）
  • 講談社（2014/02発売）
  • ゴールデンウィーク ポイント2倍キャンペーン対象商品(5/6まで)
  • ポイント 18pt
  • ウェブストアに2冊在庫がございます。（2024年05月02日 14時00分現在）
    通常、ご注文翌日～2日後に出荷されます。
  • 出荷予定日とご注意事項
    ※上記を必ずご確認ください

    【ご注意事項】 ※必ずお読みください
    ◆在庫数は刻々と変動しており、ご注文手続き中に減ることもございます。
    ◆在庫数以上の数量をご注文の場合には、超過した分はお取り寄せとなり日数がかかります。入手できないこともございます。
    ◆事情により出荷が遅れる場合がございます。
    ◆お届け日のご指定は承っておりません。
    ◆「帯」はお付けできない場合がございます。
    ◆画像の表紙や帯等は実物とは異なる場合があります。
    ◆特に表記のない限り特典はありません。
    ◆別冊解答などの付属品はお付けできない場合がございます。
  • ●店舗受取サービス（送料無料）もご利用いただけます。
    ご注文ステップ「お届け先情報設定」にてお受け取り店をご指定ください。尚、受取店舗限定の特典はお付けできません。詳細はこちら
  • サイズ 新書判／ページ数 224p／高さ 18cm
  • 商品コード 9784062578516
  • NDC分類 410.9
  • Cコード C0255

出版社内容情報

「シャノンの情報理論」とともに、情報社会を生み出したコンピューターの理論「チューリングの計算理論」を分かりやすく解説する。　イギリスの数学者チューリングは、ヒルベルトの「決定問題」解決のために、万能計算機の数学的モデル「チューリング・マシン」のアイディアに至った。この「チューリング・マシン」こそが、コンピュータの万能性を保証する数学的基礎になった。
　チューリングは、「チューリング・マシン」を使って、計算という行為を徹底的に検証した。そして、手順を示すことと、計算ができることが同じであることを示した。その手順はアルゴリズムと呼ばれ、いまではソフトウェアと言われている。
　本書は、コンピュータの原理としてのチューリング・マシンを解説するとともに、決定問題を解決した有名な「チューリング・マシンの停止問題」も分かりやすく説明します。さらに計算量と、７大難問の一つ「P＝NP問題」についても、わかりやすく解説します。

第１章　人間にとっての計算
第２章　機械に計算をさせようという試み　
第３章　オートマトンとチューリング・マシン
第４章　決定問題
第５章　万能チューリング・マシン
第６章　計算量の話
第７章　コンピュータへの道のり


高岡 詠子［タカオカ エイコ］
著・文・その他

内容説明

チューリングは、ヒルベルトの「決定問題」を研究する中で、彼が提案した万能計算機の数学的モデル「チューリング・マシン」を使って、計算という行為を徹底的に検証した。そして、手順を示すことと、計算ができることが同じであることを示した。その手順はアルゴリズムと呼ばれ、いまではソフトウェアと言われている。コンピュータの原理としてのチューリング・マシンを解説するとともに、有名な「チューリング・マシンの停止問題」も分かりやすく説明。

目次

第１章　人間にとっての計算
第２章　機械に計算させようという試み
第３章　オートマトンとチューリング・マシン
第４章　決定問題
第５章　万能チューリング・マシン
第６章　計算量の話
第７章　コンピュータへの道のり

著者等紹介

高岡詠子［タカオカエイコ］
東京都に生まれる。慶應義塾大学理工学部数理科学科卒業、同大学大学院理工学研究科計算機科学専攻博士課程修了。千歳科学技術大学総合光科学部准教授等を経て、上智大学理工学部情報理工学科准教授。博士（工学）。国際基督教大学、明治学院大学非常勤講師。専攻は、計算機科学、データベース、プログラミング教育、情報教育（本データはこの書籍が刊行された当時に掲載されていたものです）
※書籍に掲載されている著者及び編者、訳者、監修者、イラストレーターなどの紹介情報です。

感想・レビュー

※以下の感想・レビューは、株式会社ブックウォーカーの提供する「読書メーター」によるものです。

かんやん

27
ヒルベルトの23の未解決問題の一つ決定問題とは、式（証明問題）が与えられたら、それを計算（証明）するアルゴリズム（機械的な手順）はあるかということ。チューリングマシンは計算をアルゴリズムで書き表すために考案された。紙と鉛筆があればアルゴリズムを確かめることができるけど、マジでメンドーです。問題を解くアルゴリズムが存在しないとき、それは計算不可能である。ゲーデル不完全性定理によって決定問題には既に解が与えられていたが、チューリングマシンはコンピュータサイエンスの礎になる。他に計算量とP対NP問題などの話題。2022/09/19

kaizen@名古屋de朝活読書会

25
#説明歌　計算機計算できるかできないか計算量の予測確認2017/05/14

calaf

21
ほとんどは、概要は知っていたけど...という感じの内容。それにしても、言葉遊びのような部分も多く、結構ややこしい...まぁ、落ち着いて考えれば分かってくるのだけど (^_^;;; そして...チューリング・マシンでのかけ算の結果はどこに書かれているのだ？？？ (笑)2014/05/20

あなほりふくろう

20
万能チューリングマシンのあたりから混乱し始めましたが（苦笑）学生向けの計算機科学の入門書としては適当だと思いました。ざっくりの道中だったのでもう少し時間に余裕をもって取り組めば理解も深まりそうだったな、と自分の側に残念。「P=NP問題」がなんじゃらほいだったところだったので、概要を掴めたことははっきり収穫でした。2014/07/09

nbhd

13
ゲーデル（１１）オワタ。結論からいってしまえば、不完全性定理はチューリングマシンの考え方を援用した方が、その内容は理解しやすい、オワタ…ということが書いてあるチューリング本。だけど、目下の課題はゲーデルの方法に挑むことなので、まぁそこは一旦目をつぶる。数学の勉強をしてきて「数える」とか「無限」みたいな人間の抽象的な営みや概念の深さに感動してきたけど、チューリングに端を発する「計算する」っていうやつも奥深くて素晴らしい。そいで、それがコンピューターの礎になってるっていう…１０年前に勉強しておけばよかったなぁ2016/04/05

外部のウェブサイトに移動します

よろしければ下記URLをクリックしてください。

https://bookmeter.com/books/7910602
  • ご注意事項

    ご注意
    リンク先のウェブサイトは、株式会社ブックウォーカーの提供する「読書メーター」のページで、紀伊國屋書店のウェブサイトではなく、紀伊國屋書店の管理下にはないものです。
    この告知で掲載しているウェブサイトのアドレスについては、当ページ作成時点のものです。ウェブサイトのアドレスについては廃止や変更されることがあります。
    最新のアドレスについては、お客様ご自身でご確認ください。
    リンク先のウェブサイトについては、「株式会社ブックウォーカー」にご確認ください。