ERR_MNG
漫画（まんが）・電子書籍ならコミックシーモア！
コミックシーモアをご利用の際はWebブラウザの設定でJavaScriptを有効にしてください。
→設定方法はこちら
コミックシーモアをご利用の際はWebブラウザの設定でCookieを有効にしてください。
シーモアを楽しもう!
もっと見る
総合ランキング
全書籍から探す
3,700pt/4,070円(税込)
会員登録限定70%OFFクーポンで お得に読める！
会員登録して70%OFFで購入
お気に入りに追加
小説・実用書
ランキング
最新刊を見る
新刊自動購入
※この商品はタブレットなど大きいディスプレイを備えた端末で読むことに適しています。また、文字だけを拡大することや、文字列のハイライト、検索、辞書の参照、引用などの機能が使用できません。ライバルはディープラーニング!! OTTERは、数学における定理やパズルの解法の証明を支援するソフトウェアで、述語論理を用いて解を導き出す。医療・金融システムの安全性構築、ウイルス検知などにも適用され、欧米では近年、高い評価を受けている。最大の特徴は、ユーザが与えた不完全な論理（情報）であっても、自動的に正しい推論を行うことができる点にある。 統計的論理を用いる機械学習等に手詰まり感のある中、OTTERには推論を通して新しい解を導き出す“創発的機能”があり、注目のAI技術である。 本書は、OTTERが得意な論理パズルを具体的な解法プログラムとともに紹介しながら、自動推論・定理証明の方法を解説する。人工知能の研究者・技術者、必読必携の書である。
9784764905740
レビュー募集中！
レビュー投稿で最大1000pt!
1位
私が見た未来 完全版
2位
陰陽師と天狗眼
3位
「館シリーズ」14冊合本版
4位
わたしの幸せな結婚
5位
だって望まれない番ですから
6位
B's-LOG
7位
結界師の一輪華
8位
星ひとみの天星術2025
9位
小説 ブルーロック 戦いの前、僕らは。
10位
かくりよの宿飯
11位
汝、星のごとく
12位
色と光マスターガイド イラスト上達のための理論と実践
13位
クラッシュ・ブレイズ 1
14位
Fate/Grand Order material
15位
国鉄115系近郊型電車
16位
君に恋をするなんて、ありえないはずだった
17位
劇場版 忍たま乱太郎 ドクタケ忍者隊最強の軍師 公式ビジュアルブック
18位
ピオフィオーレの晩鐘 -Episodio1926- 公式ビジュアルファンブック
19位
アメリカ経済２００年の興亡
20位
一点集中術
小説・実用書 > 小説・実用書
小説・実用書 > 武藤佳恭
小説・実用書 > 安藤類央
小説・実用書 > 近代科学社
ERR_MNG
