発見・創発できる人工知能otter

深層学習に漂いはじめた閉塞感はどこから来るのか？それは、数学の不在にあった！？古くて新しい自動推論の世界に降ってきた定理証明系ソフトウェアＯＴＴＥＲで高き数学の壁を乗り越える！

目次 : 序章　創発する自動推論エンジン/ 第１章　ＯＴＴＥＲの基本/ 第２章　正直者と嘘つきの村のパズル―一階述語論理/ 第３章　自己増殖するロボットのパズル/ 第４章　等価推論/ 第５章　ＯＴＴＥＲの過去・現在・未来/ 付録Ａ　ＯＴＴＥＲの入手とサンプルプログラム/ 付録Ｂ　本書でのＯＴＴＥＲの修正方法

【著者紹介】
安藤類央 : 慶應義塾大学総合政策学部国際政策コース卒業（２０００）。同大学院修士課程修了（２００２）。同大学院博士課程修了（２００６）。政策・メディア博士（２００６）。独立行政法人情報通信研究機構情報通信セキュリティ研究センター常勤研究員（２００６）。独立行政法人情報通信研究機構ネットワークセキュリティ研究所主任研究員（２０１１）。国立情報学研究所サイバーセキュリティ研究開発センター特任准教授（２０１６）。研究・受賞歴：ネットワークセキュリティ、自動推論、機械学習、並列処理。Ｏｕｔｓｔａｎｄｉｎｇ　Ｌｅａｄｅｒｓｈｉｐ　Ａｗａｒｄ　ｉｎ　ｔｈｅ　８ｔｈ　ＩＥＥＥ　ｉｎｔｅｒｎａｔｉｏｎａｌ　Ｃｏｎｆｅｒｅｎｃｅ　ｏｎ　Ｄｅｐｅｎｄａｂｌｅ、Ａｕｔｏｎｏｍｉｃ　ａｎｄ　Ｓｅｃｕｒｅ　Ｃｏｍｐｕｔｉｎｇ（２００９）、インターネットカンファレンス論文賞（２０１３）

武藤佳恭著 : 慶應義塾大学工学部電気工学科卒業（１９７８）。同大学院修士課程修了（１９８０）。同大学院博士課程修了（１９８３）。工学博士（１９８３）。南フロリダ大学コンピュータ学科助教授（１９８３‐１９８５）。南カロライナ大学コンピュータ工学科助教授（１９８５‐１９８８）。ケースウエスターンリザーブ大学電気工学科准教授（１９８８‐１９９６）。ｔｅｎｕｒｅｄ（１９９２）。慶應義塾大学環境情報学部助教授（１９９２‐１９９７）。同教授（１９９７‐現在）。研究・受賞歴：ニューラルコンピューティング、セキュリティ、インターネットガジェット、ＮＳＦ−ＲＩＡ賞（１９８９）、ＩＥＥＥ　Ｔｒａｎｓ．ｏｎ　ＮＮ　功労賞（１９９２）、ＩＰＳＪ論文（１９８０）、ＴＥＰＣＯ賞（１９９３）、ＫＡＳＴ賞（１９９３）、高柳賞（１９９５）、ＫＤＤ賞（１９９７）、ＮＴＴ　ｔｅｌｅ−ｅｄｕｃａｔｉｏｎ　ｃｏｕｒｓｅｗａｒｅ賞（１９９９）、ＵＳ　ＡＦＯＳＲ受賞（２００３）、第１回ＪＩＣＡ理事長賞、義塾賞（２０１５）、Ｊｙｖａｓｋｙｌａ大学メダル（本データはこの書籍が刊行された当時に掲載されていたものです）