Oct. Nov. 2019 Dec.
SunMonTueWedThuFriSat
27282930310102
03040506070809
10111213141516
17181920212223
24252627282930
Click Seminar
基盤(S) 離散構造処理系プロジェクト 「2019年度 秋のワークショップ」

シンポジウムのご案内

ご連絡

  • 発表形式は口頭発表とインタラクティブ発表(ポスター)の2種類です。 インタラクティブ発表は、2-3分程度のフラッシュトークと、ポスターセッション形式の発表を行っていただきます。 ただし、いわゆるポスターサイズにこだわることなく、ご自身のノートPC等を使っていただいて構いません。
  • 交通手段の詳細については後日ご案内します。一部の地域を除き、全国の多くの空港からその日のうちに移動可能です。
  • 最終日は12:15にホテルから支笏湖温泉街経由,新千歳空港空港行きチャーターバス(有料・事前申込)が出ます。なお、空港までの所要時間は1時間程度です。

参加費

  • 参加費内訳(税込):
    • 宿泊費(1泊朝夕食付):10,000円 × 泊数
    • 懇親会費(お茶菓子代):3,000円程度(一般)、2,000円程度(学生)
    • 5日昼食弁当代(希望者のみ):1,200円(コンビニ等はありません)
    • 6日チャーターバス代(希望者のみ):1,000円
  • 注意事項:
    • 宿泊費、懇親会費、お弁当代は全て税込みです。受付時に徴収しますので,おつり銭がないようご協力をお願いします。
    • 懇親会に参加できない方はお茶菓子代として1,000円頂きます。
    • お弁当の最終締め切りは10月24日です。

参加申込み

  • 申込み締切:10/21(月) 9:00 (空き状況により締切後に若干の追加は可能ですが、人数把握のため早めの申込みをお願いします)
  • 申込先:admin [at] erato.ist.hokudai.ac.jp
  • 申込内容:
    1. 参加者情報:氏名、所属、メールアドレス
    2. 参加日程:11/4,5,6
    3. 発表有無:有(タイトル:未定可)/無/未定
    4. 5日昼食弁当の利用有無:有/無
    5. 6日チャーターバスの利用有無:有/無
    6. その他連絡事項:(食物アレルギー等)
  • 注意事項:
    • 合宿の最大定員は50名です。
    • 一部のみ参加の方は別途ご相談ください。
    • 旅費サポートが必要な方は別途ご相談ください。

プログラム

11月4日(月)

    
開始終了 タイトル発表者
14:00 15:00 受付
15:00 15:10 開会あいさつ・事務連絡
15:10 15:45 基盤(S) プロジェクトの研究状況報告 湊 真一
15:45 16:10 研究分担者報告 宇野 毅明
16:10 16:25 休憩
16:25 16:50 研究分担者報告 瀧川 一学
16:50 17:15 研究分担者報告 堀山 貴史
17:15 17:40 研究分担者報告 有村 博紀
18:00 19:30 夕食:鼓草 (2F)
19:30 20:00 ポスターフラッシュトーク (8件×3分)
20:00 23:00 インタラクティブセッション
1非単調劣モジュラ関数最大化に対する確率的貪欲法の近似保証坂上 晋作
2フロンティアの増減と多様な解の探索を考慮したビームサーチによるフロンティア法の変数順序付け長谷 洋斗 
3ペアリングルール列挙に基づくルール順序最適化法 渕野 敬 
4確率的帰納論理プログラミングに基づく仮説推論のためのルール発見 佐々木 耀一 
5お姉さん問題 ~閉路版~大江 憂歌 
6アミダマスキングテープ問題について加藤 剛 
7凸多角形畳み込み和を用いた 3-(Sub-)Cadences の計算舩越 満 
8ZDDを用いたビンパッキング問題への応用検討高橋 翔哉 

11月5日(火)

       
開始 終了 タイトル 発表者
9:00 9:25 Bernoulli Scan Statistics by BDDs 石畠 正和
9:25 9:50 Discrete Convex Optimization on Decision Diagrams  前原 貴憲
9:50 10:15 出現パターン制約付き最長共通部分列問題 中島 祐人
10:15 10:40 休憩
10:40 11:05 (都合により非公開) 中村 健吾
11:05 11:30 BDDを用いたソーティングネットワークの生成  大西 建輔
11:30 11:55 Listing Induced Steiner Subgraphs as a Compact Way to Discover Steiner Trees in Graphs 和佐 州洋
12:00 13:30 昼食(お弁当):鼓草 (2F)
13:30 13:55 モジュラー分解を用いた極大クリークの効率良い列挙と数え上げに向けて  栗田 和宏
13:55 14:20 機械学習のための高速ルールマイニング  岩下 洋哲
14:20 14:45 決定グラフを活用する局所探索の構想 鈴木 浩史
14:45 15:10 休憩
15:10 15:35 反応性境界を見つけるためのアルゴリズム 永幡 裕
15:35 16:00 パスマッチングを必ず取れるようなグラフの拡張方法 井上 武
16:00 16:25 休憩
16:25 16:50 Power set scan 法を用いた連結なホットスポット検出アルゴリズム 川原 純
16:50 17:15 ZDDに基づく集合族の列挙  伝住 周平
17:15 17:40 (予備) 
18:00 19:30 懇親会:鼓草(2F)
19:30 20:00 ポスターフラッシュトーク (8件×3分)
20:00 22:30 インタラクティブセッション
1ZDDを用いた部分二部グラフと部分弦二部グラフの列挙吉村 知行
2Graph Neural Networkを用いたグラフの木幅予測中野 裕太
3ランダム分割木に基づく勾配ブースティングの検証松田 祐汰
4大きな正規表現に対する系列二分決定グラフを用いた効率よい照合手法 瀧澤 涼介
5ZDDを用いた不満度が両側平等なマッチング解の列挙の検討 桃井 雄資
6top ZDDの性能評価松田 康太郎
7オンライン決定木と更なるランダム化 菅原 優
8Shortest/Minimal Unique Substrings三重野 琢也

11月6日(水)

開始 終了 タイトル 発表者
9:00 9:25 MDDを用いた multi-state network の信頼性厳密計算 中畑 裕
9:25 9:50 SATフィルターの検討   戸田 貴久
9:50 10:15 グラフの最適2等分割問題に対するアルゴリズムと困難性 小林 靖明
10:15 10:30 休憩
10:30 10:55 ゲームAIにおける助言の活用  竹内 聖悟
10:55 11:20 Cascaded Circular-Run-Based Trie と Circ1P分割 原田 崇司
11:20 11:45 (都合により非公開) 安田 宜仁
11:45 11:55 閉会・連絡事項
12:15出発 新千歳空港行チャーターバス(丸駒温泉前)

参加者リスト


                           
代表・分担研究者
湊 真一京都大学 情報科学研究科
瀧川 一学理化学研究所
堀山 貴史北海道大学 情報科学研究科
宇野 毅明国立情報学研究所
有村 博紀北海道大学 情報科学研究科
プロジェクトメンバー
栗田 和宏北海道大学 情報科学研究科
中野 裕太 北海道大学 情報科学研究科
松田 祐汰北海道大学 情報科学研究科
瀧澤 涼介北海道大学 情報科学研究科
菅原 優北海道大学 情報科学研究科
高橋 翔哉北海道大学 情報科学研究科
渡辺 幸恵北海道大学 基盤(S)事務局
齊藤 彰北海道大学 基盤(S)事務局
参加者(申込順)
安田 宜仁NTT CS研
前原 貴憲理研AIP
大江 憂歌九州大学
来嶋 秀治九州大学
坂上 晋作NTT CS研 / 京大 湊研
中島 祐人九州大学
三重野 琢也九州大学
舩越 満九州大学
中村 健吾NTT CS研
吉村 知行京都大学
大西 建輔東海大学
中畑 裕京都大学
原田 崇司高知工科大学
長谷 洋斗奈良先端科学技術大学院大学
渕野 敬神奈川大学
和佐 州洋国立情報学研究所
石畠 正和NTT CS研
加藤 剛京都大学
岩下 洋哲富士通研究所
鈴木 浩史富士通研究所
小林 靖明京都大学
竹内 聖悟高知工科大学
永幡 裕北大WPI-ICReDD
井上 武NTT未来ねっと研究所
川原 純京都大学
伝住 周平東京大学
桃井 雄資奈良先端科学技術大学院大学
松田 康太郎東京大学
佐々木 耀一NEC研究所
戸田貴久電気通信大学