11月6日(水) 午後 13:00 - 17:50 |
(1) MSS |
13:00-13:20 |
Synchronizing 2D Arrays in Optimum-time |
○Hiroshi Umeo・Keisuke Kubo・Yusuke Takahashi(Univ. of Osaka Electro-Comm.) |
(2) |
13:20-13:40 |
An algorithm for finding frequent appearing long string patterns from large scale databases
宇野毅明(国立情報学研究所)、梅森十三(国立遺伝学研究所)、小出剛(国立遺伝学研究所) |
(3) |
13:40-14:00 |
論理関数のCNF式からBDDの効率的な構築法
戸田 貴久 (科学技術振興機構) |
(4) MSS |
14:00-14:20 |
動的組込みシステムの仕様記述言語の開発 |
○山根 智・酒井 誠(金沢大) |
(5) |
14:20-14:40 |
オンライン文法圧縮
丸山史郎(株式会社プリファードインフラストラクチャー)、田部井靖生(JST-ERATO)、坂本比呂志(九州工業大学)、定兼邦彦(国立情報学研究所) |
(6) |
14:40-15:00 |
高速かつ省領域な線形時間LZ分解アルゴリズム
後藤啓介(九州大学 システム情報科学府)、坂内英夫(九州大学 システム情報科学研究院) |
|
15:00-15:10 |
休憩 ( 10分 ) |
(7) MSS |
15:10-15:30 |
PTZカメラセンサネットワークにおける協調トラッキング |
○浜田健太・林 直樹・高井重昌(阪大) |
(8) |
15:30-15:50 |
Randomized Algorithms for Online Knapsack Problems
Han Xin(Dalian University of Technology), Kawase Yasushi(University of Tokyo), Makino Kazuhisa(Kyoto University) |
(9) CAS |
15:50-16:10 |
矩形分割の3n-4ビット表現の性質を利用した探索手法に関する研究 |
○小貝和史・藤吉邦洋(東京農工大) |
(10) |
16:10-16:30 |
Stable Matchings in Trees
TAYU Satoshi(Tokyo Institute of Technology), UENO Shuichi(Tokyo Institute of Technology) |
(11) CAS |
16:30-16:50 |
A Matching Problem in Electricity Markets using Network Flows |
○Ryo Hase・Norihiko Shinomiya(Soka Univ.) |
|
16:50-17:00 |
休憩 ( 10分 ) |
(12) CAS |
17:00-17:50 |
[招待講演]Orthogonal Ray Graphs with Applications to Nanocircuit Design |
○Shuichi Ueno(Tokyo Inst. of Tech.) |
11月7日(木) 午前 08:30 - 16:30 |
(13) CAS |
08:30-08:50 |
人工学級ゲームを用いたプレイヤ行動のモデリング |
○龍田篤弥・谷 賢太朗(新潟大)・加藤浩介(広島工大)・前田義信(新潟大) |
(14) |
08:50-09:05 |
拡張文字列パターンのクラスに対するGPU上の並列照合アルゴリズムとその性能評価
笹川裕人(北海道大学)、有村博紀(北海道大学) |
(15) CAS |
09:05-09:25 |
セルオートマトンを用いた出口位置を考慮した避難行動シミュレーション |
○横川京平・谷 賢太朗・荻原さなえ(新潟大)・小西孝史(富山短大)・前田義信(新潟大) |
(16) |
09:25-09:45 |
GPUを用いた並列ソートアルゴリズムの実装と評価
小池敦(国立情報学研究所)、定兼邦彦(国立情報学研究所) |
|
09:45-09:55 |
休憩 ( 10分 ) |
(17) CAS |
09:55-10:15 |
A Note on Two-Directional Orthogonal Ray Graphs and Related Graphs |
○Asahi Takaoka・Satoshi Tayu・Shuichi Ueno(Tokyo Inst. of Tech.) |
(18) |
10:15-10:35 |
Bounding Dilation of Separator-Based Graph Embeddings into Grids
松林 昭 (金沢大学大学院) |
(19) |
10:35-10:55 |
Bumpy Pyramid Folding
Abel Zachary(MIT), Demaine Erik(MIT), Demaine Martin(MIT), Ito Hiro(The University of Electro-Communications), Snoeyink Jack(The University of North Carolina), Uehara Ryuhei(Japan Advanced Institute of Science and Technology) |
|
10:55-11:05 |
休憩 ( 10分 ) |
(20) |
11:05-11:55 |
[招待講演]
計算幾何入門 --- Androidアプリでの利用
大西建輔 (東海大学) |
|
11:55-13:00 |
昼休み ( 65分 ) |
(21) MSS |
13:00-13:50 |
[招待講演]システムのスマートな制御を可能とするシステム数理と応用 ~ エレベーターの制御を例として ~ |
○高橋宏治(東工大) |
|
13:50-14:00 |
休憩 ( 10分 ) |
(22) MSS |
14:00-14:20 |
マルチカーエレベータのかご制御と割り当て問題に対するCP/MIPハイブリッド手法 |
○峰岸達矢・宮本俊幸(阪大) |
(23) MSS |
14:20-14:40 |
エレベーターにおける乗客輸送のMark Flow Graphに基づく基本モデルとシミュレーション |
○秋山雪菜・高橋宏治(東工大) |
(24) MSS |
14:40-15:00 |
エレベーターにおけるカゴおよびシャフト制御論理のMark Flow Graphに基づく基本モデルとSequential Function Chartによる制御実現 |
○塚本達也・高橋宏治(東工大) |
(25) MSS |
15:00-15:20 |
動的稼働台数制御によるエレベータ省エネ群管理機能の開発 |
○坂巻慶行・田中俊明・山田尚史(東芝)・杉原俊雄(東芝エレベータ) |
|
15:20-15:30 |
休憩 ( 10分 ) |
(26) CAS |
15:30-15:50 |
Slicing Floorplanに対するZDD (Sequence BDD)の構築 |
○清水創介・高橋俊彦(新潟大) |
(27) |
15:50-16:10 |
マイクロクラスタリングを用いた単語分類とトピック検知
中原孝信(関西大学)、宇野毅明(国立情報学研究所)、羽室行信(関西学院大学) |
(28) |
16:10-16:30 |
Uniformly Random Generation of Floorplans
山中克久(岩手大学)、中野眞一(群馬大学) |