研究プロジェクト:クラウド上のソフトウェア最適配置問題の解法
第2回全体会合
開催情報
- 日時：2015年12月3日(木) 〜 4日(金)
- 用務先：神戸大学 自然科学総合研究棟3号館(東)4F 渕野グループ 小会議室(419号室) (アクセス)
- 用務地：〒657-8501 兵庫県神戸市灘区六甲台町1-1
プログラム
プログラムは下記の通りですが，発表の進行状況に合わせて「柔軟」に進めたいと思います．
| 12月3日(木) | |
|---|---|
| 17:00 - 18:00 | 研究発表 クラウド上のソフトウェア最適配置問題の解法 |
| 田村直之 | |
| 18:00 - 18:30 | 研究発表 インクリメンタルSAT解法ライブラリとその応用 |
| 迫龍哉 | |
| 18:45 - 21:30 | プロジェクト研究打合せ # 適宜休憩をはさみます |
| AIツールセミナー経過報告 | |
| 予算を含む今年度末までの計画について |
| 12月4日(金) | |
|---|---|
| 10:00 - 11:00 | 研究発表 順序符号化と対数符号化を融合したハイブリッド符号化 (実験結果報告) |
| 宋剛秀 | |
| 11:00 - 12:00 | プロジェクト研究打合せ |
| 来年度以降の取り組みについて |
参加者
- 山梨大学
- 鍋島英知
- 国立情報学研究所
- 井上克巳
- 神戸大学
- 田村直之, 番原睦則, 宋剛秀, 迫龍哉