6月16日(月) 午前
09:45 - 16:45 |
| (1) |
09:45-10:10 |
Online Uniformity of Integer Points on a Line |
○Tetsuo Asano（JAIST） |
| (2) |
10:10-10:45 |
アドホックネットワーク上でのランダム局所近傍を利用した幾何ルーティングアルゴリズムの設計と解析 |
○佐藤和茂・徳山 豪（東北大） |
| |
10:45-11:00 |
休憩 （ 15分 ） |
| (3) |
11:00-11:35 |
非定常な木情報源に対応する文脈木重みづけ法に関する研究 |
○井 智弘・畑埜晃平・坂内英夫・竹田正幸（九大） |
| (4) |
11:35-12:10 |
Efficient XPath Tree Pattern Matching Algorithm over XML Data Stream |
Kazuhito Hagio・○Takashi Ohgami・Masayuki Takeda（Kyushu Univ.） |
| |
12:10-13:20 |
昼食 （ 70分 ） |
| (5) |
13:20-14:20 |
[招待講演]
先端ＬＳＩのための高位合成問題
金子峰雄 (北陸先端大) |
| |
14:20-14:35 |
休憩 （ 15分 ） |
| (6) |
14:35-15:00 |
Constant-Working-Space Image Scan with a Given Angle |
○Tetsuo Asano（JAIST） |
| (7) |
15:00-15:35 |
ある投票ゲームのシミュレーション |
上原隆平（北陸先端大）・○河村泰之（愛媛大）・松永博充・元木光雄（北陸先端大） |
| (8) |
15:35-16:10 |
Formulas for Counting Connected Spanning Subgraphs with at Most $n+1$ Edges in Graphs $K_{n}-e$, $K_{n}\cdot e$ |
○Peng Cheng（Nagoya Gakuin Univ.）・Shigeru Masuyama（Toyohashi Univ. of Tech） |
| (9) |
16:10-16:45 |
Property Testing on k-Vertex-Connectivity of Graphs |
○Yuichi Yoshida・Hiro Ito（Kyoto Univ.） |
al
i
i
