5月29日(水) 15:00-16:20 (E会場)

探索

座長 : 櫻井 彰人 (慶應大)

1E3-01   帰納論理プログラミングにおける効率的な仮説探索アルゴリズム
宝剱 悠, 大和田 勇人 東京理科大学 理工学部
1E3-02   反復深化 A* 探索によるもっともらしいプログラムの効率的な生成
網代 育大, 上田 和紀 早稲田大学理工学部情報学科
1E3-03   分散最大制約充足アルゴリズムの高速化
安藤 雅彦, 能登 正人 神奈川大学工学部電気電子情報工学科
1E3-04   変換不変性を用いた汎用検索手法の開発と実適用
足立 史宜(1), 鷲尾 隆(1), 元田 浩(1), 花房 英光(2) (1)大阪大学 産業科学研究所
(2)原子力安全システム研究所