第3回科研・第5回NII共同研究合同ミーティング

開催情報

日時:2015年12月21日(月) 〜 22日(火)
用務先:神戸大学 自然科学総合研究棟3号館(東)4F 渕野グループ 小会議室(419号室) (アクセス)
用務地:〒657-8501 兵庫県神戸市灘区六甲台町1-1

プログラム

プログラムは下記の通りですが,発表の進行状況に合わせて「柔軟」に進めたいと思います.

12月21日(月)

14:00 〜 16:00 研究進捗
解集合プログラミングを用いた制約組合せテストケース生成
兼行大将(神戸大)
極小モデル生成を用いた多目的制約最適化問題の解法
宋剛秀(神戸大)
16:00 〜 17:00 研究発表
TBA
井上克巳(NII)
17:00 〜 18:00 研究進捗
アルゴリズムデザインコンテスト参加記
迫龍哉(神戸大)
SATソルバーを用いた高速な部分グラフ探索ツールの実装と評価
川原征大(神戸大)
19:00 〜 会食

12月22日(火)

10:00 〜 12:00 報告 & Discussion
「情報処理」誌・特集記事の進捗報告
番原睦則(神戸大)
「人工知能学会第9回AIツール入門講座」開催報告
宋剛秀(神戸大)
H28年度NII共同研究申請
宋剛秀(神戸大)

参加者 (敬称略,10名)

会食

日時:12月21日(月) 19:00 〜
お店串かつ ふなこし 六甲道
兵庫県神戸市灘区桜口町5-1-8 ウエルブ六甲道5番街2番館1
078-854-2955
参加者(10名, 敬称略): 井上,沖本,田村,番原,宋,兼行,川原,迫,寸田,南

その他

Date: 2015-10-30 21:35:33 JST