5月9日(土) 午前
09:30 - 12:00 |
(1)
COMP |
09:30-09:55 |
敵対的事例攻撃の威力と原因解明 |
○櫻井幸一（九大） |
| (2) |
09:55-10:15 |
[AL] [ショートトーク] クラスタリングにより知識の局所的一貫性を確保するブール多値論理推論
○野崎 裕人，リン ジンズゥ，鈴木 寿（中央大学） |
| (3) |
10:15-10:35 |
[AL] [ショートトーク] 小規模回路で実現する高速多倍長乗算方式のシミュレーション
○久田 大貴，リン ジンズゥ，鈴木 寿（中央大学） |
| (4) |
10:35-11:00 |
[AL177振替] Better Embedding of k-Outerplanar Graphs into Random Trees
○松林 昭（金沢大） |
| |
11:00-11:15 |
休憩 （ 15分 ） |
| (5) |
11:15-12:00 |
[AL] [招待講演] A Graph Theoretic Framework of Recomputation Algorithms for Memory-Efficient Backpropagation
○Mitsuru Kusumoto (Preferred Networks)，Takuya Inoue (The University of
Tokyo), Gentaro Watanabe, Takuya Akiba, Masanori Koyama (Preferred
Networks) |
| |
12:00-13:30 |
昼食 （ 90分 ） |
5月9日(土) 午後
13:30 - 17:28 |
| (6) |
13:30-14:30 |
[COMP] [招待講演] The Directed Flat Wall Theorem
○河原林 健一（NII） |
| |
14:30-14:45 |
休憩 （ 15分 ） |
| (7) |
14:45-15:10 |
[AL] M凸関数最小化問題に対する最急降下法の厳密な反復回数
○南川 智都，塩浦 昭義（東京工業大学） |
(8)
COMP |
15:10-15:35 |
Another time-complexity analysis for the maximal clique enumeration algorithm CLIQUES |
○Etsuji Tomita（Univ. Electro-Comm.）・Alessio Conte（Univ. of Pisa） |
| (9) |
15:35-16:00 |
[AL177振替] 四つ組の非推移的サイコロの混合戦略
○盧 尚，来嶋 秀治（九州大学） |
| |
16:00-16:15 |
休憩 （ 15分 ） |
(10)
COMP |
16:15-16:40 |
Gathering for mobile agents with a strong team in weakly Byzantine environments |
○Jion Hirose・Masashi Tsuchida（NAIST）・Junya Nakamura（TUT）・Fukuhito Ooshita・Michiko Inoue（NAIST） |
| (11) |
16:40-17:05 |
[AL177振替] Approximation of the Independent Feedback Vertex Set Problem
○Yuma Tamura, Takehiro Ito, Xiao Zhou (Tohoku University) |
| (12) |
17:05-17:25 |
[AL] [ショートトーク]パス幅３以下でダイヤモンド自由なグラフの３彩色可能性
○島崎 浩幸，玉木 久夫（明治大学） |
| |
17:25-17:26 |
終了 （ 1分 ） |
(13)
COMP |
17:26-17:27 |
On Memory, Communication, and Synchronous Schedulers for Autonomous Mobile Robots |
Paola Flocchini（UoO）・Nicola Santoro（CU）・○Koichi Wada（HU） |
(14)
COMP |
17:27-17:28 |
ポインタ付連分割トライに基づく決定図によるパケット分類法 |
○原田崇司・竹内聖悟（高知工科大）・田中 賢（神奈川大）・三河賢治（新潟大） |
: o
-u