2007年 情報科学技術フォーラム(FIT)

講演番号 題目/著者
F-045マルチコア環境に向けた高速並列SATソルバの開発

高見 明秀,  鍋島 英知,  岩沼 宏治,  

F-046サブエルブラン領域計算の効率化の一手法

何 立風,  巣 宇燕,  Shi Zhenhao,  中村 剛士,  伊藤 英則,  

F-047『知能を持つようになる脳の仕組み』 : 人を模倣したヒューマノイドの創造に向けて

長谷川 勝夫,  

F-048オンライン学習機能を持った制御系設計と自動操縦車両への適用

田村 悠一郎,  瀬田 至,  岸田 太一,  泉名 克郎,  

F-049オンライン制御パラメータ最適化手法の開発と自動車開発への適用

岸田 太一,  瀬田 至,  泉名 克郎,  

F-050GESによる補正を行った情報量に基づくパラメタ推定法の評価

藤本 悠,  村田 昇,  

LF-013パターン情報ベースの命題論理式のための推論機の提案

須藤 明人,  坪山 学,  張 シンリ,  佐藤 彰洋,  長谷川 修,  

LF-014画像修復における確率伝搬法を用いたEMアルゴリズムについての一考察

井上 佳,  田中 和之,