計算できるもの、計算できないもの―実践的アプローチによる計算理論入門 [単行本]

計算できるもの、計算できないもの―実践的アプローチによる計算理論入門 の 商品概要

• 要旨（「BOOK」データベースより）

  プログラミングを通して手を動かしながら学ぶ計算理論の美しく深遠な概念。

• 目次（「BOOK」データベースより）

  全体像（はじめに：計算できるもの、できないものとは）
  第１部　計算可能性理論（コンピュータプログラムとは何か；不可能なＰｙｔｈｏｎプログラム；計算問題とは何か　ほか）
  第２部　計算量理論（計算量理論：効率が重視されるとき；クラスＰｏｌｙとクラスＥｘｐｏ：もっとも根本的な２つの計算量クラス；クラスＰｏｌｙＣｈｅｃｋとクラスＮＰｏｌｙ：簡単に検証できる難しい問題　ほか）
  第３部　起源と応用（もともとのチューリングマシン；正しいことをすべて証明できるとは限らない；カープの２１個の問題　ほか）

• 出版社からのコメント

  コンピュータサイエンスの基本である計算理論について、難しい話に終始せず、実際のプログラムを示し、実践的にアプローチする。

• 内容紹介

  ゲーデル、チャーチ、チューリングの偉業を踏まえつつ、計算理論をわかりやすくかつ厳密に説明する教科書！
  コンピュータサイエンスの「基本中の基本」である計算理論について、理論だけの難しい話に終始せずに、実際のプログラム（書籍ではPythonを使用。WebではJavaも用意）を示し、実践的なアプローチからも理解を促します。扱うトピックは、チューリングマシン、有限オートマトン、計算可能性問題、非決定性、NP完全問題など、計算理論の教科書としては定番とも言えるものですが、コンピュータサイエンスの根幹を支える理論だけでなく、その歴史的発展と意義についても理解することができます。

• 著者紹介（「BOOK著者紹介情報」より）（本データはこの書籍が刊行された当時に掲載されていたものです）

  マコーミック,ジョン(マコーミック,ジョン／MacCormick,John)
  ペンシルバニア州にあるディッキンソン大学のコンピュータサイエンスの准教授。コンピュータサイエンス分野の先進的な教育者であり、研究者、作家。オックスフォード大学でコンピュータビジョンの博士号を取得。Ｈｅｗｌｅｔｔ‐ＰａｃｋａｒｄならびにＭｉｃｒｏｓｏｆｔの研究所勤務の経験がある
  
  松崎 公紀(マツザキ キミノリ)
  東京大学工学部卒、同大学院博士課程中退。東京大学助手、助教、高知工科大学准教授を経て、２０１８年より高知工科大学教授。博士（情報理工学）。数理的手法によるプログラミング技法（特に並列プログラミングに対する応用）、および、深層学習によるゲームプログラミングについて研究している
  
  長尾 高弘(ナガオ タカヒロ)
  １９６０年生まれ、東京大学教育学部卒、（株）ロングテール社長、技術翻訳者

計算できるもの、計算できないもの―実践的アプローチによる計算理論入門 の商品スペック