検索結果書誌詳細

  • 書誌の詳細です。 現在、予約しているのは 0 件です。
  • 「資料情報」から書誌を予約カートに入れるページに移動します。

蔵書情報

この資料の蔵書に関する統計情報です。現在の所蔵数 在庫数 予約数などを確認できます。

所蔵数 1 在庫数 1 予約数 0

書誌情報サマリ

書名

計算できるもの、計算できないもの 

著者名 John MacCormick/著
著者名ヨミ John MacCormick
出版者 オライリー・ジャパン
出版年月 2020.12


この資料に対する操作

カートに入れる を押すと この資料を 予約する候補として予約カートに追加します。

いますぐ予約する を押すと 認証後この資料をすぐに予約します。

  

この資料に対する操作

電子書籍を読むを押すと 電子図書館に移動しこの資料の電子書籍を読むことができます。


登録するリストログインメモ


資料情報

各蔵書資料に関する詳細情報です。

No. 資料番号 請求記号 帯出区分 状態 配架場所 貸出
1 0107543787007.1/マコ/貸閲複可在庫 2階一般

関連資料

この資料に関連する資料を 同じ著者 出版年 分類 件名 受賞などの切り口でご紹介します。

John MacCormick 松崎 公紀 長尾 高弘
2020
007.1 007.1
オートマトン 計算量理論 プログラミング(コンピュータ)

書誌詳細

この資料の書誌詳細情報です。

タイトルコード 1009951983353
書誌種別 和図書(一般)
著者名 John MacCormick/著   松崎 公紀/監訳   長尾 高弘/訳
著者名ヨミ John MacCormick マツザキ キミノリ ナガオ タカヒロ
出版者 オライリー・ジャパン
出版年月 2020.12
ページ数 18,400p
大きさ 24cm
ISBN 4-87311-933-5
分類記号 007.1
分類記号 007.1
書名 計算できるもの、計算できないもの 
書名ヨミ ケイサン デキル モノ ケイサン デキナイ モノ
副書名 実践的アプローチによる計算理論入門
副書名ヨミ ジッセンテキ アプローチ ニ ヨル ケイサン リロン ニュウモン
内容紹介 結果の証明にPythonプログラムを利用する実践的なアプローチにより、計算可能問題と計算不能問題などを、アラン・チューリングとリチャード・カープの論文の抜粋とともに解明する。サンプルコードがダウンロード可能。
著者紹介 ディッキンソン大学のコンピュータサイエンスの准教授。コンピュータサイエンス分野の先進的な教育者であり、研究者、作家。著書に「世界でもっとも強力な9のアルゴリズム」がある。

(他の紹介)内容紹介 プログラミングを通して手を動かしながら学ぶ計算理論の美しく深遠な概念。
(他の紹介)目次 全体像(はじめに:計算できるもの、できないものとは)
第1部 計算可能性理論(コンピュータプログラムとは何か
不可能なPythonプログラム
計算問題とは何か ほか)
第2部 計算量理論(計算量理論:効率が重視されるとき
クラスPolyとクラスExpo:もっとも根本的な2つの計算量クラス
クラスPolyCheckとクラスNPoly:簡単に検証できる難しい問題 ほか)
第3部 起源と応用(もともとのチューリングマシン
正しいことをすべて証明できるとは限らない
カープの21個の問題 ほか)
(他の紹介)著者紹介 マコーミック,ジョン
 ペンシルバニア州にあるディッキンソン大学のコンピュータサイエンスの准教授。コンピュータサイエンス分野の先進的な教育者であり、研究者、作家。オックスフォード大学でコンピュータビジョンの博士号を取得。Hewlett‐PackardならびにMicrosoftの研究所勤務の経験がある(本データはこの書籍が刊行された当時に掲載されていたものです)
松崎 公紀
 東京大学工学部卒、同大学院博士課程中退。東京大学助手、助教、高知工科大学准教授を経て、2018年より高知工科大学教授。博士(情報理工学)。数理的手法によるプログラミング技法(特に並列プログラミングに対する応用)、および、深層学習によるゲームプログラミングについて研究している(本データはこの書籍が刊行された当時に掲載されていたものです)
長尾 高弘
 1960年生まれ、東京大学教育学部卒、(株)ロングテール社長、技術翻訳者(本データはこの書籍が刊行された当時に掲載されていたものです)


目次


内容細目

前のページへ

本文はここまでです。


ページの終わりです。