研究プロジェクト:クラウド上のソフトウェア最適配置問題の解法
第3回会合
開催情報
- 日時:2016年2月5日(金)
- 用務先:神戸大学 自然科学総合研究棟3号館(東)4F 渕野グループ 小会議室(419号室) (アクセス)
- 用務地:〒657-8501 兵庫県神戸市灘区六甲台町1-1
プログラム
プログラムは下記の通りですが,発表の進行状況に合わせて「柔軟」に進めたいと思います.
2月5日(金) | |
---|---|
14:00 - 15:00 | 研究発表 クラウド上のソフトウェア最適配置問題の解法 |
田村直之 | |
15:00 - 16:00 | 研究発表 解集合プログラミングを用いた組合せテストケース生成に関する研究 |
兼行大将 | |
16:00 - 17:00 | 研究進捗の報告 |
SATソルバーを用いた部分グラフ探索のための制約モデル | |
川原征大 | |
SAT型制約ソルバーによるナンバーリンクの解法とその評価 | |
迫龍哉 | |
17:15 - 21:30 | プロジェクトに関する研究打合せ # 適宜休憩をはさみます |
今年度末までの計画について |
参加者 (予定.順次追加・変更します)
- 国立情報学研究所
- 井上克巳
- 神戸大学
- 田村直之, 番原睦則, 宋剛秀, 兼行大将, 川原征大, 迫龍哉