NII共同研究プロジェクト:
クラウド上のソフトウェア最適配置問題の解法 &
解集合プログラミングによるシステム検証
合同ミーティング
開催情報
- 日時:2016年3月28日(月)-29日(火)
- 用務先:市民会館崇城大学ホール (熊本市民会館)
- 用務地:〒860-0805 熊本市中央区桜町1番3号
- 会議場,参考ホテル,懇親会場,空港バスの停留所のマップは以下をご覧 ください.
参考ホテル
- ホテル名: コンフォートホテル熊本新市街
- 住所: 〒860-0803 熊本県熊本市中央区新市街2-10
- 電話: 096-211-8411
- URL: http://www.choice-hotels.jp/cfkuma/
空港バスの時刻表 (会議場への最寄りの停留所は熊本交通センターです)
プログラム
プログラムは下記の通りですが,発表の進行状況に合わせて「柔軟」に進めたいと思います.
3月28日(月) | |
---|---|
13:00 - 13:30 | At-most-one 制約に基づく動的簡単化(仮) |
鍋島英知,長谷部洋弥 | |
13:30 - 14:00 | 解集合プログラミングを用いた制約組合せテストケース生成 |
兼行大将,番原睦則,宋剛秀,田村直之,井上克巳,沖本天太 | |
14:00 - 14:30 | SATソルバーを用いたペトリネットのデッドロック検出 |
寸田智也 | |
14:45 - 15:15 | インクリメンタルSAT解法ライブラリとその応用 |
迫龍哉,宋剛秀,番原睦則,田村直之,鍋島英知,井上克巳 | |
15:15 - 15:45 | SATソルバーを用いた部分グラフ探索のための制約モデル |
川原征大,宋剛秀,番原睦則,田村直之 | |
15:45 - 16:15 | 制約充足問題の基数制約への符号化に関する研究 |
南雄之 | |
16:30 - 17:00 | MaxSATを利用したAES暗号鍵の復元法の改良 |
越村三幸,廖暁鵑 |
3月29日(火) | |
---|---|
09:00 - 09:30 | プロジェクト統括 |
クラウド上のソフトウェア最適配置問題の解法 | |
田村直之 | |
09:30 - 10:00 | プロジェクト統括 |
解集合プログラミングによるシステム検証 | |
番原睦則 | |
10:15 - 12:00 | 研究打合せ |
今後の計画についての議論 |
参加者
- 国立情報学研究所
- 井上克巳
- 山梨大学
- 鍋島英知
- 神戸大学
- 田村直之, 番原睦則, 宋剛秀, 兼行大将, 川原征大, 迫龍哉, 寸田智也, 南雄之
- 九州大学
- 越村三幸, 査澳龍
懇親会情報
- 店名: ねぎぼうず
- 日時: 2016年3月28日(月) 18:30 - 21:00
- 住所: 熊本県熊本市中央区下通1-4-5
- 電話: 096-328-8539
- http://tabelog.com/kumamoto/A4301/A430101/43001918/dtlmap/
- 予算
- (教員) 6000円
- (学生) 3000円