基盤(S)離散構造処理系プロジェクト（北海道大学サイト）

シンポジウムのご案内

プログラム

開始時間	終了時間	時間	タイトル	発表者
15:00	15:10	0:10	開会あいさつ・事務連絡
15:10	15:40	0:30	順列集合を表す新しい二分決定グラフとその演算について	湊真一
15:40	15:50	0:10	ベイジアンネットワークの確率計算とZDD	浜口清治
15:50	16:20	0:30	SuffixDD: Sequence BDDに基づく部分文字列索引 (part1, part2)	伝住周平，吉仲亮
16:20	16:50	0:30	休憩
16:50	17:00	0:10	VF符号上でのパターン照合の高速化	喜田拓也
17:00	17:30	0:30	ビット並列計算を用いた高速な正規表現照合	金田悠作
17:30	17:40	0:10	大規模並列計算でのメモリ有効利用の試み (参考資料：Borja Balle, "Learning Probabilistic Automata")	渡辺治
17:40	17:50	0:10	ベイジアンネットワークの機械語へのコンパイル	川原純，高橋渉
18:00			夕食
			自由討論（クラッセホールA）

11月30日（月）

開始時間	終了時間	時間	タイトル	発表者
9:30	9:40	0:10	離散因果推論の検討	鷲尾隆
9:40	9:50	0:10	Parameter Learning for Bayesian Networks on Shared Binary Decision Diagrams	石畠正和
9:50	10:20	0:30	一般化確率伝播法の諸性質について	鈴木譲
10:20	10:50	0:30	休憩
10:50	11:20	0:30	ZDDを用いたパスの列挙	斎藤寿樹，鈴木拡
11:20	11:30	0:10	NW設計における最適化について	井上 武
11:30	14:00	2:30	昼食（クラッセホールB）
14:00	14:10	0:10	楽天データの解析について	白井康之，櫻井祐子，鶴間浩二
14:10	14:40	0:30	タクソノミを取り入れた顕在パタンを利用したPOSデータの分析	森田裕之，羽室行信
14:40	15:10	0:30	格フレームの概念化手法と株価予測への応用について	羽室行信，岡田克彦
15:10	15:20	0:10	ZDD処理系・デモ等	中元政一，羽室行信
15:20	15:50	0:30	休憩
15:50	16:20	0:30	Parameterized Complexity of the Spanning Tree Congestion Problem	大舘 陽太
16:20	16:25	0:05	組合せ的な解釈を用いた新しい匿名性尺度とアルゴリズム	宇野毅明
16:25	16:35	0:10	複数のプラトン立体の共通展開図に関する研究	上原隆平, 堀山貴史, 白井俊博
16:35	16:40	0:05	入れ替え可能なオンライン問題について	堀山貴史
16:40	16:45	0:05	間違えても大丈夫なアルゴリズム	岡本吉央
18:00			夕食
			自由討論（クラッセホールA）

12月1日（水）

開始時間	終了時間	時間	タイトル	発表者
9:30	9:40	0:10	機械学習への計算論的アプローチ	杉山 麿人
9:40	10:10	0:30	BDDを用いた劣モジュラ最大化の解列挙について	河原 吉伸
10:10	10:40	0:30	休憩
10:40	11:10	0:30	Wavelet Treeによる大規模グラフデーターの高速類似度検索	田部井靖生
11:10	11:40	0:30	タンパク質相互作用ネットワークからの密結合モジュールの全列挙	津田宏治

参加者リスト

湊真一	北海道大学/ERATO
鷲尾隆	大阪大学
津田宏治	AIST
白井康之	ERATO
櫻井祐子	ERATO
吉仲亮	ERATO
川原純	ERATO
斎藤寿樹	ERATO
田部井靖生	ERATO
羽室行信	関西学院大学
森田裕之	大阪府立大学
宇野毅明	東京工業大学
上原隆平	JAIST
堀山貴史	埼玉大学
岡本吉央	JAIST
中元政一	ERATO
石畠正和	東京工業大学
鈴木譲	大阪大学
河原 吉伸	大阪大学
渡辺治	東京工業大学
喜田拓也	北海道大学
浜口清治	大阪大学
岡田克彦	関西学院大学
金田 悠作	北海道大学
伝住周平	北海道大学
大舘 陽太	東北大学
鶴間浩二	ERATO（予定）
井上 武	NTT未来ねっと研究所
杉山 麿人	京都大学
齊藤彰	ERATO
渡辺幸恵	ERATO