06 2018/07 08
01 02 03 04 050607
080910 11121314
15161718192021
22232425262728
29303101020304
Click セミナー

シンポジウムのご案内

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

日時:2018年7月6日(金)~7日(土)

会場: 北海道大学 大学院 情報理工学研究科 VBL棟 2階コラボ室・3階基盤(S)オフィス
(案内図はこちら

プログラム(7/5 12:40修正版)

7月06日 (金)

開始時間 終了時間 セッション タイトル 発表者
10:0010:30 開場・受付開始
10:30 10:50 プレイベントトーク
(2階コラボ室)
SSSW2018.04, SSSW2018.06報告等 石畠 正和
10:5011:10 SSSW2018.05報告等 和佐 州洋
11:1011:30 SSSW2018.07報告 / 研究分担者報告 堀山 貴史
11:3013:00昼休み
13:0013:05 開会・事務連絡
13:0513:35 ポスターセッション(1) フラッシュトーク
(2階コラボ室)
各発表者
13:35 14:35 ポスターセッション(1)
(3階会場)
[P01] 離散の帰無分布に対するSelective Inference 花田 博幸
[P03] 反例空間の解析器の実装 戸田 貴久
[P05]二分決定グラフを用いた帰納論理プログラミングの解の列挙 新藤 光
[P07] Materials Structure Design using Monte Carlo Tree Search with Bayesian rollout Thaer Dieb
[P09] テンソル分解可能なテンソル圧縮へ向けて 木村 圭吾
[P11] Algorithm to Use BDD for Satisfying Checking in LHS5 Hei Chan
[P13] ボトムアップ型ZDD構築による集合族の列挙 伝住 周平
[P15] 非公開 中村 健吾
14:3514:45 休憩
14:4515:15 ポスターセッション(2) フラッシュトーク
(2階コラボ室)
各発表者
15:15 16:15 ポスターセッション(2)
(3階会場)
[P02] SAT-based combinatorial test generation 北村 崇師, Eva
[P04] 少ない辺交差数を持つグラフにおける最大カット問題 小林 靖明
[P06] LSIの最小テスト集合問題 = グラフ彩色問題 + 最小被覆問題 松永 裕介
[P08] 有向ハイパーグラフ上の到達可能性判定問題に対するZDDを用いた効率的なアルゴリズム 佐々木 耀一
[P10] Graphic Sequenceの列挙 岩下 洋哲
[P12] 覆面算の列挙 吉仲 亮
[P14] トランスダクティブボルツマンマシン 杉山 麿人
[P16]
16:1516:30 休憩
16:3017:00 研究代表・分担者報告
(2階コラボ室)
研究代表者 基調講演 湊 真一
17:0017:15 研究分担者 近況報告 宇野 毅明
17:1517:30 研究分担者 近況報告 津田 宏治
17:3017:45 研究分担者 近況報告 瀧川 一学
18:30 20:30 懇親会 緋焔(ひえん)札幌駅前店 会費3500円程度

7月07日 (土)

開始時間 終了時間 セッション タイトル 発表者
09:3009:45 ポスターセッション(3) フラッシュトーク
(2階コラボ室)
各発表者
09:45 10:45 ポスターセッション(3)
(3階会場)
[P01] SLP表現された文字列のLyndon分解アルゴリズム 中島 祐人
[P03] 1ブロック編集時の最長回文部分文字列クエリ 舩越 満
[P05] SeqBDDを用いた集合分割の族の表現法 高橋 翔哉
[P07] 二部グラフに含まれる弦二部誘導部分グラフのならし線形時間列挙に向けて 栗田 和宏
[P09]Itemsetカーネルに対するランダム特徴 新 恭兵
[P11] 決定グラフによる禁止マイナー演算 中畑 裕
[P13] サポートベクトル列挙による異常検出に向けて 金森 憲太朗
[P15]
10:4511:00 休憩
11:0011:15 ポスターセッション(4) フラッシュトーク
(2階コラボ室)
各発表者
11:15 12:15 ポスターセッション(4)
(3階会場)
[P02] 信頼性評価のためのBDDパッケージインターフェース 川原 純
[P04] RePairにおける文法サイズの差分解析 古谷 勇
[P06] 有意性を考慮した菱形エピソードの効率よいマイニング 谷 陽太
[P08] グラフ断片決定木によるグラフ特徴発見 坂上 陽規
[P10] 格子を利用したナップザック暗号の解読に向けて 大庭 翔介
[P12] Separate Compilation of Bayesian Networks for Efficient Exact Inference 高 サン
[P14] フロンティア法のメモリ効率の良い変数順序に向けて 鈴木 浩史
[P16]
12:1512:30 中締め
(2階コラボ室)
12:3013:30 昼食・休憩
13:3017:00 意見交換会(自由討論)

参加者予定者リスト(申込順)


基盤(S) プロジェクト 代表・分担研究者
湊 真一京都大学
瀧川 一学北海道大学
堀山 貴史埼玉大学
津田 宏治東京大学
宇野 毅明国立情報学研究所
基盤(S) プロジェクト メンバー
渡辺 幸恵基盤(S)事務局
鈴木 浩史北海道大学
大庭 翔介北海道大学
新 恭兵北海道大学
谷 陽太北海道大学
栗田 和宏北海道大学
坂上 陽規北海道大学
古谷 勇北海道大学
高 サン北海道大学
高橋 翔哉北海道大学
金森 憲太郎北海道大学
熊澤 輝顕北海道大学
一般参加メンバー
花田 博幸名古屋工業大学
戸田 貴久 電気通信大学
岩下 洋哲富士通研究所
Thaer DiebNational Institute for Materials Science
木村 圭吾NEC (データサイエンス研究所)
山中 克久岩手大学
陳 希国立情報学研究所
佐々木 耀一NEC
中村 健吾 NTTコミュニケーション科学基礎研究所
中畑 裕奈良先端科学技術大学院大学
和佐 州洋国立情報学研究所
中島 祐人九州大学
舩越 満九州大学
井上 武NTT未来ねっと研究所
石畠 正和 NTT CS研
松永 裕介九州大学
伝住 周平東京大学
吉仲 亮東北大学
杉山 麿人国立情報学研究所
西野 正彬 NTTコミュニケーション科学基礎研究所
山本 章博京都大学
久保田 稜京都大学
小林 靖明 京都大学
日野 遼人京都大学
新藤 光京都大学
北村 崇師産業技術総合研究所
Eva 産業技術総合研究所
徳山 豪東北大学
川原 純 奈良先端科学技術大学院大学
安田 宜仁NTTコミュニケーション科学基礎研究所