yr 〜
yr

Search results 96

形式論理と計算可能性 (東京大学工学教程 ; 情報工学)

形式論理と計算可能性 (東京大学工学教程 ; 情報工学)
Paper図書
蓮尾一郎, 浅田和之 著丸善出版2024.9<M121-R112>
National Diet LibraryOther Libraries in Japan
  • Subject Heading計算量理論

計算理論の基礎 2

計算理論の基礎 2
Paper図書
Michael Sipser 著, 田中圭介, 藤岡淳 監訳, 阿部正幸 [ほか] 訳共立出版2023.5<M121-M636>
National Diet LibraryOther Libraries in Japan
  • Subject Heading計算量理論

計算理論の基礎 3

計算理論の基礎 3
Paper図書
Michael Sipser 著, 田中圭介, 藤岡淳 監訳, 阿部正幸 [ほか] 訳共立出版2023.5<M121-M637>
National Diet LibraryOther Libraries in Japan
  • Subject Heading計算量理論 複雑系

知の限界 復刻改装版

知の限界 復刻改装版
Paper図書
グレゴリー・J・チャイティン 著, 黒川利明 訳エスアイビー・アクセス2021.2<MA41-M31>
National Diet LibraryOther Libraries in Japan
  • Subject Heading計算量理論

数学の限界 復刻改装版

数学の限界 復刻改装版
Paper図書
グレゴリー・J・チャイティン 著, 黒川利明 訳エスアイビー・アクセス2021.2<MA41-M30>
National Diet LibraryOther Libraries in Japan
  • Subject Heading計算量理論

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

計算できるもの、計算できないもの : 実践的アプローチによる計算理論入門
Paper図書
John MacCormick 著, 松崎公紀 監訳, 長尾高弘 訳オライリー・ジャパン2020.12<MA41-M28>
National Diet LibraryOther Libraries in Japan
  • Subject Heading計算量理論

計算理論の基礎 1

計算理論の基礎 1
Paper図書
Michael Sipser 著, 田中圭介, 藤岡淳 監訳, 阿部正幸 [ほか] 訳共立出版2023.4<M121-M617>
National Diet LibraryOther Libraries in Japan
  • Subject Heading計算量理論 オートマトン
  • Authority（Subject Heading/broader/narrower）オートマトン アルゴリズム チューリング機械 計算量理論 計算機械・器具 形式言語

パズルの算法 : 手とコンピュータでのパズルの味わい方

パズルの算法 : 手とコンピュータでのパズルの味わい方
Paper図書
上原隆平 著日本評論社2024.9<MA34-R3>
National Diet LibraryOther Libraries in Japan
  • Subject Heading数学遊戯 アルゴリズム 計算量理論
  • Authority（Subject Heading/broader/narrower）パズル オートマトン 魔方陣 遺伝的アルゴリズム アルゴリズム 乗法 除法 情報処理 計算量理論

計算理論と数理論理学

計算理論と数理論理学
Paper図書
田中一之 著共立出版2022.6<MA41-M44>
National Diet LibraryOther Libraries in Japan
  • Subject Heading計算量理論 記号論理学

計算理論とオートマトン言語理論 : コンピュータの原理を明かす 第2版 (Information & Computing ; 122)

計算理論とオートマトン言語理論 : コンピュータの原理を明かす 第2版 (Information & Computing ; 122)
Paper図書
丸岡章 著サイエンス社2021.11<M121-M473>
National Diet LibraryOther Libraries in Japan
  • Subject Headingオートマトン 計算量理論
  • Authority（Subject Heading/broader/narrower）チューリング機械 アルゴリズム 計算量理論 計算機械・器具 形式言語 オートマトン

やさしい計算理論 : 有限オートマトンからチューリング機械まで (Information & Computing ; 117)

やさしい計算理論 : 有限オートマトンからチューリング機械まで (Information & Computing ; 117)
Paper図書
丸岡章 著サイエンス社2017.12<M121-L438>
National Diet LibraryOther Libraries in Japan
  • Subject Heading計算量理論

基礎から学ぶ量子計算 : アルゴリズムと計算量理論

基礎から学ぶ量子計算 : アルゴリズムと計算量理論
PaperDigital図書
西村治道 著オーム社2022.11<M121-M567>
National Diet LibraryOther Libraries in Japan
  • Summary, etc.量子計算のアルゴリズムと計算量理論について、一からわかりやすく解説した書籍。読者自ら手を動かし...
  • Subject Heading量子コンピュータ アルゴリズム 計算量理論
  • Authority（Subject Heading/broader/narrower）コンピュータ オートマトン 量子力学 遺伝的アルゴリズム アルゴリズム 量子情報 乗法 除法 情報処理 計算量理論

「P≠NP」問題 : 現代数学の超難問 (ブルーバックス ; B-1933)

「P≠NP」問題 : 現代数学の超難問 (ブルーバックス ; B-1933)
PaperDigital図書
野﨑昭弘 著講談社2015.9<MA41-L49>
National Diet LibraryOther Libraries in Japan
  • Toc / Article...-2　アルゴリズム理論の展開_計算量理論 3-3　アルゴリズム理論の題材 3-4　アルゴリズム理論の...
  • Contents内容紹介：コンピュータの歴史から、アルゴリズム理論、計算量理論を経て、２０００年にアメリカのクレイ研究所がミレニアム問題と...
  • Subject Heading計算量理論

今度こそわかるP≠NP予想 (今度こそわかるシリーズ)

今度こそわかるP≠NP予想 (今度こそわかるシリーズ)
PaperDigital図書
渡辺治 著講談社2014.3<MA41-L22>
National Diet LibraryOther Libraries in Japan
  • Subject Heading計算量理論

P≠NP予想とはなんだろう : ゴールデンチケットは見つかるか?

P≠NP予想とはなんだろう : ゴールデンチケットは見つかるか?
Paper図書児童書
ランス・フォートナウ 著, 水谷淳 訳日本評論社2014.5<MA41-L26>
National Diet LibraryOther Libraries in Japan
  • Subject Heading計算量理論

計算理論入門 (数理情報科学シリーズ ; 27)

計算理論入門 (数理情報科学シリーズ ; 27)
Paper図書
五十嵐善英, Forbes D.Lewis, 舩田眞里子 著牧野書店2013.6<M121-L30>
National Diet LibraryOther Libraries in Japan
  • Subject Heading計算量理論

独習コンピュータ科学基礎 3

独習コンピュータ科学基礎 3
Paper図書
James L.Hein 著, 神林靖 訳翔泳社2012.4<M154-J309>
National Diet LibraryOther Libraries in Japan
  • Toc / Article...　完全性 14.3.6　形式的計算量理論 14.4　章のまとめ<br/><br/>付録<br/><b...
  • Subject Heading計算量理論

乱数生成と計算量理論 (確率と情報の科学)

乱数生成と計算量理論 (確率と情報の科学)
Paper図書
小柴健史 著岩波書店2014.11<MA251-L12>
National Diet LibraryOther Libraries in Japan
  • Subject Heading数値計算 乱数 計算量理論

P=NP(ぴーえぬぴー)?問題へのアプローチ

P=NP(ぴーえぬぴー)?問題へのアプローチ
Paper図書
西野哲朗 著日本評論社2009.9<MA41-J23>
National Diet LibraryOther Libraries in Japan
  • Contents内容紹介：計算量理論の解説を通して、Ｐ＝ＮＰ？問題へのアプローチの現状を紹介する...
  • Subject Heading計算量理論

C言語による計算の理論 (Computer science library ; 4)

C言語による計算の理論 (Computer science library ; 4)
Paper図書
鹿島亮 著サイエンス社2008.10<MA41-J13>
National Diet LibraryOther Libraries in Japan
  • Subject Heading計算量理論