資料詳細

  • 1 件中、 1 件目

【図書】 発見・創発できる人工知能ＯＴＴＥＲ

論理パズルからのアプローチ --
安藤類央 ／著, 武藤佳恭 ／著   -- 近代科学社 -- ２０１８．８ -- ２４ｃｍ -- ２８３ｐ

資料詳細

タイトル 発見・創発できる人工知能ＯＴＴＥＲ
副書名 論理パズルからのアプローチ
著者名等 安藤類央 ／著, 武藤佳恭 ／著  
出版 近代科学社 ２０１８．８
大きさ等 ２４ｃｍ ２８３ｐ
分類 007.13
件名 人工知能 , プログラミング（コンピュータ）
注記 索引あり
著者紹介 【安藤類央】慶應義塾大学大学院博士課程修了（２００６）。政策・メディア博士（２００６）。国立情報学研究所サイバーセキュリティ研究開発センター特任准教授（２０１６）。研究：ネットワークセキュリティ、自動推論、機械学習、並列処理。（本データはこの書籍が刊行された当時に掲載されていたものです）
要旨 深層学習に漂いはじめた閉塞感はどこから来るのか？それは、数学の不在にあった！？古くて新しい自動推論の世界に降ってきた定理証明系ソフトウェアＯＴＴＥＲで高き数学の壁を乗り越える！
目次 序章　創発する自動推論エンジン；第１章　ＯＴＴＥＲの基本；第２章　正直者と嘘つきの村のパズル―一階述語論理；第３章　自己増殖するロボットのパズル；第４章　等価推論；第５章　ＯＴＴＥＲの過去・現在・未来；付録Ａ　ＯＴＴＥＲの入手とサンプルプログラム；付録Ｂ　本書でのＯＴＴＥＲの修正方法
ISBN(13)、ISBN 978-4-7649-0574-0　　 4-7649-0574-4
書誌番号 1113618268
URL https://opac.lib.city.yokohama.lg.jp/winj/opac/switch-detail.do?bibid=1113618268

ページの先頭へ

所蔵

所蔵は 1 件です。現在の予約件数は 0 件です。

所蔵館 所蔵場所 別置 請求記号 資料区分 状態 取扱 資料コード
中央 ４階自然科学 Map 情報科学 007.1 一般書 利用可 - 2063551530 iLisvirtual

ページの先頭へ