¥4,070
在庫あり。
Kindle版は今すぐお読みいただけます。 在庫状況について
この商品は、Amazon.co.jp が販売、発送します。
発見・創発できる人工知能OTTER がカートに入りました
この商品をお持ちですか? マーケットプレイスに出品する
裏表紙を表示 表紙を表示
サンプルを聴く 再生中... 一時停止   Audible オーディオエディションのサンプルをお聴きいただいています。

著者をフォロー

何か問題が発生しました。後で再度リクエストしてください。


発見・創発できる人工知能OTTER (日本語) 単行本 – 2018/8/30


その他 の形式およびエディションを表示する 他の形式およびエディションを非表示にする
価格
新品 中古品
Kindle版 (電子書籍)
単行本
¥4,070
¥4,070 ¥5,570
無料配送: 10月24日 - 25日 詳細を見る
最も早いお届け日: 明日
7 時間 5 分 以内に注文した場合.
詳細を見る
click to open popover

Kindle 端末は必要ありません。無料 Kindle アプリのいずれかをダウンロードすると、スマートフォン、タブレットPCで Kindle 本をお読みいただけます。

  • iOSアプリのダウンロードはこちらをクリック
    Apple
  • Androidアプリのダウンロードはこちらをクリック
    Android
  • Amazonアプリストアへはこちらをクリック
    Android

無料アプリを入手するには、Eメールアドレスを入力してください。

kcpAppSendButton

商品の説明

内容(「BOOK」データベースより)

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

著者について

安藤 類央:国立情報学研究所 准教授
武藤 佳恭:慶應義塾大学環境情報学部 教授

登録情報

  • 発売日 : 2018/8/30
  • 単行本 : 296ページ
  • ISBN-13 : 978-4764905740
  • 出版社 : 近代科学社 (2018/8/30)
  • ISBN-10 : 4764905744
  • 商品の寸法 : 23.3 x 18.4 x 1.4 cm
  • 言語: : 日本語

カスタマーレビュー

星5つ (0%) 0%
星4つ (0%) 0%
星3つ (0%) 0%
星2つ (0%) 0%
星1つ (0%) 0%
評価はどのように計算されますか?

この商品をレビュー

他のお客様にも意見を伝えましょう

まだカスタマーレビューはありません