... 具体的な図を用いる初等幾何証明システム加藤直行廣川佐千男佐秀人同上自然推論に基づく証明探索と反例生成長野大介佐秀人同上廣川佐千男初等幾何証明システムのための具体的な図の生成加藤直行廣川佐千男佐秀人同上教育用計算機システムにおけるデータの ...
傾向スコアの考案者ローゼンバウムによる、因果効果の推定、検証および因果推論による結果の解釈などをやさしく説明した入門書。
自然言語処理への応用を目的として、再帰的ニューラルネットワーク(RNN)などの深層学習の技術を基礎から丁寧に解説する。
本書では,ニューラルネットをはじめとするファジー工学で代表されるソフトコンピューティングの基礎と応用を学ぶ。具体的な応用事例として生体信号処理とパターン認識 ...
不確定性下の意思決定についてわかりやすく簡潔に解説。意思決定の計算理論全体の枠組みが示され課題解決のためのスキルが身につく。
... 的に研究している。また、単一の神経素子や少数の素子よりなる神経回路の,周期 ... な認識はこれらの素認識過程の補完的相互作用を通じて遂行されている。本研究は ... システムを追求する。 3 次元モデルを用いた画像の解釈嶋田晋・丸山稔・甘利 ...
初学者向けに易しく記述したガロア理論の入門書
計量経済学の学部入門コース用の教科書。具体的な応用例を通じて計量手法の内容と必要性を理解し、応用例に即した計量理論を学ぶ
... 推論システムの計算機実現が行われた。定性的推論定性的推論は常識による推論、いわゆる常識推論の典型的な ... 具体的に対話システムの実現をはかったものであるが、それとは別に、的を推論に ... 幾何問題解答システムを構成した報告を行っている ...