5月10日(金)
13:30 - 17:35 |
| (1) |
13:30-14:30 |
［招待講演］初等中等教育における情報科学教育の現状と課題
○谷 聖一 （日本大学） |
| (2) |
14:30-14:35 |
［表彰式］ 情報処理学会コンピュータサイエンス領域功績賞 |
| |
14:35-14:50 |
休憩 （ 15分 ） |
| (3) |
14:50-15:15 |
のりのり, 変形版へやわけのゼロ知識証明に対する物理プロトコル
○迫田 賢宜, 小野 廣隆 （名古屋大学） |
(4)
COMP |
15:15-15:40 |
内外相似パズルにおける困難性と効率的なアルゴリズム  COMP2019-1 |
○樋本 喬・上原隆平（北陸先端大） |
(5)
COMP |
15:40-16:05 |
格子パズルの困難性 COMP2019-2 |
小林靖明・末續鴻輝・立木秀樹（京大）・○上原隆平（北陸先端大） |
| |
16:05-16:20 |
休憩 （ 15分 ） |
| (6) |
16:20-16:45 |
Separate Chaining Meets Compact Hashing
○クップル ドミニク （九州大学 / 日本学術振興会） |
| (7) |
16:45-17:10 |
データストリームのための頻出部分文字列発見アルゴリズム
○鳥谷部 直弥, 古谷 勇, 喜田 拓也 （北海道大学） |
| (8) |
17:10-17:35 |
パラメタ化文字列に対する線形サイズ接尾辞トライ
○中島 克仁, ヘンリアン ディプタラマ, 吉仲 亮, 篠原 歩 （東北大学） |
5月11日(土)
10:40 - 17:05 |
(9)
COMP |
10:40-11:05 |
ZDDを用いたグラフ細分構造の列挙索引化 COMP2019-3 |
○中畑 裕・川原 純（京大）・堀山貴史（埼玉大）・湊 真一（京大） |
(10)
COMP |
11:05-11:30 |
Improved Quantum Multicollision-Finding Algorithm COMP2019-4 |
Akinori Hosoyamada・Yu Sasaki・○Seiichiro Tani・Keita Xagawa（NTT） |
(11)
COMP |
11:30-11:55 |
Rational proofs for quantum computing COMP2019-5 |
Tomoyuki Morimae（Kyoto Univ.）・○Harumichi Nishimura（Nagoya Univ.） |
| |
11:55-13:30 |
昼食 （ 95分 ） |
(12)
COMP |
13:30-14:30 |
［招待講演］Plane Formation by Synchronous Mobile Robots in the Three-Dimensional Euclidean Space COMP2019-6 |
○Yukiko Yamauchi・Taichi Uehara・Shuji Kijima・Masafumi Yamashita（Kyushu Univ.） |
| |
14:30-14:45 |
休憩 （ 15分 ） |
| (13) |
14:45-15:10 |
モバイルビザンチン故障の封じ込めと合意形成
○半澤 陽, 山内 由紀子 （九州大学） |
(14)
COMP |
15:10-15:35 |
視界に制限のあるライト付きモバイルロボットによるリング探索 COMP2019-7 |
○長濵将太・大下福仁・井上美智子（奈良先端大） |
| |
15:35-15:50 |
休憩 （ 15分 ） |
(15)
COMP |
15:50-16:15 |
半順序集合の次元を求める固定パラメータアルゴリズム COMP2019-8 |
○小林靖明（京大） |
| (16) |
16:15-16:40 |
C5フリー正則グラフの最大誘導マッチング問題に対する近似アルゴリズム
朝廣 雄一 （九州産業大学）, Guohui Lin (University of Alberta), 柳 植竜, ○宮野 英次 （九州工業大学） |
(17)
COMP |
16:40-17:05 |
Subgraph Isomorphism on Graph Classes that Exclude a Substructure COMP2019-9 |
Hans L. Bodlaender（Utrecht Univ.）・Tesshu Hanaka（Chuo Univ.）・Yasuaki Kobayashi・Yusuke Kobayashi（Kyoto Univ.）・Yoshio Okamoto（UEC）・○Yota Otachi（Kumamoto Univ.）・Tom C. van der Zanden（Utrecht Univ.） |
: 
k
is
k
-u