漫画（まんが）・電子書籍ならコミックシーモア！
コミックシーモアをご利用の際はWebブラウザの設定でJavaScriptを有効にしてください。
→(参考)ブラウザでJavaScriptを許可する ※外部サイトへ遷移します
巻（見開き形式）について
セーフサーチ？
シーモアを楽しもう!
総合ランキング
もっと見る
全書籍から探す
3,700pt/4,070円(税込)
会員登録限定70%OFFクーポンで 1,110pt/1,221円(税込)
会員登録して70%OFFで購入
お気に入りに追加
小説・実用書
ランキング
最新刊を見る
新刊自動購入
※この商品はタブレットなど大きいディスプレイを備えた端末で読むことに適しています。また、文字だけを拡大することや、文字列のハイライト、検索、辞書の参照、引用などの機能が使用できません。ライバルはディープラーニング!! OTTERは、数学における定理やパズルの解法の証明を支援するソフトウェアで、述語論理を用いて解を導き出す。医療・金融システムの安全性構築、ウイルス検知などにも適用され、欧米では近年、高い評価を受けている。最大の特徴は、ユーザが与えた不完全な論理（情報）であっても、自動的に正しい推論を行うことができる点にある。 統計的論理を用いる機械学習等に手詰まり感のある中、OTTERには推論を通して新しい解を導き出す“創発的機能”があり、注目のAI技術である。 本書は、OTTERが得意な論理パズルを具体的な解法プログラムとともに紹介しながら、自動推論・定理証明の方法を解説する。人工知能の研究者・技術者、必読必携の書である。
9784764905740
レビュー募集中！
レビュー投稿で最大1000pt!
1位
婚約者の王子に毒を盛られたので愛が冷めました
2位
NO．6［ナンバーシックス］再会
3位
十二国記
4位
自分とか、ないから。 教養としての東洋哲学
5位
「館シリーズ」14冊合本版
6位
ゲッターズ飯田の五星三心占い2027
7位
公爵家の長女でした
8位
ファイア・ドーム
9位
比嘉姉妹シリーズ
10位
ダクダデイラ
11位
12位
13位
14位
入居条件：隣に住んでる友人と必ず仲良くしてください
15位
16位
キミノ名ヲ。
17位
ワイルドビースト
18位
単行本「告白予行練習」
19位
ハンドレッドノート
20位
ドルフィンウェーブ 公式イラスト集 OFFICIAL VISUAL COLLECTION
小説・実用書 > 小説・実用書
小説・実用書 > 武藤佳恭
小説・実用書 > 安藤類央
小説・実用書 > 近代科学社
page top▲
巻（見開き形式）について