研究プロジェクト:クラウド上のソフトウェア最適配置問題の解法
第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 | プロジェクトに関する研究打合せ # 適宜休憩をはさみます |
| 今年度末までの計画について |
参加者 (予定．順次追加・変更します)
- 国立情報学研究所
- 井上克巳
- 神戸大学
- 田村直之, 番原睦則, 宋剛秀, 兼行大将, 川原征大, 迫龍哉