計算できるもの、計算できないもの 実践的アプローチによる計算理論入門
Ｊｏｈｎ ＭａｃＣｏｒｍｉｃｋ／著 松崎公紀／監訳 長尾高弘／訳
発売日：2020年12月
- ページ数
- ４００ｐ
- ISBN
- 978-4-87311-933-5
- 著者情報
- マコーミック，ジョン（マコーミック，ジョン）（ＭａｃＣｏｒｍｉｃｋ，Ｊｏｈｎ）
ペンシルバニア州にあるディッキンソン大学のコンピュータサイエンスの准教授。コンピュータサイエンス分野の先進的な教育者であり、研究者、作家。オックスフォード大学でコンピュータビジョンの博士号を取得。Ｈｅｗｌｅｔｔ‐ＰａｃｋａｒｄならびにＭｉｃｒｏｓｏｆｔの研究所勤務の経験がある
松崎 公紀（マツザキ キミノリ）
東京大学工学部卒、同大学院博士課程中退。東京大学助手、助教、高知工科大学准教授を経て、２０１８年より高知工科大学教授。博士（情報理工学）。数理的手法によるプログラミング技法（特に並列プログラミングに対する応用）、および、深層学習によるゲームプログラミングについて研究している
長尾 高弘（ナガオ タカヒロ）
１９６０年生まれ、東京大学教育学部卒、（株）ロングテール社長、技術翻訳者
セブン-イレブン受取り(送料無料)
発送目安
発売日（発売日以降は当日）～2日で発送
宅配（送料¥550税込）
発送目安
発売日（発売日以降は当日）～2日で発送
交通状況・天候の影響や注文が集中した場合等、お届けにお時間をいただく場合がございます。
商品説明
プログラミングを通して手を動かしながら学ぶ計算理論の美しく深遠な概念。
ゲーデル、チャーチ、チューリングの偉業を踏まえつつ、計算理論をわかりやすくかつ厳密に説明する教科書！
コンピュータサイエンスの「基本中の基本」である計算理論について、理論だけの難しい話に終始せずに、実際のプログラム（書籍ではPythonを使用。WebではJavaも用意）を示し、実践的なアプローチからも理解を促します。扱うトピックは、チューリングマシン、有限オートマトン、計算可能性問題、非決定性、NP完全問題など、計算理論の教科書としては定番とも言えるものですが、コンピュータサイエンスの根幹を支える理論だけでなく、その歴史的発展と意義についても理解することができます。
目次
全体像（はじめに：計算できるもの、できないものとは）
第１部 計算可能性理論（コンピュータプログラムとは何か
不可能なＰｙｔｈｏｎプログラム
計算問題とは何か ほか）
第２部 計算量理論（計算量理論：効率が重視されるとき
クラスＰｏｌｙとクラスＥｘｐｏ：もっとも根本的な２つの計算量クラス
クラスＰｏｌｙＣｈｅｃｋとクラスＮＰｏｌｙ：簡単に検証できる難しい問題 ほか）
第３部 起源と応用（もともとのチューリングマシン
正しいことをすべて証明できるとは限らない
カープの２１個の問題 ほか）
商品詳細
- 出版社名
- オライリー・ジャパン
- サイズ
- ２４ｃｍ
- 対象年齢
- 一般
- フォーマット
- 単行本
- 原題
- 原タイトル：ＷＨＡＴ ＣＡＮ ＢＥ ＣＯＭＰＵＴＥＤ？
注意事項
- 本の帯に関して
- 帯つきでの出荷はお約束しておりません。
商品ページに、帯のみに付与される特典物等の表記がある場合でも、確実に帯つきでの出荷はお約束しておりません。
また、帯は商品の一部ではなく「広告扱い」のため、帯の有無・破損による交換や返品は承っておりません。 - 版・表紙について
- 版・表紙（カバー）のご指定は承っておりません。ご注文いただくタイミングによっては、お届けする商品の版や表紙が商品ページ上のものとは異なる場合がございます。
また、初版にのみにお付けしている特典（初回特典、初回仕様特典）がある商品は、商品ページに特典の表記がされている場合でも、無くなり次第終了となります。