close
1.

図書

図書
ダニエル・ベルマン著 ; 神林靖訳
出版情報: [東京] : 翔泳社, 2016.11  xii, 451p ; 21cm
所蔵情報: loading…
目次情報: 続きを見る
第1章 : 命題論理
第2章 : 述語論理
第3章 : 証明
第4章 : 関係
第5章 : 関数
第6章 : 数学的帰納法
第7章 : 無限集合
第1章 : 命題論理
第2章 : 述語論理
第3章 : 証明
2.

図書

図書
A・ハート著 ; 神林靖訳
出版情報: 東京 : 啓学出版, 1990.9  xii, 221p ; 22cm
所蔵情報: loading…
3.

図書

図書
P・ビショップ著 ; 神林靖訳
出版情報: 東京 : 啓学出版, 1990.11  195p ; 21cm
所蔵情報: loading…
4.

図書

図書
Timothy A. Budd著 ; 神林靖訳
出版情報: 東京 : アスキー, 1998.9  590p ; 26cm
シリーズ名: Ascii Addison Wesley programming series
所蔵情報: loading…
5.

図書

図書
Pew, John A. ; 神林, 靖(1958-)
出版情報: 東京 : アスキー, 1996.10  254p ; 26cm
シリーズ名: サンソフトプレスシリーズ
所蔵情報: loading…
6.

図書

図書
James L. Hein著 ; 神林靖訳
出版情報: [東京] : 翔泳社, 2012.4  x, 213p ; 23cm
シリーズ名: 独習コンピュータ科学基礎 ; 3
所蔵情報: loading…
7.

図書

図書
ラビ・セシィ著 ; 神林靖訳
出版情報: 東京 : ピアソン・エデュケーション, 2002.9  526p ; 21cm
所蔵情報: loading…
8.

図書

図書
James L. Hein著 ; 神林靖訳
出版情報: [東京] : 翔泳社, 2011.12  x, 284p ; 23cm
シリーズ名: 独習コンピュータ科学基礎 ; 2
所蔵情報: loading…
9.

電子ブック

EB
Michael Wooldridge著 ; 神林靖訳
出版情報: [東京] : KinoDen, [202-]  1オンラインリソース (xvii, 309p)
シリーズ名: Impress top gear
所蔵情報: loading…
目次情報: 続きを見る
1 AIとは何か / チューリングの電子頭脳
2 これまでの道のり : 黄金時代
知は力
ロボットと合理性 ほか
3 これからの道のり : AIの現在
どのような問題が考えられるか
どのような問題が起きそうか ほか
1 AIとは何か / チューリングの電子頭脳
2 これまでの道のり : 黄金時代
知は力
概要: AIとは何であって、何でないのか。コンピュータの発達と共に歩んできた「考える機械」への道。ディープラーニングの登場、自動運転や自動翻訳、そして将来の汎用AIの可能性について、分かりやすく解説。
10.

図書

図書
J.Glenn Brookshear著 ; 神林靖, 長尾高弘訳
出版情報: 東京 : ドワンゴ , 東京 : KADOKAWA (発売), 2017.3  607p ; 24cm
所蔵情報: loading…
目次情報: 続きを見る
序章
データストレージ
データ操作
オペレーティングシステム
ネットワークとインターネット
アルゴリズム
プログラミング言語
ソフトウェア工学
データ抽象
データベースシステム
コンピュータグラフィックス
人工知能
計算の理論
序章
データストレージ
データ操作
概要: UCバークレイ、ハーバード大学をはじめ全米126校で採用され続ける定番教科書!
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼