Jump to main content

yr 〜
yr

Search results 21

アラン・チューリング : AIの礎を築いた天才数学者 (角川まんが学習シリーズ ; N18. まんが人物伝)

アラン・チューリング : AIの礎を築いた天才数学者 (角川まんが学習シリーズ ; N18. まんが人物伝)
PaperDigital図書児童書
松尾豊 監修, 長田馨 まんが作画KADOKAWA2024.1<Y3-N24-R65>
National Diet LibraryOther Libraries in Japan
  • Subject HeadingTuring, Alan, 1912-1954

不完全性定理とはなにか : ゲーデルとチューリング天才はなにを証明したのか 完全版 (ブルーバックス ; B-2277)

不完全性定理とはなにか : ゲーデルとチューリング天才はなにを証明したのか 完全版 (ブルーバックス ; B-2277)
PaperDigital図書
竹内薫 著講談社2024.11<MA41-R12>
National Diet LibraryOther Libraries in Japan
  • Subject Headingゲーデルの定理 Turing, Alan, 1912-1954

エニグマ アラン・チューリング伝 上

エニグマ アラン・チューリング伝 上
Paper図書
アンドルー・ホッジス 著, 土屋俊, 土屋希和子 訳勁草書房2015.2<GK552-L9>
National Diet LibraryOther Libraries in Japan
  • Subject HeadingTuring, Alan, 1912-1954

エニグマ アラン・チューリング伝 下

エニグマ アラン・チューリング伝 下
Paper図書
アンドルー・ホッジス 著, 土屋俊, 土屋希和子, 村上祐子 訳勁草書房2015.8<GK552-L12>
National Diet LibraryOther Libraries in Japan
  • Subject HeadingTuring, Alan, 1912-1954

マンガエニグマに挑んだ天才数学者チューリング

マンガエニグマに挑んだ天才数学者チューリング
PaperDigital図書
フランチェスカ・リッチョーニ 原作, トゥオノ・ペッティナート 漫画, 竹内薫 訳講談社2015.4<GK552-L10>
National Diet LibraryOther Libraries in Japan
  • Subject HeadingTuring, Alan, 1912-1954

チューリング : 情報時代のパイオニア

チューリング : 情報時代のパイオニア
Paper図書
B・ジャック・コープランド 著, 服部桂 訳NTT出版2013.11<GK552-L4>
National Diet LibraryOther Libraries in Japan
  • Subject HeadingTuring, Alan, 1912-1954

チューリング : 情報時代のパイオニア

チューリング : 情報時代のパイオニア
Paper図書
B・ジャック・コープランド 著, 服部桂 訳NTT出版2013.12<GK552-L5>
National Diet LibraryOther Libraries in Japan
  • Subject HeadingTuring, Alan, 1912-1954

チューリングの大聖堂 : コンピュータの創造とデジタル世界の到来 上 (ハヤカワ文庫 NF ; 491. [〈数理を愉しむ〉シリーズ])

チューリングの大聖堂 : コンピュータの創造とデジタル世界の到来 上 (ハヤカワ文庫 NF ; 491. [〈数理を愉しむ〉シリーズ])
Paper図書
ジョージ・ダイソン 著, 吉田三知世 訳早川書房2017.3<M154-L282>
National Diet LibraryOther Libraries in Japan
  • Subject Headingコンピュータ--歴史 Turing, Alan, 1912-1954 Von Neumann, John, 1903-1957

不完全性定理とはなにか : ゲーデルとチューリングの考えたこと (ブルーバックス ; B-1810)

不完全性定理とはなにか : ゲーデルとチューリングの考えたこと (ブルーバックス ; B-1810)
PaperDigital図書
竹内薫 著講談社2013.4<MA41-L11>
National Diet LibraryOther Libraries in Japan
  • Subject Headingゲーデルの定理 Turing, Alan, 1912-1954

チューリングの大聖堂 : コンピュータの創造とデジタル世界の到来 下 (ハヤカワ文庫 NF ; 492. [〈数理を愉しむ〉シリーズ])

チューリングの大聖堂 : コンピュータの創造とデジタル世界の到来 下 (ハヤカワ文庫 NF ; 492. [〈数理を愉しむ〉シリーズ])
Paper図書
ジョージ・ダイソン 著, 吉田三知世 訳早川書房2017.3<M154-L283>
National Diet LibraryOther Libraries in Japan
  • Subject Headingコンピュータ--歴史 Turing, Alan, 1912-1954 Von Neumann, John, 1903-1957

チューリングを読む : コンピュータサイエンスの金字塔を楽しもう

チューリングを読む : コンピュータサイエンスの金字塔を楽しもう
Paper図書
チャールズ・ペゾルド 著, 井田哲雄, 鈴木大郎, 奥居哲, 浜名誠, 山田俊行 訳日経BP社2012.6<M121-J235>
National Diet LibraryOther Libraries in Japan
  • Subject Headingオートマトン Turing, Alan, 1912-1954

チューリングを受け継ぐ : 論理と生命と死

チューリングを受け継ぐ : 論理と生命と死
Paper図書
星野力 著勁草書房2009.8<GK495-J4>
National Diet LibraryOther Libraries in Japan
  • Subject HeadingTuring, Alan, 1912-1954

ノイマン・ゲーデル・チューリング (筑摩選書 ; 0102)

ノイマン・ゲーデル・チューリング (筑摩選書 ; 0102)
PaperDigital図書
高橋昌一郎 著筑摩書房2014.10<MA25-L46>
National Diet LibraryOther Libraries in Japan
  • Subject HeadingVon Neumann, John, 1903-1957 Gödel, Kurt, 1906-1978 Turing, Alan, 1912-1954

ウィトゲンシュタインvs.チューリング : 計算、AI、ロボットの哲学

ウィトゲンシュタインvs.チューリング : 計算、AI、ロボットの哲学
Paper図書
水本正晴 著勁草書房2012.11<HD31-L1>
National Diet LibraryOther Libraries in Japan
  • Subject HeadingWittgenstein, Ludwig, 1889-1951 Turing, Alan, 1912-1954 認知科学

チューリングの大聖堂 : コンピュータの創造とデジタル世界の到来

チューリングの大聖堂 : コンピュータの創造とデジタル世界の到来
Paper図書
ジョージ・ダイソン 著, 吉田三知世 訳早川書房2013.2<M154-L12>
National Diet LibraryOther Libraries in Japan
  • Subject Headingコンピュータ--歴史 Turing, Alan, 1912-1954 Von Neumann, John, 1903-1957

甦るチューリング : コンピュータ科学に残された夢

甦るチューリング : コンピュータ科学に残された夢
Paper図書
星野力 著NTT出版2002.10<GK495-G6>
National Diet LibraryOther Libraries in Japan
  • Subject HeadingTuring, Alan, 1912-1954

Ｔｈｅ　ｅｓｓｅｎｔｉａｌ　Ｔｕｒｉｎｇ : ｓｅｍｉｎａｌ　ｗｒｉｔｉｎｇｓ　ｉｎ　ｃｏｍｐｕｔｉｎｇ，　ｌｏｇｉｃ，　ｐｈｉｌｏｓｏｐｈｙ，　ａｒｔｉｆｉｃｉａｌ　ｉｎｔｅｌｌｉｇｅｎｃｅ，　ａｎｄ　ａｒｔｉｆｉｃｉａｌ　ｌｉｆｅ　ｐｌｕｓ　ｔｈｅ　ｓｅｃｒｅｔｓ　ｏｆ　ｅｎｉｇｍａ

Ｔｈｅ　ｅｓｓｅｎｔｉａｌ　Ｔｕｒｉｎｇ : ｓｅｍｉｎａｌ　ｗｒｉｔｉｎｇｓ　ｉｎ　ｃｏｍｐｕｔｉｎｇ，　ｌｏｇｉｃ，　ｐｈｉｌｏｓｏｐｈｙ，　ａｒｔｉｆｉｃｉａｌ　ｉｎｔｅｌｌｉｇｅｎｃｅ，　ａｎｄ　ａｒｔｉｆｉｃｉａｌ　ｌｉｆｅ　ｐｌｕｓ　ｔｈｅ　ｓｅｃｒｅｔｓ　ｏｆ　ｅｎｉｇｍａ
Paper図書
Ｔｕｒｉｎｇ，ＡｌａｎＭａｔｈｉｓｏｎ ｅｄ．ｂｙ ; Ｃｏｐｅｌａｎｄ，Ｊａｃｋ ｅｄ．ｂｙＯｘｆｏｒｄ　Ｕｎｉｖｅｒｓｉｔｙ　Ｐｒｅｓｓ２００４
Other Libraries in Japan

The essential Turing : seminal writings in computing, logic, philosophy, artificial intelligence, and artificial life plus the secrets of enigma : pbk

The essential Turing : seminal writings in computing, logic, philosophy, artificial intelligence, and artificial life plus the secrets of enigma : pbk
Paper図書
edited by B. Jack CopelandOxford University Press2004
Other Libraries in Japan
  • Subject HeadingTuring, Alan, 1912-1954 Cognitive science Electronic ...
  • Subject Heading (ID)Turing, Alan, 1912-1954 Cognitive science Electronic ...

Turing and the universal machine : the making of the modern computer : uk

Turing and the universal machine : the making of the modern computer : uk
Paper図書
Jon AgarIcon Books2001
Other Libraries in Japan
  • Subject HeadingTuring, Alan, 1912-1954 -- Career in computing Comput...
  • Subject Heading (ID)Turing, Alan, 1912-1954 -- Career in computing Comput...

アラン・チューリング伝 : 電算機の予言者

アラン・チューリング伝 : 電算機の予言者
PaperDigital図書障害者向け資料あり
サラ・チューリング 著, 渡辺茂, 丹羽富士男 共訳講談社1969<GK495-1>
Available onlineNational Diet LibraryOther Libraries in Japan
  • Subject HeadingTuring, Alan, 1912-1954
RSS