発見・創発できる人工知能 Otter：論理パズルからのアプローチ
購入済み
シリーズ
全1冊
作品情報
※この商品はタブレットなど大きいディスプレイを備えた端末で読むことに適しています。また、文字だけを拡大することや、文字列のハイライト、検索、辞書の参照、引用などの機能が使用できません。ライバルはディープラーニング!! OTTERは、数学における定理やパズルの解法の証明を支援するソフトウェアで、述語論理を用いて解を導き出す。医療・金融システムの安全性構築、ウイルス検知などにも適用され、欧米では近年、高い評価を受けている。最大の特徴は、ユーザが与えた不完全な論理（情報）であっても、自動的に正しい推論を行うことができる点にある。 統計的論理を用いる機械学習等に手詰まり感のある中、OTTERには推論を通して新しい解を導き出す“創発的機能”があり、注目のAI技術である。 本書は、OTTERが得意な論理パズルを具体的な解法プログラムとともに紹介しながら、自動推論・定理証明の方法を解説する。人工知能の研究者・技術者、必読必携の書である。
- 著者
- 出版社 近代科学社
- ジャンル
- シリーズ 発見・創発できる人工知能 Otter：論理パズルからのアプローチ
- 電子版配信開始日 2022/01/14
- ファイルサイズ 47.80 MB
作品をシェアする
同じ作者の本
-
日本語-英語バイリンガル・ブック｜武藤博士の発明の極意 いかにしてアイデアを形にするか
￥1,980
購入済み
-
AIとオープンソースで真贋を見る目を養う
￥2,200
購入済み
-
体験する！！ オープンソースハードウェア NanoPi NEO，Arduino他で楽しむIoT設計
￥2,530
購入済み
-
発見・創発できる人工知能 Otter：論理パズルからのアプローチ
￥4,070
購入済み
-
超実践 アンサンブル機械学習
￥2,970
購入済み
近代科学社のおすすめ本
-
Microsoft Office 2024を使った情報リテラシーの基礎
￥2,970
購入済み
-
フルカラー完全版 世界標準MIT教科書 アルゴリズムイントロダクション第4版 総合版
￥26,400
購入済み
-
人間中心設計におけるデザイン
￥3,630
購入済み
-
増補改訂版 ベイズ最適化 適応的実験計画の基礎と実践
￥4,730
購入済み
-
ポップアップカードのすうり
￥5,500
購入済み
-
中学・高校の基本から学ぶAIの数学
￥3,630
購入済み
-
世界標準MIT教科書 アルゴリズムイントロダクション 第4版 総合版
￥19,800
購入済み
-
つながるコンピュータリテラシー 情報Iの復習から活用スキルまで
￥2,200
購入済み
-
ε-δ論法と数学の基礎 『原論』の時代から20世紀まで
￥3,850
購入済み
-
最適化のための強化学習
￥3,520
購入済み
スマホ・PC・ITのおすすめ本
-
Google Pixel便利すぎる！テクニック2026（知らなかった使い方を新発見！）
￥1,320
購入済み
-
ビジュアル 秒で役立つワザ満載 スマホ活用事典
￥1,100
購入済み
-
基本から応用まできちんと身につく Premiereのいろは
￥2,979
購入済み
-
できるChatGPT 改訂2版
￥1,870
購入済み
-
PCトラブル自力解決マニュアル 2026年最新版
￥1,650
購入済み
-
Difyではじめる業務効率化！ 生成AIアプリ開発入門
￥3,564
購入済み
-
Computer Useやアーティファクト自作からMCPサーバー構築まで Claude AIエージェント開発入門
￥2,970
購入済み
-
99％の人が知らない Androidのすごい使い方
￥1,390
購入済み
-
60歳からのChatGPT 暮らしが変わる100の便利術
￥1,540
購入済み
-
99％の人が知らない iPhoneのすごい使い方 最新版
￥1,390
購入済み