NII共同研究(田村)・科研(番原) 合同ミーティング

開催情報

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

プログラム

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

7月22日(水)

15:00 〜 16:00 プロジェクト紹介 & Discussion
クラウド上のソフトウェア要素最適配置問題の解法プロジェクトについて [PDF]
田村直之(神戸大)
16:00 〜 16:15 休憩
16:15 〜 17:45 研究発表
カリキュラムベースコース時間割問題の新しい実験結果について [PDF]
宋剛秀(神戸大)
A Hybrid Encoding of CSP to SAT Integrating Order and Log Encodings [PDF]
宋剛秀(神戸大)
Glueminisat-2.2.9 - 進捗報告 [PDF]
鍋島英知(山梨大)
17:45 〜 18:00 休憩
18:00 〜 18:30 進捗報告
「情報処理」誌・特集記事の進捗報告
番原睦則(神戸大)
19:00 〜 会食

7月23日(木)

10:00 〜 11:30 進捗報告
制約付き組合せテストケース生成:勉強結果の紹介(canceled)
兼行大将(神戸大)
ZDDソルバーとSATソルバーを自動選択する高速な部分グラフ探索ツールの設計と実装 [PDF]
川原征大(神戸大)
iSugar: インクリメンタル SAT 解法が利用可能な SAT 型制約ソルバー [PDF]
迫龍哉(神戸大)
11:30 〜 13:00 昼食
13:00 〜 14:00 プロジェクト報告 & Discussion
ドイツ留学の報告(canceled)
番原睦則(神戸大)
CSPASPプロジェクトの進捗報告と今後の研究計画
番原睦則(神戸大)
14:00 〜 14:15 休憩
14:15 〜 15:00 今後の活動,事務連絡,クロージング

参加者 (敬称略,2015.07.06現在,10名)

会食

日時:7月22日(水) 19:00 〜
お店魚喰
兵庫県神戸市灘区永手町3-4-18 B1F
078-842-5030
参加者(10名, 敬称略): 井上, 鍋島, 田村, 番原, 宋, 兼行, 川原, 迫, 寸田, 南

その他

Date: 2015-07-05 21:35:33 JST