close
1.

図書

図書
小倉久和, 小高知宏著
出版情報: 東京 : 近代科学社, 2001.4  ix, 219p ; 26cm
所蔵情報: loading…
2.

図書

図書
T.コホネン著 ; 徳高平蔵 [ほか] 監修
出版情報: 東京 : シュプリンガー・フェアラーク東京, 2005.6  xvii, 479p ; 25cm
所蔵情報: loading…
3.

図書

図書
Stuart Russell, Peter Norvig著
出版情報: 東京 : 共立出版, 2008.7  xxvii, 1108p ; 27cm
所蔵情報: loading…
4.

図書

図書
福田敏男編著
出版情報: 東京 : 昭晃堂, 2000.10  2, 4, 179p ; 21cm
所蔵情報: loading…
5.

図書

図書
喜多村直著
出版情報: 東京 : 共立出版, 2000.11  xii, 210p ; 23cm
所蔵情報: loading…
6.

図書

図書
武藤佳恭研究室編
出版情報: 東京 : 共立出版, 2001.3  xi, 348p ; 22cm
所蔵情報: loading…
7.

図書

図書
寺野寿郎, 浅居喜代治, 菅野道夫共編
出版情報: 東京 : オーム社, 1987.4  vii, 255p ; 22cm
所蔵情報: loading…
8.

図書

図書
S.J.Scown著 ; 村上温夫, 秦正人共訳
出版情報: 東京 : 共立出版, 1987.4  x,214p ; 21cm
所蔵情報: loading…
9.

図書

図書
R.S.Michalski他編 ; 電総研人工知能研究グループ訳
出版情報: 東京 : 共立出版, 1987.8  viii, 190p ; 22cm
シリーズ名: 知識獲得と学習シリーズ / R. S. Michalski [ほか] 編 ; 電総研人工知能研究グループ [ほか] 訳 ; 第3巻
所蔵情報: loading…
10.

図書

図書
V・ブライテンベルク著 ; 加地大介訳
出版情報: 東京 : 哲学書房, 1987.6  232p ; 20cm
所蔵情報: loading…
11.

図書

図書
Chin-Liang Chang, Richard Char-Tung Lee著 ; 長尾真, 辻井潤一訳
出版情報: 東京 : 日本コンピュータ協会, 1983.9  xii, 346p ; 22cm
シリーズ名: コンピュータ・サイエンス研究書シリーズ / 日本コンピュータ協会編 ; 27
所蔵情報: loading…
12.

図書

図書
上前淳一郎著
出版情報: 東京 : 講談社, 1985.11  334p ; 20cm
所蔵情報: loading…
13.

図書

図書
R.S.Michalski他編 ; 電総研人工知能研究グループ訳
出版情報: 東京 : 共立出版, 1987.7  ix, 235p ; 22cm
シリーズ名: 知識獲得と学習シリーズ / R. S. Michalski [ほか] 編 ; 電総研人工知能研究グループ [ほか] 訳 ; 第2巻
所蔵情報: loading…
14.

図書

図書
溝口文雄編著
出版情報: 東京 : オーム社, 1986.2  v, 150p ; 27cm
所蔵情報: loading…
15.

図書

図書
矢田光治編
出版情報: 東京 : オーム社, 1987.5  vii, 154p ; 21cm
所蔵情報: loading…
16.

図書

図書
辻井潤一著
出版情報: 東京 : 昭晃堂, 1987.10  2, 2, 4, 282p ; 22cm
シリーズ名: 人工知能シリーズ ; 8
所蔵情報: loading…
17.

図書

図書
E.A.ファイゲンバウム, J.フェルドマン共編 ; 阿部統, 横山保監訳
出版情報: 東京 : 好学社, 1969.7  xv, 678p ; 22cm
所蔵情報: loading…
18.

図書

図書
赤木新介著
出版情報: 東京 : コロナ社, 1988.4  ix, 236p ; 22cm
シリーズ名: コンピュータ制御機械システムシリーズ / 増淵正美 [ほか] 編 ; 1
所蔵情報: loading…
19.

図書

図書
イェ・サパリーナ[著]; 伊吹二郎訳
出版情報: 東京 : 東京図書, 1968.6  208p ; 18cm
シリーズ名: 科学普及新書
所蔵情報: loading…
20.

図書

図書
溝口文雄, 北沢克明著
出版情報: 東京 : 講談社, 1982.3  212, 3p ; 18cm
シリーズ名: ブルーバックス ; B-496
所蔵情報: loading…
21.

図書

図書
第6回「大学と科学」公開シンポジウム組織委員会編
出版情報: 東京 : クバプロ, 1992.9  215p, 図版2p ; 26cm
シリーズ名: 明日の文化と産業を支える独創的・先端的研究の成果 / 「大学と科学」公開シンポジウム組織委員会編 ; 第6回 1992
所蔵情報: loading…
22.

図書

図書
科学技術庁資源調査会編
出版情報: 東京 : 大蔵省印刷局, 1992.9  9, 113p ; 30cm
所蔵情報: loading…
23.

図書

図書
S. R. Graubard編 ; 有本卓 [ほか] 共訳
出版情報: 東京 : 森北出版, 1992.11  iii, 310p ; 23cm
所蔵情報: loading…
24.

図書

図書
佐野千遥著
出版情報: 東京 : 日刊工業新聞社, 1994.2  ix,137,89p ; 20cm
所蔵情報: loading…
25.

図書

図書
甘利俊一, 向殿政男共編
出版情報: 東京 : 培風館, 1994.5  x, 275p ; 22cm
シリーズ名: アドバンストエレクトロニクスシリーズ / 菅野卓雄 [ほか] 監修 ; カテゴリーII . エレクトロニクスと情報・メディア・人間||エレクトロニクス ト ジョウホウ メディア ニンゲン ; 1
所蔵情報: loading…
26.

図書

図書
ホイットマン・リチャーズ編 ; 田中博訳
出版情報: 東京 : パーソナルメディア, 1994.7  xv, 404p ; 21cm
シリーズ名: ナチュラルコンピュテーション / ホイットマン・リチャーズ編 ; 1
所蔵情報: loading…
27.

図書

図書
ホイットマン・リチャーズ編 ; 石川正俊, 平原達也訳
出版情報: 東京 : パーソナルメディア, 1994.7  xiii, 307p ; 21cm
シリーズ名: ナチュラルコンピュテーション / ホイットマン・リチャーズ編 ; 2
所蔵情報: loading…
28.

図書

図書
星野力編著
出版情報: 東京 : 裳華房, 1994.8  viii, 125p ; 19cm
シリーズ名: ポピュラーサイエンス
所蔵情報: loading…
29.

図書

図書
志村正道著
出版情報: 東京 : 森北出版, 1994.9  vii, 174p ; 22cm
シリーズ名: 基礎情報工学シリーズ / 飯島泰蔵編 ; 17
所蔵情報: loading…
30.

図書

図書
ジョン・サール著 ; 土屋俊訳
出版情報: 東京 : 岩波書店, 1993.4  xiv,162,6p ; 19cm
シリーズ名: Selection 21
所蔵情報: loading…
31.

図書

図書
佐倉統著
出版情報: 東京 : 同文書院, 1993.11  205p ; 19cm
所蔵情報: loading…
32.

図書

図書
P. H. ウィンストン著 ; 長尾真, 白井良明共訳
出版情報: 東京 : 培風館, 1980.9  vi, 276p ; 21cm
所蔵情報: loading…
33.

図書

図書
野口正一, 滝沢誠共著
出版情報: 東京 : オーム社, 1986.11  ix, 255p ; 22cm
所蔵情報: loading…
34.

図書

図書
Nils J. Nilsson原著 ; 合田周平, 増田一比古共訳
出版情報: 東京 : コロナ社, 1973.4  xiii, 276p ; 22cm
所蔵情報: loading…
35.

図書

図書
山崎晴明, 宮崎収兄共著
出版情報: 東京 : オーム社, 1989.10  vi,139p ; 21cm
シリーズ名: COMシリーズ / 野口正一 [ほか] 編
所蔵情報: loading…
36.

図書

図書
相磯秀夫, 甘利俊一監修 ; 相磯秀夫 [ほか] 著
出版情報: 東京 : 三田出版会, 1989.10  258p ; 20cm
所蔵情報: loading…
37.

図書

図書
大須賀節雄著
出版情報: 東京 : 三田出版会, 1990.9  95p ; 19cm
シリーズ名: ステアリングシリーズ ; . 科学技術を先導する30人||カガク ギジユツ オ センドウ スル 30ニン ; 18
所蔵情報: loading…
38.

図書

図書
長尾真著
出版情報: 東京 : 三田出版会, 1990.8  103p ; 19cm
シリーズ名: ステアリングシリーズ ; . 科学技術を先導する30人||カガク ギジュツ オ センドウ スル 30ニン ; 27
所蔵情報: loading…
39.

図書

図書
H. シュルト著 ; 渋谷恵津子, 渋谷昇訳
出版情報: 東京 : マグロウヒル出版, 1990.9  ix, 304p ; 21cm
所蔵情報: loading…
40.

図書

図書
相磯秀夫, 甘利俊一著者代表
出版情報: 東京 : 三田出版会, 1990.9  240p ; 20cm
所蔵情報: loading…
41.

図書

図書
日本学際会議編
出版情報: 東京 : 共立出版, 1990.7  4, 200p ; 21cm
所蔵情報: loading…
42.

図書

図書
甘利俊一著
出版情報: 東京 : 読売新聞社, 1991.2  244p ; 19cm
シリーズ名: 読売科学選書 ; 37
所蔵情報: loading…
43.

図書

図書
寺野寿郎, 浅居喜代治, 菅野道夫共編 ; 浅居喜代治 [ほか] 執筆
出版情報: 東京 : オーム社, 1989.5  vii, 290p ; 22cm
所蔵情報: loading…
44.

図書

図書
日本機械学会編
出版情報: 東京 : 技報堂, 1996.10  iv, 238p ; 22cm
所蔵情報: loading…
45.

図書

図書
片方善治著
出版情報: 東京 : 海文堂出版, 1993.2  178p ; 21cm
シリーズ名: プラタンBOOKS
所蔵情報: loading…
46.

図書

図書
テリー・ウィノグラード, フェルナンド・フローレス著 ; 平賀譲訳
出版情報: 東京 : 産業図書, 1989.6  xv, 340p ; 20cm
所蔵情報: loading…
47.

図書

東工大
目次DB

図書
東工大
目次DB
志村正道著
出版情報: 東京 : 昭晃堂, 1986.6  310p ; 22cm
シリーズ名: 人工知能シリーズ ; 1
所蔵情報: loading…
目次情報: 続きを見る
1 人工知能とコンピュータ
   1.1 序 1
   1.2 人工知能 2
   1.3 コンピュータと頭脳 6
   1.4 人工知能の流れ 8
   1.5 人工知能における解決法 13
   1.6 解決の過程 16
2 一般問題解決システム
   2.1 問題の解決 19
   2.2 問題の表現 20
   2.3 GPSの例 23
   2.4 GPSの手法 26
   2.5 構成と動作 27
   2.6 差異と関係表 30
   2.7 GPSの概念 37
3 命題論理
   3.1 定理証明 39
   3.2 命題 40
   3.3 真理関数 41
   3.4 命題式 44
   3.5 標準形 48
   3.6 解釈 50
   3.7 推論 52
4 術後論理
   4.1 命題論理と述語論理 57
   4.2 1階述語論理 58
   4.3 述語計算の基礎 60
   4.4 限定作用素 63
   4.5 述語論理の性質 66
   4.6 前置標準形 77
   4.7 スコーレム関数 79
   4.8 節形式と定理証明 83
   4.9 エルプラン空間 84
   4.10 充足不可能性 90
5 導出原理とその手法
   5.1 導出と導出形 95
   5.2 代入と単一化 97
   5.3 完全性 99
   5.4 導出原理の手法 102
   5.5 意味的導出法 106
   5.6 超導出 109
   5.7 支持集合導出 110
   5.8 順序付け意味的導出 111
   5.9 指標付け導出 112
   5.10 線形導出 114
   5.11 入力導出(単一導出) 115
   5.12 順序付け線形導出 116
6 導出原理の応用
   6.1 種々の応用 122
   6.2 定理の証明 122
   6.3 問題解決 124
   6.4 プログラミング 129
7 自動プログラミング
   7.1 背景と歴史 135
   7.2 自動プログラミング 136
   7.3 ループなしのアルゴリズム 139
   7.4 ループありのアルゴリズム 144
   7.5 順序があるプログラミング 146
8 問題木の探索
   8.1 問題解決と木探索 150
   8.2 木とグラフ 152
   8.3 線形探索法 155
   8.4 縦形探索法 157
   8.5 均一コスト探索法 161
   8.6 探索の効率 163
   8.7 発見的手法 164
9 発見的探索法
   9.1 発見的情報 170
   9.2 グラフトラバーサ 171
   9.3 HPAとA* 176
   9.4 探索の実行可能性 181
   9.5 探索の最適性 185
   9.6 その他の手法 190
   9.6.1 双方向探索法 190
   9.6.2 FD法 192
10 ゲームと発見的探索
   10.1 ゲームとパズル 194
   10.2 ミニ・マックス法 195
   10.3 α-β手続 199
   10.4 探索順序 202
11 学習
   11.1 学習と学習機能 207
   11.2 パズルにおける学習 208
   11.2.1 学習と評価関数 208
   11.2.2 学習方法 213
   11.2.3 学習例 215
   11.3 ゲームにおける学習 216
   11.3.1 評価関数と学習 216
   11.3.2 学習方法 217
   11.3.3 自己学習 220
   11.3.4 ゲームにおける学習例 221
12 コンピュータゲーム
   12.1 種々のゲーム 223
   12.2 ゲームの評価関数 224
   12.2.1 チェス 225
   12.2.2 連珠 227
   12.2.3 オセロゲーム 227
   12.2.4 将棋 230
   12.3 アルゴリズム 231
13 ゲームのプログラム
   13.1 チェス 234
   13.2 ドミノゲーム 238
   13.3 連珠(五目並べ) 242
   13.4 将棋 248
   13.5 オセロゲーム 254
   13.5.1 局面における評価値を用いた場合(OTHERO1) 254
   13.5.2 静的評価関数を用いない場合(OTHERO2) 256
14 人工知能とコンピュータ言語
   14.1 人工知能用言語 257
   14.2 リストとリスト構造 260
   14.3 LISP 262
   14.4 LISPプログラム 267
   14.4.1 再帰関数 267
   14.4.2 PROG形式 268
   14.5 PROLOG 271
15 人工知能の発展
   15.1 コンピュータ 274
   15.2 人工知能の問題点 275
   15.3 知識と人工知能 279
   15.4 人間の知能 280
付録 パズルの説明 285
参考文献 287
索引 307
1 人工知能とコンピュータ
   1.1 序 1
   1.2 人工知能 2
48.

図書

図書
那野比古著
出版情報: [東村山] : 教育社, 1985.5  150p ; 18cm
シリーズ名: 入門新書 ; . 時事問題解説||ジジ モンダイ カイセツ ; 411
所蔵情報: loading…
49.

図書

図書
塩野悟著
出版情報: 東京 : アグネ承風社, 1990.2  iv, 209, viip ; 19cm
シリーズ名: 承風ブックス ; . High-technology series
所蔵情報: loading…
50.

図書

図書
中野馨編著 ; 阪口豊 [ほか] 共著
出版情報: 東京 : コロナ社, 1990.4  vi, 248p ; 22cm
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼