- 名称：基盤(S) 離散構造処理系プロジェクト「短期滞在セミナー週間 (SSSW) 2019.09」
- 開催日：2019年9月17日(火)～9月20日(金)
- 開催場所: 北海道大学 大学院 情報理工学研究科 VBL棟 ３階基盤(S)オフィス (MAP)
短期滞在セミナー週間 (SSSW) 2019.09
参加者予定者リスト
| 氏名 | 所属 |
| 西野 正彬 (幹事) | NTTコミュニケーション科学基礎研究所 |
| 宋 剛秀 | 神戸大学情報基盤センター |
| 戸田 貴久 | 電気通信大学 |
| 番原 睦則 | 名古屋大学 大学院情報学研究科 |
| 中畑 裕 | 京都大学大学院情報学研究科 |
| 安田 宜仁 | NTTコミュニケーション科学基礎研究所 |
プログラム
| 発表日 | 開始時間 | 終了時間 | タイトル | 発表者 |
| 9/17 | 10:00 | 集合・研究討論 | 全参加者 | |
| 9/17 | 15:00 | 16:00 | SSSW趣旨説明 | 西野 正彬 |
| 9/17 | 16:00 | 17:00 | 解集合プログラミングと時間割問題への応用 | 番原 睦則 |
| 9/18 | 15:00 | 16:00 | SAT型CSPソルバー: Fun-sCOP | 宋 剛秀 |
| 9/18 | 16:00 | 17:00 | SATサンプリングとその周辺 | 戸田 貴久 |
| 9/19 | 13:00 | 14:00 | DD による Multi-state Two-terminal Reliability の厳密計算 | 中畑 裕 |
| 9/20 | 16:00 | 17:00 | 研究討論まとめ・意見交換 | 全参加者 |
Copyright (C) 2014 Hokkaido Univ., Minato Discrete Structure Manipulation System Project, All Rights Reserved