yr 〜
yr

Search results 53

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

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

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

パズルの算法 : 手とコンピュータでのパズルの味わい方
Paper図書
上原隆平 著日本評論社2024.9<MA34-R3>
National Diet LibraryOther Libraries in Japan
  • Subject Heading (ID)00571528 00560337 00576481

計算理論の基礎 2

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

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

基礎から学ぶ量子計算 : アルゴリズムと計算量理論
PaperDigital図書
西村治道 著オーム社2022.11<M121-M567>
National Diet LibraryOther Libraries in Japan
  • Subject Heading (ID)01072652 00560337 00576481

計算理論の基礎 3

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

計算理論の基礎 1

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

計算理論と数理論理学

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

知の限界 復刻改装版

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

数学の限界 復刻改装版

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

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

計算理論とオートマトン言語理論 : コンピュータの原理を明かす 第2版 (Information & Computing ; 122)
Paper図書
丸岡章 著サイエンス社2021.11<M121-M473>
National Diet LibraryOther Libraries in Japan
  • Subject Heading (ID)00568995 00576481

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

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

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

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

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

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

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

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

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

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

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

「P≠NP」問題 : 現代数学の超難問 (ブルーバックス ; B-1933)
PaperDigital図書
野﨑昭弘 著講談社2015.9<MA41-L49>
National Diet LibraryOther Libraries in Japan
  • Subject Heading (ID)00576481

チューリングの計算理論入門 : チューリング・マシンからコンピュータへ (ブルーバックス ; B-1851)

チューリングの計算理論入門 : チューリング・マシンからコンピュータへ (ブルーバックス ; B-1851)
PaperDigital図書
高岡詠子 著講談社2014.2<MA41-L21>
National Diet LibraryOther Libraries in Japan
  • Subject Heading (ID)00576481 00560337 00573533

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

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

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

独習コンピュータ科学基礎 3
Paper図書
James L.Hein 著, 神林靖 訳翔泳社2012.4<M154-J309>
National Diet LibraryOther Libraries in Japan
  • Subject Heading (ID)00576481

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

P=NP(ぴーえぬぴー)?問題へのアプローチ
Paper図書
西野哲朗 著日本評論社2009.9<MA41-J23>
National Diet LibraryOther Libraries in Japan
  • Subject Heading (ID)00576481