講演番号 | 題目/著者 |
---|---|
F-045 | マルチコア環境に向けた高速並列SATソルバの開発 高見 明秀, 鍋島 英知, 岩沼 宏治, |
F-046 | サブエルブラン領域計算の効率化の一手法 何 立風, 巣 宇燕, Shi Zhenhao, 中村 剛士, 伊藤 英則, |
F-047 | 『知能を持つようになる脳の仕組み』 : 人を模倣したヒューマノイドの創造に向けて 長谷川 勝夫, |
F-048 | オンライン学習機能を持った制御系設計と自動操縦車両への適用 田村 悠一郎, 瀬田 至, 岸田 太一, 泉名 克郎, |
F-049 | オンライン制御パラメータ最適化手法の開発と自動車開発への適用 岸田 太一, 瀬田 至, 泉名 克郎, |
F-050 | GESによる補正を行った情報量に基づくパラメタ推定法の評価 藤本 悠, 村田 昇, |
LF-013 | パターン情報ベースの命題論理式のための推論機の提案 須藤 明人, 坪山 学, 張 シンリ, 佐藤 彰洋, 長谷川 修, |
LF-014 | 画像修復における確率伝搬法を用いたEMアルゴリズムについての一考察 井上 佳, 田中 和之, |