12月13日(金) 09:00 - 18:10 |
(1) |
09:00-09:25 |
分散スライシングを実現する省メモリ適応型プロトコル |
○上辻利奈・首藤裕一(阪大)・角川裕次(龍谷大)・増澤利光(阪大) |
(2) |
09:25-09:50 |
反復合成を用いた1-極大独立集合問題を解く自己安定アルゴリズム |
○田中秀幸・首藤裕一(阪大)・角川裕次(龍谷大)・増澤利光(阪大)・Ajoy K. Datta(UNLV) |
(3) |
09:50-10:15 |
辺除去からの復旧に優れたモバイルエージェントによる自己安定グラフ探索 |
○原 悠樹・首藤裕一(阪大)・角川裕次(龍谷大)・増澤利光(阪大) |
|
10:15-10:25 |
休憩 ( 10分 ) |
(4) |
10:25-10:50 |
A Note on a Latch/Flip-flop Mixed High-level Synthesis |
○Keisuke Inoue(ICT) |
(5) |
10:50-11:15 |
同一qグラムの出現位置間の距離を考慮した厳密文字列照合アルゴリズム |
○小林 賢・ヘンリアン ディプタラマ・吉仲 亮・篠原 歩(東北大) |
(6) |
11:15-11:40 |
解の個数を制限した充足可能性問題の計算困難性 |
○堀内弘武・森本尚之・山田俊行・河内亮周(三重大) |
|
11:40-13:00 |
昼食 ( 80分 ) |
(7) |
13:00-14:00 |
[招待講演]Spectral Sparsification of Hypergraphs |
○Tasuku Soma(The Univ. of Tokyo)・Yuichi Yoshida(NII) |
|
14:00-14:10 |
休憩 ( 10分 ) |
(8) |
14:10-14:35 |
Computational Complexity of Relaxed Optimal Rule Ordering |
○Takashi Harada(Kochi Univ. of Tech.)・Ken Tanaka(Kanagawa Univ.)・Kenji Mikawa(Niigata Univ.) |
(9) |
14:35-15:00 |
連言標準形の論理式に関する公式と計算量について |
○町出智也(NII) |
(10) |
15:00-15:25 |
加算結果を利用した入力変数の組合せのあいまいな推測 |
○上土井陽子・若林真一(広島市大) |
|
15:25-15:35 |
休憩 ( 10分 ) |
(11) |
15:35-16:00 |
反応システムの制御における信号数の削減 |
○矢光隆太郎・小林 聡(電通大) |
(12) |
16:00-16:25 |
未知の振る舞いを持つ正則文法に対する制御システムの信号数の削減 |
○木元達哉・小林 聡(電通大) |
(13) |
16:25-16:50 |
書き換え制限付き決定性オートマトンと繰り返し補題 |
○吉田光星・山上智幸(福井大) |
|
16:50-17:00 |
休憩 ( 10分 ) |
(14) |
17:00-17:25 |
Shortest Reconfiguration of Perfect Matchings via Alternating Cycles |
Takehiro Ito(Tohoku Univ)・Naonori Kakimura(Keio Univ)・Naoyuki Kamiyama(Kyushu Univ, JST PRESTO)・Yusuke Kobayashi(Kyoto Univ)・○Yoshio Okamoto(UEC, RIKEN AIP) |
(15) |
17:25-17:50 |
アンチスライドパズルの解析 |
○木村健斗・天野一幸・荒木徹也(群馬大) |
(16) |
17:50-18:10 |
多数決関数を計算する2段の多数決回路 |
○尾島康浩・横川拓哉・天野一幸(群馬大) |