/ プログラム/ 発表一覧/ 著者一覧企業展示一覧/ jsai2015ホーム /

1E2 「推論・探索」

*セッションの無断動画配信はご遠慮下さい。

Tweet #jsai2015 このエントリーをはてなブックマークに追加

05月30日(Sat) 10:20~11:40 E会場(5F北-中講義室 (593))
座長 宮原 哲浩(広島市立大学)

発表一覧

時間 10:20~10:40
題目 1E2-1 STRIMによるif-thenルール導出原理とその有効性の検証
著者 加藤 裕一(島根大学 総合理工学部 数理・情報システム学科)
佐伯 徹郎(山口大学 工学部 知能情報システム学科)
水野 祥太郎(島根大学 総合理工学部 数理・情報システム学科)
論文 PDFファイル

時間 10:40~11:00
題目 1E2-2 トランスポジションテーブルを利用したIDA*探索の閾値による並列化
著者 中野 雄基(東京大学大学院 総合文化研究科 広域科学先攻 広域システム科学系)
福永 アレックス(東京大学大学院総合文化研究科)
論文 PDFファイル

時間 11:00~11:20
題目 1E2-3 Structured Zobrist Hashによる効率的な並列最良優先探索
著者 陣内 佑(東京大学大学院総合文化研究科)
福永 アレックス(東京大学大学院総合文化研究科)
論文 PDFファイル

時間 11:20~11:40
題目 1E2-4 BDD簡約化アルゴリズムの並列化
著者 竹内 聖悟(JST ERATO 湊離散構造処理系プロジェクト)
藤本 武彦(北海道大学大学院 情報科学研究科)
安田 宜仁(JST ERATO)
湊 真一(北海道大学 大学院 情報科学研究科)
論文 PDFファイル