蔵書情報
この資料の蔵書に関する統計情報です。現在の所蔵数 在庫数 予約数などを確認できます。
この資料に対する操作
電子書籍を読むを押すと 電子図書館に移動しこの資料の電子書籍を読むことができます。
資料情報
各蔵書資料に関する詳細情報です。
| No. |
所蔵館 |
資料番号 |
請求記号 |
配架場所 |
所蔵棚番号 |
資料種別 |
帯出区分 |
状態 |
付録 |
貸出
|
| 1 |
澄川 | 6012468960 | 313/テ/ | 図書室 | 9 | 一般図書 | 一般貸出 | 在庫 | |
○ |
関連資料
この資料に関連する資料を 同じ著者 出版年 分類 件名 受賞などの切り口でご紹介します。
書誌詳細
この資料の書誌詳細情報です。
| タイトルコード |
1008001901217 |
| 書誌種別 |
図書 |
| 書名 |
不完全性定理とはなにか ゲーデルとチューリング 天才はなにを証明したのか ブルーバックス |
| 書名ヨミ |
フカンゼンセイ テイリ トワ ナニカ |
| 著者名 |
竹内 薫/著
|
| 著者名ヨミ |
タケウチ カオル |
| 版表示 |
完全版 |
| 出版者 |
講談社
|
| 出版年月 |
2024.11 |
| ページ数 |
277p |
| 大きさ |
18cm |
| 分類記号 |
410.9
|
| 分類記号 |
410.9
|
| ISBN |
4-06-536226-6 |
| 内容紹介 |
証明が不可能であることは証明できるのか。「不完全性定理」のゲーデルと、「停止問題」のチューリング。同じことを全く別の視点から証明した天才たちの思考の軌跡を、集合論、ロジックとその過程を考えながら楽しく読み解く。 |
| 著者紹介 |
マギル大学大学院博士課程修了(高エネルギー物理学理論専攻、理学博士)。著書に「量子重力理論とはなにか」「「ファインマン物理学」を読む」など。 |
| 件名 |
不完全性定理 |
| 言語区分 |
日本語 |
| (他の紹介)内容紹介 |
量子力学の原理を使って複数の計算を同時に行い、スパコンを圧倒的に凌ぐ計算能力を持つ量子コンピューター。少し前まで「実現はするのは百年後」と目されていたが、2011年、カナダのD‐Wave社が突然、量子コンピューターの発売を発表。当初はその真偽が疑問視されていたが、2013年にGoogle,NASAが導入を決定。この快挙、実は日本人が開発した「量子アニーリング」方式の賜であった。暗号を軽々と解き、航空機のバグを即座に見つけ、今後社会をがらりと変えていく夢の計算機。量子コンピューターの凄さを、文系も楽しめるように基礎の基礎から解説する。 |
| (他の紹介)目次 |
第1章 そもそも、「計算する」ってどういうこと? 第2章 コンピューターとはなんだ? 第3章 コンピューターは、中で何をやっているのか? 第4章 量子ってなんだろう? 第5章 暗号―その華麗なる歴史 第6章 量子コンピューターって、なんだ? |
内容細目表
前のページへ