Jump to main content

yr 〜
yr

Search results 17

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

ノイマン・ゲーデル・チューリング (筑摩選書 ; 0102)
PaperDigital図書
高橋昌一郎 著筑摩書房2014.10<MA25-L46>
National Diet LibraryOther Libraries in Japan
  • Subject Heading (ID)00459885 00549746 00621580

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

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

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

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

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

ウィトゲンシュタインvs.チューリング : 計算、AI、ロボットの哲学
Paper図書
水本正晴 著勁草書房2012.11<HD31-L1>
National Diet LibraryOther Libraries in Japan
  • Subject Heading (ID)00461264 00621580 00577049

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

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

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

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

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

チューリングの大聖堂 : コンピュータの創造とデジタル世界の到来
Paper図書
ジョージ・ダイソン 著, 吉田三知世 訳早川書房2013.2<M154-L12>
National Diet LibraryOther Libraries in Japan
  • Subject Heading (ID)00606132 00621580 00459885

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

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

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

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

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

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

Reached to the end of result.

RSS