資料詳細

  • 1 件中、 1 件目

【図書】 計算できるもの、計算できないもの

実践的アプローチによる計算理論入門 --
Ｊｏｈｎ　ＭａｃＣｏｒｍｉｃｋ ／著, 松崎公紀 ／監訳, 長尾高弘 ／訳   -- オライリー・ジャパン -- ２０２０．１２ -- ２４ｃｍ -- ４００ｐ

資料詳細

タイトル 計算できるもの、計算できないもの
副書名 実践的アプローチによる計算理論入門
著者名等 Ｊｏｈｎ　ＭａｃＣｏｒｍｉｃｋ ／著, 松崎公紀 ／監訳, 長尾高弘 ／訳  
出版 オライリー・ジャパン ２０２０．１２
大きさ等 ２４ｃｍ ４００ｐ
分類 007.1
件名 計算量理論
注記 原タイトル：ＷＨＡＴ　ＣＡＮ　ＢＥ　ＣＯＭＰＵＴＥＤ？
注記 文献あり　索引あり
著者紹介 【Ｊｏｈｎ　ＭａｃＣｏｒｍｉｃｋ】ペンシルバニア州にあるディッキンソン大学のコンピュータサイエンスの准教授。コンピュータサイエンス分野の先進的な教育者であり、研究者、作家。オックスフォード大学でコンピュータビジョンの博士号を取得。著書に『Ｎｉｎｅ　Ａｌｇｏｒｉｔｈｍｓ　Ｔｈａｔ　Ｃｈａｎｇｅｄ　ｔｈｅ　Ｆｕｔｕｒｅ』（邦題『世界でもっとも強力な９のアルゴリズム』、日経ＢＰ）がある。（本データはこの書籍が刊行された当時に掲載されていたものです）
要旨 プログラミングを通して手を動かしながら学ぶ計算理論の美しく深遠な概念。
目次 全体像（はじめに：計算できるもの、できないものとは）；第１部　計算可能性理論（コンピュータプログラムとは何か；不可能なＰｙｔｈｏｎプログラム；計算問題とは何か　ほか）；第２部　計算量理論（計算量理論：効率が重視されるとき；クラスＰｏｌｙとクラスＥｘｐｏ：もっとも根本的な２つの計算量クラス；クラスＰｏｌｙＣｈｅｃｋとクラスＮＰｏｌｙ：簡単に検証できる難しい問題　ほか）；第３部　起源と応用（もともとのチューリングマシン；正しいことをすべて証明できるとは限らない；カープの２１個の問題　ほか）
ISBN(13)、ISBN 978-4-87311-933-5　　 4-87311-933-2
書誌番号 1113841770
URL https://opac.lib.city.yokohama.lg.jp/winj/opac/switch-detail.do?bibid=1113841770

ページの先頭へ

所蔵

所蔵は 1 件です。現在の予約件数は 0 件です。

所蔵館 所蔵場所 別置 請求記号 資料区分 状態 取扱 資料コード
中央 ４階自然科学 Map 情報科学 007.1 一般書 利用可 - 2068780686 iLisvirtual

ページの先頭へ