離散構造処理系プロジェクト 北大・京大 研究交流会
日時：2018年9月7日(金) 10:30～
会場:北海道大学 大学院 情報理工学研究科 VBL棟 ３階基盤(S)オフィス
（MAP）
シンポジウムのご案内
プログラム
| 発表日 | 開始時間 | 終了時間 | タイトル | 発表者 |
| 9/7 | 10:30 | 10:40 | 開会の挨拶（湊）および出席者の簡単な自己紹介 | 湊 真一 |
| 10:40 | 11:10 | 疎グラフにおけるkモジュラリティ最大化問題のNP困難性 | 平田 峻介 | |
| 11:10 | 11:40 | 魔方陣の数え上げ | 加藤 剛 | |
| 11:40 | 13:30 | 昼休み | ||
| 13:30 | 14:00 | 量子計算の現在と将来 | ルガル フランソワ | |
| 14:00 | 14:30 | 制約充足問題に対するアルゴリズム/(Fine-Grained) Complexity | 玉置 卓 | |
| 14:30 | 15:00 | 決定グラフを用いた制約付きグラフ分割の列挙索引化 | 中畑 裕 | |
| 15:00 | 15:15 | 休憩 | ||
| 15:15 | 15:45 | 化学反応経路ネットワークにおけるZDDを用いたエネルギー制限付き経路列挙 | 鈴木 浩史 | |
| 15:45 | 16:15 | SeqBDDを用いた集合分割の族の表現法と実験的評価 | 高橋 翔哉 | |
| 16:15 | 17:00 | 飛び入り発表・自由討論 | ||
| 18:30 | ～ | 懇親会 |
参加者予定者リスト
| 参加者／所属 | |
| 湊 真一 | 京都大学 |
| 瀧川 一学 | 北海道大学 |
| ルガル フランソワ | 京都大学 |
| 玉置 卓 | 京都大 |
| 平田 峻介 | 京都大学 |
| 加藤 剛 | 京都大学 |
| 中畑 裕 | 奈良先端科学技術大学院大学 |
| 鈴木 浩史 | 北海道大学 |
| 高橋 翔哉 | 北海道大学 |
| 学生 | 大規模知識処理研究室 |