05 2017/06 07
28293031010203
04 050607080910
11121314151617
18192021 222324
25262728 293001
Click セミナー
基盤(S) 離散構造処理系プロジェクト 「2016年度 秋のワークショップ」

シンポジウムのご案内

基盤(S) 離散構造処理系プロジェクト 「2016年度 秋のワークショップ」

日時:2016年11月20日(日) - 2016年11月22日(火)

会場: ガトーキングダム・サッポロ (アクセス)

ご連絡

  • 発表形式は口頭発表とインタラクティブ発表(ポスター)の2種類です。 インタラクティブ発表は、5分程度のフラッシュトークと、ポスターセッション形式の発表を行っていただきます。 ただし、いわゆるポスターサイズにこだわることなく、ご自身のノートPC等を使っていただいて構いません。
  • 札幌駅と会場の行き来は、ホテルのシャトルバスをご利用ください。 初日は 13:00 札幌駅北口発 13:40 ホテル着のバスをご利用することを推奨いたします。 最終日は 12:10 ホテル発 12:50 札幌駅北口着のバスをご利用することを推奨いたします。

参加申込み

申込締切: 2016年11月4日(金) 13:00
(これ以降も11/17までは若干名のみ受付可能です。)

申込先: admin [at] erato.ist.hokudai.ac.jp

申込内容:

  • 参加者氏名、連絡先、所属
  • 参加日程 (11/20, 21, 22)
  • 発表有無 (有の場合はタイトル)
  • 連絡事項

参加費:

  • 参加費 19,600 円 : (宿泊費 + 夕食費 + 朝食費)×2
  • 昼食代 1,000 円 : 21日のお弁当代
  • 個人負担費 2,000 円 (予定) : 休憩時間、懇親会、2次会の飲み物代および茶菓子代

※ 参加費、昼食代、個人負担費は当日、受付にて現金で徴収いたします。

※ 一部のみ参加の方は別途ご相談ください。

※ 個人負担費は参加人数に応じて変更になる可能性があります。

プログラム

11月20日(日)

開始 終了 タイトル 発表者
13:0013:40 シャトルバス(札幌駅北口→ホテル)
14:0014:40 シャトルバス(札幌駅北口→ホテル)
14:0015:00 受付
15:0015:05 開会あいさつ・事務連絡
15:0515:30 プロジェクトの最近の研究内容と進捗状況 湊 真一
15:3015:55 情報計測CRESTの概要と研究例紹介 鷲尾 隆
15:5516:20 集合の集合の列挙:論理マイニングに向けて 有村 博紀
16:2016:35 休憩
16:3517:00 TBA 堀山 貴史
17:0017:25 TBA 宇野 毅明
17:2517:50 On the relationship between Bayesian Network Classifiers and logical structures for data representations Hei Chan
17:5018:30 休憩・移動
18:3020:30 夕食(懇親会)
19:0019:30 ポスターフラッシュトーク
20:3020:40 休憩・移動
20:4023:00 インタラクティブセッション・自由討論
全部分グラフ指示子上の分類森構築に向けて遺伝的プログラミングを使った決定木アンサンブル学習 横山 侑政
頂点ラベル付き三次元点集合マッチングのインフルエンザウイルス解析への応用 佐々木 耀一
C_4-freeグラフに対する効率の良い誘導マッチングの列挙 栗田 和宏
ZDDに基づくベイジアンネットワークの確率計算 高 サン
複数選択確率的多腕バンディット問題に対する決定的漸近最適方策に向けて 渡辺 僚
IP Solverを用いた木間距離の高速計算の改良 Hong Eun Pyeong

11月21日(月)

開始 終了 タイトル 発表者
09:0009:05 連絡事項
09:0509:30 非公開だけどZDDに関連した話をします 坂上 晋作
09:3009:55 順序構造上の情報幾何的解析 杉山 磨人
09:5510:20 非公開 小松崎 民樹
10:2010:35休憩
10:3511:00 比較バンディットを用いたクラウドソーシングの品質-コストトレードオフの自動調整 石畠 正和
11:0011:25 誤った発見の確率をコントロールしたエマージングパターンの列挙 小宮山 純平
11:2511:50 BDDを用いた影響拡散の厳密計算 前原 貴憲
11:5012:00 予備時間
12:0013:00 昼食・休憩
13:0013:25 無向グラフ動的DFSの省空間実装について 中村 健吾
13:2513:50 配電損失最小化問題 杉森 健
13:5014:15 πDDを用いた線形最適化 松本 晃輔
14:1514:30 休憩
14:3014:55 Lyndon分解とLZ分解の関係性 中島 祐人
14:5515:20 TBA 杉本 志穂
15:2015:45 Truncated DAWG 藤重 雄大
15:4516:00 休憩
16:0016:25 ハッシュに基づくデジタル著名方式の効率化 小野寺 拓
16:2516:50 MaxWalkSat の実装と低消費電力向けテストパタン生成への応用 松永 裕介
16:5017:15 擬似ブール制約を解く 戸田 貴久
17:1518:30 休憩・移動
18:3020:30 夕食(ビュッフェ)
20:3020:40 休憩・移動
20:4023:00 インタラクティブセッション・自由討論
Wildcard許容特徴量のグラフ分類における効果の分析 岡崎 文哉
ZDDを用いた多目的ナップサック問題のパレート解列挙 鈴木 浩史
Word RAM 上におけるコンパクトトライの高速化 高木 拓也
順列の共通パターン列挙 井上 祐馬
Smart Objectの近傍近接連携モデルの検証への確率的モデル検査の導入A 蓑田 玲緒奈
Si-Ge interface design using MCTS Thaer M. Deib

11月22日(火)

開始 終了 タイトル 発表者
09:0009:05 連絡事項
09:0509:30 非公開だけどBCSっぽい話をします 竹内 文登
09:3009:55 非公開だけどjoinっぽい話をします 西野 正彬
09:5510:20 非公開だけどPPAPっぽい話をします 安田 宜仁
10:2010:30 休憩
10:3010:55 ネットワーク設定検証と計算幾何と決定図 井上 武
10:5511:20 SAPPOROBDD extended 川原 純
11:2011:45 非公開 岩下 洋哲
11:4511:50 閉会あいさつ・連絡事項
12:1012:50 シャトルバス(ホテル→札幌駅北口)
13:3014:20 チャーターバス(ホテル→北海道大学→札幌駅北口)
15:0015:40 シャトルバス(ホテル→札幌駅北口)

参加者予定者リスト


代表・分担研究者
湊 真一北海道大学
鷲尾 隆大阪大学
宇野 毅明NII
有村 博紀北海道大学
堀山 貴史埼玉大学
メンバー
石畠 正和北海道大学
Hei ChanNII
井上 祐馬北海道大学
蓑田 玲緒奈北海道大学
渡辺 僚北海道大学
高 サン北海道大学
高木 拓也北海道大学
鈴木 浩史北海道大学
竹内 文登北海道大学
栗田 和宏北海道大学
岡崎 文哉北海道大学
横山 侑政北海道大学
渡辺 幸恵基盤(S)プロジェクト事務局
齊藤 彰基盤(S)プロジェクト事務局
参加者(申込順)
川原 純NAIST
小松崎 民樹北海道大学
杉山 磨人大阪大学
前原 貴憲静岡大学
井上 武NTT未来ねっと研究所
小宮山 純平東京大学
中島 祐人九州大学
松本 晃輔九州大学
西野 正彬NTT CS研
坂上 晋作NTT CS研
安田 宜仁NTT CS研
中村 健吾東京大学
戸田 貴久電気通信大学
菅谷 輝治北海道大学
瀧川 一学北海道大学
山本 章博京都大学
小林 靖明京都大学
Hong Eunpyeong京都大学
杉森 健東京大学
岩下 洋哲富士通研究所
杉本 志穂九州大学
竹田 正幸九州大学
松永 裕介九州大学
佐々木 耀一北海道大学
Thaer DiebThe university of Tokyo/ NIMS
藤重 雄大九州大学
荒木 徹也NII
坂内 英夫九州大学
小野寺 拓東京大学