4月22日(金)
09:30 - 17:45 |
| (1) |
09:30-10:05 |
A construction method for non-left-recursive parsing expression grammars |
○Shunichi Matsubara・Shojiro Ogawa・Marin J. Duerst（Aoyama Gakuin Univ.） |
| (2) |
10:05-10:40 |
P2Pシステムにおけるノードの離脱過程と生存ノードの接続 |
○渋沢 進・小林 守・大野 博・米倉達広（茨城大） |
| |
10:40-10:50 |
休憩 （ 10分 ） |
| (3) |
10:50-11:25 |
逆順の系列集合を表すSeqBDDの構築 |
○青木洋士・山下 茂（立命館大）・湊 真一（北大） |
| (4) |
11:25-12:00 |
πDD: 順列集合を演算処理する二分決定グラフ |
○湊 真一（北大/JST） |
| |
12:00-13:20 |
休憩 （ 80分 ） |
| (5) |
13:20-13:55 |
Approximation algorithms for the source location problem with local vertex-connectivity demands |
○Takuro Fukunaga（Kyoto Univ.） |
| (6) |
13:55-14:30 |
最大クリーク問題の多項式時間的可解性の更なる改良結果 |
○中西裕陽（電通大）・富田悦次（電通大/中大）・若月光夫・西野哲朗（電通大） |
| (7) |
14:30-15:05 |
Reconstructing sets from distances given by graphs |
○Meng Li・Yota Otachi・Takeshi Tokuyama（Tohoku Univ.） |
| |
15:05-15:15 |
休憩 （ 10分 ） |
| (8) |
15:15-15:50 |
線形不等式を対象とした一階述語論理の限定記号消去の計算 |
○小野祐貴・山根 智（金沢大） |
| (9) |
15:50-16:25 |
ラベル付けされたグラフ上におけるオンライン予測 |
○小林浩二・定兼邦彦（NII） |
| |
16:25-16:35 |
休憩 （ 10分 ） |
| (10) |
16:35-17:10 |
2つのパケットからなるフレーム転送量最大化問題の厳密な競合比解析 |
小林浩二（NII）・○川原 純（JST） |
| (11) |
17:10-17:45 |
An Online Algorithm Optimally Self-tuning to Congestion for Power Managementt Problems |
Wolfgang W. Bein（Univ. of Nevada）・○Naoki Hatta・Hiro Ito（Kyoto Univ.）・Jun Kawahara（JST） |
is
