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

シンポジウムのご案内

離散構造処理系プロジェクト 北大・京大 研究交流会

日時:2018年9月7日(金) 10:30~

会場:北海道大学 大学院 情報理工学研究科 VBL棟 3階基盤(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 懇親会

参加者予定者リスト


 
参加者/所属
湊 真一京都大学
瀧川 一学北海道大学
ルガル フランソワ京都大学
玉置 卓京都大
平田 峻介京都大学
加藤 剛京都大学
中畑 裕 奈良先端科学技術大学院大学
鈴木 浩史北海道大学
高橋 翔哉北海道大学
学生大規模知識処理研究室