10月17日(火) 午前
09:00 - 16:50 |
| (1) |
09:00-09:35 |
Convex Grid Drawings of Plane Graphs with Rectangular Contours |
○Akira Kamada（Tohoku Univ.）・Kazuyuki Miura（Fukushima Univ.）・Takao Nishizeki（Tohoku Univ.） |
| (2) |
09:35-10:10 |
Open Rectangle-of-Influence Drawings of Inner Triangulated Plane Graphs |
○Kazuyuki Miura（Fukushima Univ.）・Tetsuya Matsuno・Takao Nishizeki（Tohoku Univ.） |
| |
10:10-10:25 |
休憩 （ 15分 ） |
| (3) |
10:25-11:00 |
Approximability of Partitioning Graphs with Supply and Demand |
○Takehiro Ito（Tohoku Univ.）・Erik D.Demaine（MIT）・Xiao Zhou・Takao Nishizeki（Tohoku Univ.） |
| (4) |
11:00-11:35 |
Efficient Algorithms for Airline problem |
○Ryuhei Uehara（JAIST） |
| (5) |
11:35-12:10 |
Byzantine Agreement on the Order of Processing Received Requests is Solvable Deterministically in Asynchronous Systems |
○Junya Nakamura（Toyohashi Univ. of Tech.）・Tadashi Araragi（NTT）・Shigeru Masuyama（Toyohashi Univ. of Tech.） |
| |
12:10-13:40 |
昼食 （ 90分 ） |
| (6) |
13:40-14:15 |
On the Generative Power of Multiple Context-Free Grammars and Macro Grammars |
○Hiroyuki Seki・Yuki Kato（NAIST） |
| (7) |
14:15-14:50 |
長目綜絖を用いた場合の織物組織数の増加 |
○松浦 勇・安藤正好（愛知県産技研）・平田富夫（名大） |
| (8) |
14:50-15:25 |
ルール生成に必要なデータ量に関するランダム性に基づいた解析 |
○原口和也（京大）・柳浦睦憲（名大）・Endre Boros（ラトガーズ大）・茨木俊秀（関西学院大） |
| |
15:25-15:40 |
休憩 （ 15分 ） |
| (9) |
15:40-16:15 |
回路計算量の線形下界に対する計算機支援証明について |
○天野一幸（群馬大） |
| (10) |
16:15-16:50 |
An Exponentioal Lower Bound on the Size of Constant-Depth Threshold Circuits with Small Energy Complexity |
○Kei Uchizawa・Eiji Takimoto（Tohoku Univ.） |
dia
k
-u