発見・創発できる人工知能ＯＴＴＥＲ 論理パズルからのアプローチ
発売日：2018年8月
- ISBN
- 978-4-7649-0574-0
- 著者情報
- 安藤 類央（アンドウ ルオ）
慶應義塾大学総合政策学部国際政策コース卒業（２０００）。同大学院修士課程修了（２００２）。同大学院博士課程修了（２００６）。政策・メディア博士（２００６）。独立行政法人情報通信研究機構情報通信セキュリティ研究センター常勤研究員（２００６）。独立行政法人情報通信研究機構ネットワークセキュリティ研究所主任研究員（２０１１）。国立情報学研究所サイバーセキュリティ研究開発センター特任准教授（２０１６）。研究・受賞歴：ネットワークセキュリティ、自動推論、機械学習、並列処理。Ｏｕｔｓｔａｎｄｉｎｇ Ｌｅａｄｅｒｓｈｉｐ Ａｗａｒｄ ｉｎ ｔｈｅ ８ｔｈ ＩＥＥＥ ｉｎｔｅｒｎａｔｉｏｎａｌ Ｃｏｎｆｅｒｅｎｃｅ ｏｎ Ｄｅｐｅｎｄａｂｌｅ、Ａｕｔｏｎｏｍｉｃ ａｎｄ Ｓｅｃｕｒｅ Ｃｏｍｐｕｔｉｎｇ（２００９）、インターネットカンファレンス論文賞（２０１３）
武藤 佳恭（タケフジ ヨシヤス）
慶應義塾大学工学部電気工学科卒業（１９７８）。同大学院修士課程修了（１９８０）。同大学院博士課程修了（１９８３）。工学博士（１９８３）。南フロリダ大学コンピュータ学科助教授（１９８３‐１９８５）。南カロライナ大学コンピュータ工学科助教授（１９８５‐１９８８）。ケースウエスターンリザーブ大学電気工学科准教授（１９８８‐１９９６）。ｔｅｎｕｒｅｄ（１９９２）。慶應義塾大学環境情報学部助教授（１９９２‐１９９７）。同教授（１９９７‐現在）。研究・受賞歴：ニューラルコンピューティング、セキュリティ、インターネットガジェット、ＮＳＦ－ＲＩＡ賞（１９８９）、ＩＥＥＥ Ｔｒａｎｓ．ｏｎ ＮＮ 功労賞（１９９２）、ＩＰＳＪ論文（１９８０）、ＴＥＰＣＯ賞（１９９３）、ＫＡＳＴ賞（１９９３）、高柳賞（１９９５）、ＫＤＤ賞（１９９７）、ＮＴＴ ｔｅｌｅ－ｅｄｕｃａｔｉｏｎ ｃｏｕｒｓｅｗａｒｅ賞（１９９９）、ＵＳ ＡＦＯＳＲ受賞（２００３）、第１回ＪＩＣＡ理事長賞、義塾賞（２０１５）、Ｊｙｖａｓｋｙｌａ大学メダル
セブン-イレブン受取り(送料無料)
発送目安
発売日（発売日以降は当日）～2日で発送
宅配（送料¥550税込）
発送目安
発売日（発売日以降は当日）～2日で発送
交通状況・天候の影響や注文が集中した場合等、お届けにお時間をいただく場合がございます。
商品説明
深層学習に漂いはじめた閉塞感はどこから来るのか？それは、数学の不在にあった！？古くて新しい自動推論の世界に降ってきた定理証明系ソフトウェアＯＴＴＥＲで高き数学の壁を乗り越える！
ライバルはディープラーニング！！
ＯＴＴＥＲは，数学における定理やパズルの解法の証明を支援するソフトウェアで，述語論理を用いて解を導き出す．医療・金融システムの安全性構築，ウイルス検知などにも適用され，欧米では近年，高い評価を受けている．最大の特徴は，ユーザが与えた不完全な論理（情報）であっても，自動的に正しい推論を行うことができる点にある．
統計的論理を用いる機械学習等に手詰まり感のある中、ＯＴＴＥＲには推論を通して新しい解を導き出す“創発的機能”があり，注目のＡＩ技術である．
本書は，ＯＴＴＥＲが得意な論理パズルを具体的な解法プログラムとともに紹介しながら，自動推論・定理証明の方法を解説する．人工知能の研究者・技術者，必読必携の書である．
目次
序章 創発する自動推論エンジン
第１章 ＯＴＴＥＲの基本
第２章 正直者と嘘つきの村のパズル―一階述語論理
第３章 自己増殖するロボットのパズル
第４章 等価推論
第５章 ＯＴＴＥＲの過去・現在・未来
付録Ａ ＯＴＴＥＲの入手とサンプルプログラム
付録Ｂ 本書でのＯＴＴＥＲの修正方法
商品詳細
- 出版社名
- 近代科学社
- 対象年齢
- 一般
- フォーマット
- 単行本
注意事項
- 本の帯に関して
- 帯つきでの出荷はお約束しておりません。
商品ページに、帯のみに付与される特典物等の表記がある場合でも、確実に帯つきでの出荷はお約束しておりません。
また、帯は商品の一部ではなく「広告扱い」のため、帯の有無・破損による交換や返品は承っておりません。 - 版・表紙について
- 版・表紙（カバー）のご指定は承っておりません。ご注文いただくタイミングによっては、お届けする商品の版や表紙が商品ページ上のものとは異なる場合がございます。
また、初版にのみにお付けしている特典（初回特典、初回仕様特典）がある商品は、商品ページに特典の表記がされている場合でも、無くなり次第終了となります。
