3月5日(月) 午前
09:00 - 16:55 |
| (1) |
09:00-09:30 |
k-集合合意問題を解く故障検知器 |
○坂田 敦・小野廣隆・定兼邦彦・山下雅史（九大） |
| (2) |
09:30-10:00 |
論理式を用いた故障診断システムについて |
○片岳 格・守谷哲夫（国士舘大） |
| (3) |
10:00-10:30 |
Emulation of Ring Protocols on Trees Preserving Fault-Containment |
○Yukiko Yamauchi・Toshimitsu Masuzawa（Osaka Univ.）・Doina Bein（Univ. of Texas） |
| |
10:30-10:45 |
休憩 （ 15分 ） |
| (4) |
10:45-11:15 |
Chordal+k1e-k2eグラフの頂点彩色問題 |
○三浦勇介・武永康彦（電通大） |
| (5) |
11:15-11:45 |
モバイルエージェント間ゴシップの移動計算量について |
○鈴木朋子（阪大）・泉 泰介（名工大）・大下福仁・角川裕次・増澤利光（阪大） |
| |
11:45-13:05 |
休憩 （ 80分 ） |
| (6) |
13:05-14:05 |
[招待講演]ネットワーク通信におけるオンライン問題の competitive analyais を利用した解析
〇古賀久志（電通大） |
| |
14:05-14:20 |
休憩 （ 15分 ） |
| (7) |
14:20-14:50 |
データベースの頻出アイテム集合を表すゼロサプレス型BDDの変数順序付けの理論的考察 |
○湊 真一（北大） |
| (8) |
14:50-15:20 |
機械翻訳用公開辞書編集システム |
○寺部勝俊（電通大） |
| |
15:20-15:35 |
休憩 （ 15分 ） |
| (9) |
15:35-15:55 |
重み制限付き次数3-ターミナルシュタイナー木問題に対する近似アルゴリズム |
○内藤和真（東工大） |
| (10) |
15:55-16:25 |
A Consensus Algorithm Tolerating Adversarial Crash and Probabilistic Omission |
○Taisuke Izumi・Koichi Wada（Nagoya Inst. of Tech.） |
| (11) |
16:25-16:55 |
Wireless Ad-Hoc ネットワークにおける干渉の軽減法に関する研究 |
田代太一・○徳山 豪（東北大）・マグナス ハルドーソン（アイスランド大） |
dia
k
-u