第8回CSPSAT講演会
概要
プログラム
3月23日(月) | |
---|---|
13:30 - 14:30 | SIG-FPAI 招待講演 モデル生成型定理証明系とSATソルバー |
長谷川隆三(九州大学) [PDF] |
3月23日(月) | |
---|---|
15:15 - 15:30 | オープニング |
15:30 - 16:10 | 講演1 離散構造処理系プロジェクトの主な研究成果と今後の展望 |
湊真一 (北海道大学) [概要] [PDF] | |
16:10 - 16:50 | 講演2 メタレベル・アブダクションの論理 |
井上克巳 (国立情報学研究所) [概要] [PDF] | |
16:50 - 17:10 | 20分休憩 |
17:10 - 17:50 | 講演3 制約付きマッチングのメカニズムデザイン |
横尾真 (九州大学) [概要] [PDF] | |
17:50 - 18:30 | 講演4 制約充足問題のハイブリッド符号化のための枠組み |
田村直之 (神戸大学) [概要] [PDF] | |
19:00 - | 懇親会 |
3月24日(火) | |
---|---|
09:30 - 10:10 | 講演5 分散探索による船舶衝突回避 |
平山勝敏 (神戸大学) [概要] [PDF] | |
10:10 - 10:50 | 講演6 SAT ソルバーと動的簡単化手法 |
鍋島英知 (山梨大学) [概要] [PDF] | |
10:50 - 11:10 | 20分休憩 |
11:10 - 11:50 | 講演7 MGTPとQMaxSAT |
越村三幸 (九州大学) [概要] [PDF] | |
11:50 - 12:00 | クロージング |
参加者
(順不同,敬称略.*印は講演会のみのご参加)
- 北海道大学
- 湊真一
- 山梨大学
- 岩沼宏治, 鍋島英知, 福田翔士*, 黒岩健歩*, 杉本拓也, 渡辺大樹, 横前菜々子
- 国立情報学研究所
- 井上克巳
- 電気通信大学
- 戸田貴久
- 名古屋大学
- 酒井正彦, 橋本健二
- 神戸大学
- 平山勝敏, 田村直之, 番原睦則, 宋剛秀
- 徳山高専
- 力規晃
- 九州大学
- 長谷川隆三, 越村三幸, 横尾真, 査澳龍, 早田翔*, 上村直輝
懇親会情報
- 日時
- 2015年3月23日(月) 19:00 - 21:00
- 場所
- ホテル白菊 (http://www.shiragiku.co.jp/index.html)
- 住所: 〒874-0908 大分県別府市上田の湯町16-36
- TEL: 0977-21-2112
- 費用
- 教員 8,000円
- 学生 5,000円
宿泊情報
- 会場・懇親会の周辺ホテルマップ
- ホテル白菊
- 懇親会の会場にもなっているホテル
- 講演会場と駅の間
- http://www.shiragiku.co.jp
- 宿泊1名から
- 花べっぷ
- 懇親会場の隣にあるホテル
- 講演会場と駅の間
- http://www.hanabeppu.jp
- 宿泊2名から
- ホテル フジヨシ
- 駅近/お手頃
- http://www.hotelfujiyoshi.jp
- 宿泊1名から
- ビジネスホテルスター
- 駅近/お手頃
- http://www.hotel-star.jp
- 宿泊1名から
その他
- 遠方の方で,ハンドアウト等の配布物がありましたら,ファイル(PDF)と部数を宋までご連絡ください.