yr 〜
yr

Search results 14

チューリングの考えるキカイ : 人工知能の父に学ぶコンピュータ・サイエンスの基礎

チューリングの考えるキカイ : 人工知能の父に学ぶコンピュータ・サイエンスの基礎
Paper図書児童書
阿部彩芽, 笠井琢美 共著技術評論社2018.5<MA41-L83>
National Diet LibraryOther Libraries in Japan
  • Subject Headingチューリング機械

精霊の箱 : チューリングマシンをめぐる冒険 上 (ARCHIMAGE GARRET'S APPRENTICESHIP ; 2)

精霊の箱 : チューリングマシンをめぐる冒険 上 (ARCHIMAGE GARRET'S APPRENTICESHIP ; 2)
PaperRecording Media図書障害者向け資料あり
川添愛 著東京大学出版会2016.10<MA41-L59>
National Diet LibraryOther Libraries in Japan
  • Subject Headingチューリング機械

精霊の箱 : チューリングマシンをめぐる冒険 下 (ARCHIMAGE GARRET'S APPRENTICESHIP ; 2)

精霊の箱 : チューリングマシンをめぐる冒険 下 (ARCHIMAGE GARRET'S APPRENTICESHIP ; 2)
PaperRecording Media図書障害者向け資料あり
川添愛 著東京大学出版会2016.10<MA41-L60>
National Diet LibraryOther Libraries in Japan
  • Subject Headingチューリング機械

チューリングマシン説明できますか?

チューリングマシン説明できますか?
Paper図書
坂井久司 著カットシステム2013.9<MA41-L36>
National Diet LibraryOther Libraries in Japan
  • Subject Headingチューリング機械

チューリングと超(メタ)パズル : 解ける問題と解けない問題

チューリングと超(メタ)パズル : 解ける問題と解けない問題
Paper図書
田中一之 著東京大学出版会2013.11<MA41-L19>
National Diet LibraryOther Libraries in Japan
  • Subject Headingチューリング機械 パズル

コンピュータ理論の起源 第1巻

コンピュータ理論の起源 第1巻
PaperDigital図書
伊藤和行 編, 佐野勝彦, 杉本舞 訳・解説近代科学社2014.1<M154-L74>
National Diet LibraryOther Libraries in Japan
  • Subject Headingコンピュータ チューリング機械

可逆計算 (ナチュラルコンピューティング・シリーズ = Natural Computing ; 第5巻)

可逆計算 (ナチュラルコンピューティング・シリーズ = Natural Computing ; 第5巻)
PaperDigital図書
森田憲一 著近代科学社2012.3<M121-J217>
National Diet LibraryOther Libraries in Japan
  • Toc / Article1　可逆計算とは 2　可逆チューリング機械 3　可逆論理素子と可逆論理回路 4　可逆論理素子で可逆計算...
  • Contents...書の構成と読み方 第2章 可逆チューリング機械 2.1 普通のチューリング機械と可逆チューリング機械 2.2 普通のチューリング機械を可逆的な機械に作り変える 第......械を作る 4.2 つづいて可逆チューリング機械をロータリー素子で作る 4.3......計方法 5.4 可逆CAで可逆チューリング機械をシミュレートする 5.5 単......可逆システム 7.1 万能可逆チューリング機械を構成する 7.2 単純な1次元万能可逆セルオートマトンを構...
  • Subject Headingオートマトン チューリング機械

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

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

将来の計算機構としての可逆コンピューティングの研究

将来の計算機構としての可逆コンピューティングの研究
Paper図書
森田憲一, 広島大学 [著][森田憲一]2004-2007<Y151-H16500012>
National Diet Library
  • Subject Heading可逆計算機構 / 可逆論理 / 可逆セルオートマトン / 計算万能性 / 可逆チューリング機械 / 万能チューリング機械

計算論への入門 : オートマン・言語理論・チューリング機械 (スタンダードテキスト = Standard text)

計算論への入門 : オートマン・言語理論・チューリング機械 (スタンダードテキスト = Standard text)
Paper図書
エフィーム・キンバー, カール・スミス 著, 筧捷彦 監修, 杉原崇憲 訳ピアソン・エデュケーション2002.10<M121-G341>
National Diet LibraryOther Libraries in Japan
  • Subject Headingオートマトン チューリング機械
  • Authority（Subject Heading/broader/narrower）チューリング機械 オートマトン 計算量理論 計算機械・器具 形式言語

チューリングマシンと計算量の理論 (情報数理シリーズ ; B-2)

チューリングマシンと計算量の理論 (情報数理シリーズ ; B-2)
Paper図書
守屋悦朗 著培風館1997.11<MA41-G39>
National Diet LibraryOther Libraries in Japan
  • Subject Heading計算量理論 アルゴリズム チューリング機械

アルゴリズムと計算理論 (情報工学入門シリーズ ; 6)

アルゴリズムと計算理論 (情報工学入門シリーズ ; 6)
PaperDigital図書
足立暁生 著森北出版1990.12<MA41-E49>
National Diet LibraryOther Libraries in Japan
  • Subject Headingアルゴリズム チューリング機械

チューリング

チューリング
Paper図書
[チューリング著] ; 伊藤和行編 ; 佐野勝彦, 杉本舞訳・解説近代科学社2014.1.
Other Libraries in Japan
  • Subject HeadingTuring, Alan Mathison(1912-1954) コンピュータ -- 歴史 チューリング機械
  • Subject Heading (ID)Turing, Alan Mathison(1912-1954) コンピュータ -- 歴史 チューリング機械

計算論への入門 : オートマトン・言語理論・チューリング機械

計算論への入門 : オートマトン・言語理論・チューリング機械
Paper図書
エフィーム・キンバー, カール・スミス著 ; 筧捷彦監修 ; 杉原崇憲訳ピアソン・エデュケーション2002.10
Other Libraries in Japan
  • Subject Headingオートマトン チューリング機械
  • Subject Heading (ID)オートマトン チューリング機械

Reached to the end of result.