Aug. Sep. 2017 Oct.
SunMonTueWedThuFriSat
27282930310102
03040506070809
10111213141516
17181920212223
24252627282930
Click Seminar

シンポジウムのご案内

ERATO湊離散構造処理系プロジェクト 「2014年度 春のワークショップ」

場所:北海道大学情報科学研究科 ERATO 会議室
日時:2014/4/18(金)~4/19(土)

プログラム

4月18日(金)

開始時間 終了時間 セッション タイトル 発表者
9:3010:00 受付・ポスター準備
10:0010:05 開会挨拶湊 真一
10:0510:35ポスターセッション(1) ポジショントーク 各発表者
10:35 11:35 ポスターセッション(1) Ones of the Best are Better than One of the Best 伝住 周平
q-gram距離基準での高速な類似文字列検索花田 博幸
タンパク質の時系列から得られたMarkov連鎖の解析に向けて:具体的な反応ネットワークの解析結果とその数値的な振る舞い永幡 裕
K-縮退グラフに含まれる誘導木の列挙和佐 州洋
πDDベクターを用いたstrongly Wilf-equivalent classの発見井上 祐馬
ユビキタスコンピューティングシナリオの記号モデル検査による検証手法蓑田 玲緒奈
ランダムウォークの脱乱択化 白髪 丈晴
分枝限定法を用いた年間の配電損失最小化手法の検討竹延 祐二
系列二分決定グラフを用いたウォークの列挙青木 洋士
11:3513:00 (昼食・ポスター準備)
13:0013:30ポスターセッション(2) ポジショントーク各発表者
13:30 14:30 ポスターセッション(2) 分散QBFとの経験Charles Jordan
端末の移動軌跡情報を用いた避難誘導システムについて川原 純
文字列類似結合におけるハイブリッド探索手法白井 康之
パス列挙におけるRelax/Restrict ZDD竹内 聖悟
大規模なNFAシミュレーションのための効率的なデータ構造倉井 龍太郎
Ekillion中元 政一
TAKEパッケージの応用: 顧客プロファイリングStephane Cheung
並列探索 - 囲碁、耐故障性、数値制約充足問題 - 美添 一樹
Semiparametric KL Policy Search植野 剛
決算発表時の特徴語とニュース出現率を用いた株式ポートフォリオの構築東 高宏
14:3014:50 (休憩・ポスター発表準備)
14:5015:20ポスターセッション(3) ポジショントーク 各発表者
15:20 16:20 ポスターセッション(3) 分割構築によるフロンティア法の省領域化斎藤 寿樹
CNFで与えられた論理関数に対するBDD構築の効率化岩下 洋哲
佐久間 淳
メモリ階層を考慮したBDD演算とその並列化戸田 貴久
組合せ効果の発見と偽陽性:より正確な多重検定補正法寺田 愛花
Re-Pairアルゴリズムの大規模化に対する適応的辞書共有手法笹川 裕人
Lyndon分解における逆問題中島 祐人
田部井 靖生
サンプリングを用いた超高速外れ値検出杉山 麿人
グラフ制約のついたアイテム集合に対するLAMPの拡張瀬々 潤
SATソルバを用いた複合型FPGAのブーリアンマッチングアルゴリズム松永 裕介
16:2016:30 休憩
16:3017:10 基調講演研究総括報告 湊 真一
17:1017:30東京地区報告 津田 宏治
17:3017:50大阪地区報告 植野 剛
17:5018:00 初日クロージング
18:0019:00 (移動)
19:0021:00 懇親会(中島公園 テラスレストラン・キタラ)

4月19日(土)

開始時間 終了時間 セッション タイトル 発表者
9:309:50受付・ポスター準備
9:5010:40招待講演From off-line compilation to just in time queries answeringLaurent Simon (University of Bordeaux)
10:4010:50 (休憩)
10:5011:20ポスターセッション(4) ポジショントーク各発表者
11:20 12:20 ポスターセッション(4) BDDを利用した命題論理式の前提の列挙山本 章博
(タイトル非公開)石畠 正和
最速輸送問題に対する最速近似解法及び避難計画への応用東川 雄哉
Top-K ZDDの構築西野 正彬
閾値以下の全てのパスのZDDによるインデクス化安田 宜仁
逆探索に基づくタイリングの列挙 - p4タイリング再訪堀山 貴史
The Computational Complexity of Games and PuzzlesValia Mitsou
大規模楽曲信号データベースに対する高速検索喜田 拓也
UCB型協調フィルタリング中村 篤祥
Improved ESP-index: a practical self-index for highly repetitive texts高畠 嘉将
CSPSAT Projects and their SAT Related Tools宋 剛秀
12:2012:30 中締め挨拶湊 真一
12:3014:00 (昼食)
14:0017:00 分科会,自由解散

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


湊真一ERATO湊プロジェクト研究総括・北海道大学
Laurent SimonUniversity of Bordeaux
津田宏治ERATO湊プロジェクト / 東京大学
白井康之ERATO湊プロジェクト
安田宜仁ERATO湊プロジェクト
竹内 聖悟ERATO湊プロジェクト
倉井龍太郎ERATO湊プロジェクト
中元政一ERATO湊プロジェクト
高嶋宏之ERATO湊プロジェクト
Stephane CheungERATO湊プロジェクト
美添一樹ERATO湊プロジェクト
植野剛ERATO湊プロジェクト
東高宏ERATO湊プロジェクト
喜田拓也北海道大学
佐久間 淳筑波大学
岩下洋哲富士通研究所
斎藤寿樹神戸大学
伝住周平北海道大学
Charles Jordan北海道大学
戸田貴久電気通信大学
山本章博京都大学
永幡裕北海道大学
石畠正和NTT CS研
東川雄哉京都大学
松永裕介九州大学
有村博紀北海道大学
花田博幸北海道大学
Valia Mitsou 京都大学
井上祐馬北海道大学
杉山麿人大阪大学
西野正彬NTTコミュニケーション科学基礎研究所
堀山貴史埼玉大学
宋剛秀神戸大学
高畠嘉将九州工業大学
白髪丈晴九州大学
Jana C. Backhus北海道大学
野中秀俊北海道大学
田部井靖生JST-さきがけ
中島祐人九州大学大学院
寺田愛花お茶の水女子大学
川原 純奈良先端科学技術大学院大学
瀬々潤お茶の水女子大学
中村篤祥北海道大学
和佐州洋北海道大学
笹川裕人北海道大学
瀧川一学北海道大学
竹延祐二早稲田大学
小松崎民樹北海道大学
坂内英夫九州大学
青木洋士北海道大学
瀬谷元秀JST
佐藤一美JST
蓑田玲緒奈北海道大学
竹田正幸九州大学
吉仲亮京都大学
宇野毅明国立情報学研究所