発見・創発できる人工知能 Otter：論理パズルからのアプローチ
購入済み
あらすじ
※この商品はタブレットなど大きいディスプレイを備えた端末で読むことに適しています。また、文字だけを拡大することや、文字列のハイライト、検索、辞書の参照、引用などの機能が使用できません。ライバルはディープラーニング!! OTTERは、数学における定理やパズルの解法の証明を支援するソフトウェアで、述語論理を用いて解を導き出す。医療・金融システムの安全性構築、ウイルス検知などにも適用され、欧米では近年、高い評価を受けている。最大の特徴は、ユーザが与えた不完全な論理（情報）であっても、自動的に正しい推論を行うことができる点にある。 統計的論理を用いる機械学習等に手詰まり感のある中、OTTERには推論を通して新しい解を導き出す“創発的機能”があり、注目のAI技術である。 本書は、OTTERが得意な論理パズルを具体的な解法プログラムとともに紹介しながら、自動推論・定理証明の方法を解説する。人工知能の研究者・技術者、必読必携の書である。
商品情報
- 著者
- 出版社 近代科学社
- ジャンル
- シリーズ 発見・創発できる人工知能 Otter：論理パズルからのアプローチ
- 電子版配信開始日 2022/01/14
- ファイルサイズ 47.80 MB
シリーズ
全1冊
作品をシェアする
同じ作者の本
-
日本語-英語バイリンガル・ブック｜武藤博士の発明の極意 いかにしてアイデアを形にするか
￥1,980
購入済み
-
AIとオープンソースで真贋を見る目を養う
￥2,200
購入済み
-
体験する！！ オープンソースハードウェア NanoPi NEO，Arduino他で楽しむIoT設計
￥2,530
購入済み
-
発見・創発できる人工知能 Otter：論理パズルからのアプローチ
￥4,070
購入済み
-
超実践 アンサンブル機械学習
￥2,970
購入済み
近代科学社のおすすめ本
-
世界標準MIT教科書 アルゴリズムイントロダクション 第4版 第2巻 高度な設計と解析の手法・高度なデータ構造・グラフアルゴリズム
￥4,950
購入済み
-
図解 深層学習 数理で理解する基本原理
￥3,850
購入済み
-
独習 ガロア理論
￥4,290
購入済み
-
世界標準MIT教科書 アルゴリズムイントロダクション 第4版 第1巻 基礎・ソートと順序統計量・データ構造・数学的基礎
￥4,950
購入済み
-
増補新訂版 よくわかるC言語 イメージと例題で理解するStep ABC
￥2,475
購入済み
-
ベイズ最適化 適応的実験計画の基礎と実践
￥4,180
購入済み
-
ITサービスのためのアジャイル OSSを用いた開発・運用の自動化
￥2,970
購入済み
-
実践的プライバシーリスク評価技法 プライバシーバイデザインと個人情報影響評価
￥3,520
購入済み
-
人間中心設計の国内事例
￥3,850
購入済み
-
可換環論の様相 クルルの定理と正則局所環
￥3,080
購入済み
スマホ・PC・ITのおすすめ本
-
超入門 無料で使えるGoogleオフィスアプリ
￥3,187
購入済み
-
プロジェクトマネージャ試験 午後I記述・午後II論述の徹底対策 2024年版
￥3,080
購入済み
-
Web制作会社年鑑2024
￥5,280
購入済み
-
ExcelとRで学ぶ ベイズ分析入門
￥3,480
購入済み
-
落合陽一責任編集 生成ＡＩが変える未来 ー加速するデジタルネイチャー革命ー
￥1,650
購入済み
-
SNSマーケティングのやさしい教科書。改訂4版——写真・動画から広告まで、ビジネスを加速させる最新技術
￥2,420
購入済み
-
AWS教科書 AWS認定ソリューションアーキテクトアソシエイト テキスト＆問題集
￥2,860
購入済み
-
つくって、壊して、直して学ぶ Kubernetes入門
￥3,278
購入済み
-
ChatGPTと音声で会話する3つの方法
￥1,980
購入済み
-
p5jsで学ぶJavaScript入門
￥1,980
購入済み