10月18日(火) 09:00 - 10:25 |
(1) |
09:00-09:35 |
2部グラフの細分のキューレイアウト |
○宮内美樹(NTT) |
(2) |
09:35-10:10 |
Orthogonal Drawings of Series-Parallel Graphs with Minimum Bends |
○Xiao Zhou・Takao Nishizeki(Touhoku Univ.) |
|
10:10-10:25 |
休憩 ( 15分 ) |
10月18日(火) 10:25 - 13:15 |
(3) |
10:25-11:00 |
同期可逆セルオートマトンを実現できる非同期セル空間 |
○斉 金山・森田憲一(広島大) |
(4) |
11:00-11:35 |
Margin Preserving Projection with Limited Randomness and Embedding to Boolean Space |
○Tatsuya Watanabe・Eiji Takimoto・Kazuyuki Amano・Akira Maruoka(Tohoku Univ.) |
|
11:35-13:15 |
昼食,専門委員会 ( 100分 ) |
10月18日(火) 13:15 - 14:30 |
(5) |
13:15-14:15 |
[チュートリアル講演]論理関数の複雑さの下界導出問題に対する数理計画的アプローチ(口頭発表) |
○天野一幸(東北大) |
|
14:15-14:30 |
休憩 ( 15分 ) |
10月18日(火) 14:30 - 15:55 |
(6) |
14:30-15:05 |
Hamiltonian laceability of bubble-sort graphs with edge faults |
○Toru Araki(Iwate Univ.)・Yosuke Kikuchi(JST) |
(7) |
15:05-15:40 |
圧縮データ構造の更なる圧縮 |
○定兼邦彦(九大)・Roberto Grossi(Pisa Univ.) |
|
15:40-15:55 |
休憩 ( 15分 ) |
10月18日(火) 15:55 - 17:05 |
(8) |
15:55-16:30 |
Convex Drawings of Plane Graphs of Minimum Outer Apices |
○Kazuyuki Miura(Fukushima Univ.)・Machiko Azuma・Takao Nishizeki(Tohoku Univ.) |
(9) |
16:30-17:05 |
On the Graph Orientation of Minimizing the Maximum Outdegree |
Yuichi Asahiro(Kyushu Sangyo Univ.)・Eiji Miyano(Kyushu Inst. of Tech.)・Hirotaka Ono(Kyushu Univ.)・○Kouhei Zenmyo(Kyushu Inst. of Tech.) |
10月19日(水) 09:00 - 11:00 |
(10) |
09:00-09:35 |
A quantum protocol to win the graph colouring game on all Hadamard graphs |
David Avis(McGill Univ.)・Jun Hasegawa(Univ. of Tokyo/JST)・○Yosuke Kikuchi(JST)・Yuuya Sasaki(Univ. of Tokyo) |
(11) |
09:35-10:10 |
Automated Competitive Analysis of Online Problems |
Takashi Horiyama・Kazuo Iwama・○Jun Kawahara(Kyoto Univ.) |
(12) |
10:10-10:45 |
ヨーロピアン・アジアンオプションの価格付けに関する近似的解法 |
○関野剛永・塩浦昭義・徳山 豪(東北大) |
|
10:45-11:00 |
休憩 ( 15分 ) |
10月19日(水) 11:00 - 12:10 |
(13) |
11:00-11:35 |
充足割り当て数を最小化/最大化する単調DNF式について |
天野一幸(東北大)・○佐藤貴之(仙台電波高専)・丸岡 章(東北大) |
(14) |
11:35-12:10 |
Some sufficient conditions to solve the learning problem of simple deterministic languages from queries and counterexamples |
○Yasuhiro Tajima・Yoshiyuki Kotani(Tokyo Univ. of Agri and Tech.)・Etsuji Tomita(Univ. of Electro-Comm.) |