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 研究打合せ
  今後の計画についての議論

参加者

  • 国立情報学研究所
    • 井上克巳
  • 山梨大学
    • 鍋島英知
  • 神戸大学
    • 田村直之, 番原睦則, 宋剛秀, 兼行大将, 川原征大, 迫龍哉, 寸田智也, 南雄之
  • 九州大学
    • 越村三幸, 査澳龍

懇親会情報

Author: Takehide Soh

Created: 2016-03-09 水 09:14

Emacs 24.3.1 (Org mode 8.2.10)

Validate