第173回アルゴリズム研究会プログラム

日時・会場

日程平成31年5月10日(金)~11日(土)
会場熊本大学 黒髪北キャンパス くすの木会館 レセプションルーム
住所〒860-8555 熊本市中央区黒髪2丁目39番1号
交通案内JR熊本駅 下車 産交バス:楠団地、武蔵ヶ丘等(子飼橋経由)「熊本大学前」下車

5/10の夜に懇親会を予定しております.詳細・参加申し込みはこちらから(申し込み締め切り:4/26).

(4/3)2日目のプログラムが一部変更となりました.

発表題目

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

今回は一般発表25分(発表20分+質疑5分)で行います.

本研究会は無査読で実施しています.