12月4日(月) 午前
09:00 - 17:35 |
| (1) |
09:00-09:30 |
部分順序付き1回読み分岐プログラムのサイズの下界 |
○篠原信仁・高木一義・高木直史（名大） |
| (2) |
09:30-10:00 |
Economic-inspired truthful reputation feedback mechanism in P2P networks |
○Yufeng Wang・Yoshiaki Hori・Kouichi Sakurai（Kyushu Univ.） |
| (3) |
10:00-10:30 |
サイクルグラフ上での地図作成問題に対する重み付き最近傍アルゴリズム |
朝廣雄一（九州産大）・宮野英次（九工大）・宮崎修一（京大）・○吉牟田拓朗（九工大） |
| |
10:30-10:45 |
休憩 （ 15分 ） |
| (4) |
10:45-11:45 |
[チュートリアル講演] Higher-order termination : From Kruskal to Computability
○Jean-Pierre Jouannaud (Ecole Polytechnique) |
| |
11:45-13:05 |
昼食 （ 80分 ） |
| (5) |
13:05-14:05 |
[チュートリアル講演] Linear time algorithm for computing crossing number
○河原林 健一（国立情報学研究所） |
| |
14:05-14:20 |
休憩 （ 15分 ） |
| (6) |
14:20-14:50 |
ＥＡＮコードの誤り見逃し確率 ～ 黒化誤りに対する見逃し確率 ～ |
○田口敬教・都倉信樹（鳥取環境大） |
| (7) |
14:50-15:20 |
時間変化する不一致なコンパスを持つ自律分散ロボット群の一点集合問題 |
○冨田祐一（名工大）・今津裕之（アイシン・エイ・ダブリュ）・片山喜章・犬塚信博・和田幸一（名工大） |
| (8) |
15:20-15:50 |
A Self-Stabilizing Protocol for k-hop Clustering with Solid-discs On Sensor Networks |
○Shingo Omura・Naoki Inaba・Yoshiaki Katayama・Koichi Wada（Nagoya Instit. of Tech.） |
| |
15:50-16:05 |
休憩 （ 15分 ） |
| (9) |
16:05-16:35 |
A note on non-overlapping words |
○Tetsuo Moriya（Kokushikan Univ.） |
| (10) |
16:35-17:05 |
安定結婚問題に対する1.875-近似アルゴリズム |
○山内直哉・宮崎修一・岩間一雄（京大） |
| (11) |
17:05-17:35 |
Linear-Size Log-Depth Negation-Limited Inverter for k-tonic 0/1 Sequences |
○Hiroki Morizumi（Kyoto Univ.）・Jun Tarui（Univ. of Electro-Comm.） |
dia
k
-u