08 2018/09 10
26272829303101
0203 04 05 060708
0910 1112131415
16171819202122
2324 25 26 272829
30010203040506
Click セミナー
京都大学

短期滞在セミナー週間 (SSSW) 2018.05

  • 名称:基盤(S) 離散構造処理系プロジェクト「短期滞在セミナー週間 (SSSW) 2018.05」
  • 開催日:2018年5月28日(月)~6月1日(金)
  • 開催場所: 北海道大学 大学院 情報理工学研究科 VBL棟 3階基盤(S)オフィス (MAP)

参加者予定者リスト


氏名 所属
和佐 州洋 (幹事) NII
堀山 貴史 埼玉大学
山崎 一明 JAIST
中畑 裕 NAIST
鈴木 浩史 北海道大学
栗田 和宏 北海道大学
伝住 周平 東京大学

プログラム

発表日 開始時間 終了時間 タイトル 発表者
5/28 10:00 集合(研究打合せ) 参加者全員
5/28 16:30 17:30 開催趣旨・メンバー紹介 和佐 州洋
5/28 17:30 18:30 ZDDによる列挙における同型性の除去 堀山 貴史
5/29 16:30 17:30 フロンティア法と集合族演算の合わせ技 鈴木 浩史
5/29 17:30 18:30 Enumeration of Nonisomorphic Graphs in Glaph Classes 山崎 一明
5/30 16:30 17:30 疎なグラフに対する支配集合の効率良い列挙 栗田 和宏
5/30 17:30 18:30 フロンティア法によるDAGのDAGへの縮約の列挙 中畑  裕
5/31 16:30 17:30 Enumerating Reachable States of 2x2x2 Rubik’s Cube Using Implicit and Explicit Methods Alan Mishchenko
5/31 17:30 18:30 Sequence Sentential Decision Diagrams 伝住 周平
6/1 17:30 18:30 進捗状況・意見交換会(非公開)