¥ 3,996
  • ポイント: 120pt (3%)
通常配送無料 詳細
在庫あり。 在庫状況について
この商品は、Amazon.co.jp が販売、発送します。 ギフトラッピングを利用できます。
発見・創発できる人工知能OTTER がカートに入りました
この商品をお持ちですか? マーケットプレイスに出品する
裏表紙を表示 表紙を表示
サンプルを聴く 再生中... 一時停止   Audible オーディオエディションのサンプルをお聴きいただいています。
この画像を表示

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


その他(2)の形式およびエディションを表示する 他のフォーマットおよびエディションを非表示にする
価格
新品 中古品
Kindle版
単行本
¥ 3,996
¥ 3,996 ¥ 7,722

booksPMP

本・コミック・雑誌ストアではじめてお買いものの方へ 3 0 0 ポイントプレゼント!

※キャンペーンページを閲覧のうえ、対象サービスをご確認頂くことが参加の条件になります。キャンペーンページは>>こちら

click to open popover

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

  • Apple
  • Android
  • Android

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



無料で使えるAmazonオリジナルブックカバー
10種類のロゴ入りデザインから好みのデザインを印刷して取り付けよう。 詳しくはこちら。

商品の説明

内容紹介

ライバルはディープラーニング!!
OTTERは,数学における定理やパズルの解法の証明を支援するソフトウェアで,述語論理を用いて解を導き出す.医療・金融システムの安全性構築,ウイルス検知などにも適用され,欧米では近年,高い評価を受けている.最大の特徴は,ユーザが与えた不完全な論理(情報)であっても,自動的に正しい推論を行うことができる点にある.
統計的論理を用いる機械学習等に手詰まり感のある中、OTTERには推論を通して新しい解を導き出す“創発的機能"があり,注目のAI技術である.
本書は,OTTERが得意な論理パズルを具体的な解法プログラムとともに紹介しながら,自動推論・定理証明の方法を解説する.人工知能の研究者・技術者,必読必携の書である.

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

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

商品の説明をすべて表示する

登録情報

  • 単行本: 296ページ
  • 出版社: 近代科学社 (2018/8/30)
  • 言語: 日本語
  • ISBN-10: 4764905744
  • ISBN-13: 978-4764905740
  • 発売日: 2018/8/30
  • 商品パッケージの寸法: 23.3 x 18.4 x 1.4 cm
  • おすすめ度: この商品の最初のレビューを書き込んでください。
  • Amazon 売れ筋ランキング: 本 - 341,906位 (本の売れ筋ランキングを見る)
  • さらに安い価格について知らせる
    この商品を出品する場合、出品者サポートを通じて更新を提案したいですか?

  • 目次を見る


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


この商品をレビュー

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