close
1.

図書

図書
野崎昭弘著
出版情報: 東京 : 共立出版, 1987.10  vii, 220p ; 22cm
シリーズ名: 計算機科学/ソフトウェア技術講座 / 廣瀬健 [ほか] 編 ; 5
所蔵情報: loading…
2.

図書

図書
丸岡章著
出版情報: 東京 : サイエンス社, 2017.12  vi, 279p ; 21cm
シリーズ名: Information & computing ; 117
所蔵情報: loading…
目次情報: 続きを見る
1 計算理論とは : 系列を操作するしくみ
計算理論のあらまし ほか
2 有限オートマトンと正規表現 : 有限オートマトンの動き
有限オートマトンの設計 ほか
3 プッシュダウンオートマトンと文脈自由言語 : 文脈自由文法の定義
正規文法、文脈自由文法、文脈依存文法 ほか
4 計算可能性 : チューリング機械の定義
多テープチューリング機械 ほか
1 計算理論とは : 系列を操作するしくみ
計算理論のあらまし ほか
2 有限オートマトンと正規表現 : 有限オートマトンの動き
3.

図書

図書
グレゴリー・J・チャイティン著 ; 黒川利明訳
出版情報: 府中 (東京都) : エスアイビー・アクセス , 東京 : 星雲社 (発売), 2021.2  111p ; 21cm
所蔵情報: loading…
目次情報: 続きを見る
第1章 : 数学の基礎に関する百年論争
第2章 : LISP:数学アルゴリズムを表現する形式
第3章 : 不完全性定理についてのゲーデルの証明
第4章 : 停止問題の解決不可能性についてのチューリングの証明
第5章 : LISP式がエレガントであることを証明できないという私の証明
第6章 : 情報とランダムさ:アルゴリズム的情報理論概観
第7章 : 数学の第三千年紀
第1章 : 数学の基礎に関する百年論争
第2章 : LISP:数学アルゴリズムを表現する形式
第3章 : 不完全性定理についてのゲーデルの証明
4.

図書

図書
グレゴリー.J.チャイティン著 ; 黒川利明訳
出版情報: 府中 : エスアイビー・アクセス , 東京 : 星雲社 (発売), 2021.2  138p ; 21cm
所蔵情報: loading…
目次情報: 続きを見る
第1講 算術におけるランダム性と純粋数学における還元主義の衰退
第2講 エレガントなLISPプログラム
第3講 アルゴリズム的情報理論への招待
補講1 数学の限界 : examples.r
godel.r
utm.r
gode12.r
omega.r
omega2.r
omega3.r
godel3.r
補講2 : MathematicaによるLISPインタープリタ
第1講 算術におけるランダム性と純粋数学における還元主義の衰退
第2講 エレガントなLISPプログラム
第3講 アルゴリズム的情報理論への招待
5.

図書

図書
足立暁生, 西野哲朗著
出版情報: 東京 : 朝倉書店, 1988.8  vii, 172p ; 22cm
所蔵情報: loading…
6.

図書

図書
竹内外史著
出版情報: 東京 : 裳華房, 1995.11  vi, 205p ; 22cm
所蔵情報: loading…
7.

図書

図書
Dewdney, Alexander Keewatin ; 足立, 暁生(1936-)
出版情報: 東京 : 東京電機大学出版局, 1993.2  x, 155p ; 21cm
シリーズ名: チューリングオムニバス : コンピュータサイエンスへの旅 / A. K. デュードニー著 ; 足立暁生訳 ; 第2巻
所蔵情報: loading…
8.

図書

図書
笠井琢美, 戸田誠之助著
出版情報: 東京 : 共立出版, 1993.6  ix, 225p ; 22cm
シリーズ名: 情報数学講座 ; 4
所蔵情報: loading…
9.

図書

図書
竹内外史著
出版情報: 東京 : 日本評論社, 1996.9  viii, 250p ; 22cm
所蔵情報: loading…
10.

図書

図書
野崎昭弘著
出版情報: 東京 : 講談社, 2015.9  219p ; 18cm
シリーズ名: ブルーバックス ; B-1933
所蔵情報: loading…
目次情報: 続きを見る
第0章 : 現代社会とコンピュータ
第1章 : コンピュータとは何ものか
第2章 : コンピュータ科学の誕生
第3章 : アルゴリズムの理論
第4章 : P≠NP問題
第5章 : おわりに
第0章 : 現代社会とコンピュータ
第1章 : コンピュータとは何ものか
第2章 : コンピュータ科学の誕生
概要: 問題を解く鍵はアルゴリズムと時間計算量だ!20世紀、急速に進化・発展したコンピュータの世界。コンピュータに計算させるためのプログラム、その基になるアルゴリズムの理論が誕生した。アルゴリズム、そして計算量の理論から生まれた多項式時間(P)で解 けるとは、そして、非決定性多項式時間(NP)で解けるとはどういうことか。 続きを見る
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼