BOOKサーチ
|
タイトル
発見・創発できる人工知能OTTER(ハッケンソウハツデキルジンコウチノウオッター)
著者名
安藤 類央/武藤 佳恭
(アンドウ ルオ/タケフジ ヨシヤス)
出版社名
近代科学社
ジャンル
パソコン・システム開発
isbnコード
9784764905740
書籍のサイズ
単行本
発売日
2018年08月30日頃
販売価格
4,070
チラよみURL
サーチ
google
yahoo
rakuten
amazon
深層学習に漂いはじめた閉塞感はどこから来るのか？それは、数学の不在にあった！？古くて新しい自動推論の世界に降ってきた定理証明系ソフトウェアＯＴＴＥＲで高き数学の壁を乗り越える！
お問い合わせ
