情報・システム-画像工学(開催日:2019/05/10)

タイトル/著者/発表日/資料番号
内外相似パズルにおける困難性と効率的なアルゴリズム

樋本 喬(北陸先端大),  上原 隆平(北陸先端大),  

[発表日]2019-05-10
[資料番号]COMP2019-1
格子パズルの困難性

小林 靖明(京大),  末續 鴻輝(京大),  立木 秀樹(京大),  上原 隆平(北陸先端大),  

[発表日]2019-05-10
[資料番号]COMP2019-2
[Invited Talk] Plane Formation by Synchronous Mobile Robots in the Three-Dimensional Euclidean Space

山内 由紀子(九大),  上原 太一(九大),  来嶋 秀治(九大),  山下 雅史(九大),  

[発表日]2019-05-11
[資料番号]COMP2019-6
Multicollision 発見問題を解く量子アルゴリズム

細山田 光倫(NTT),  佐々木 悠(NTT),  谷 誠一郎(NTT),  草川 恵太(NTT),  

[発表日]2019-05-11
[資料番号]COMP2019-4
量子計算に対する合理的証明

森前 智行(京大),  西村 治道(名大),  

[発表日]2019-05-11
[資料番号]COMP2019-5
半順序集合の次元を求める固定パラメータアルゴリズム

小林 靖明(京大),  

[発表日]2019-05-11
[資料番号]COMP2019-8
ZDDを用いたグラフ細分構造の列挙索引化

中畑 裕(京大),  川原 純(京大),  堀山 貴史(埼玉大),  湊 真一(京大),  

[発表日]2019-05-11
[資料番号]COMP2019-3
Subgraph Isomorphism on Graph Classes that Exclude a Substructure

Hans L. Bodlaender(ユトレヒト大),  土中 哲秀(中大),  小林 靖明(京大),  小林 佑輔(京大),  岡本 吉央(電通大),  大舘 陽太(熊本大),  Tom C. van der Zanden(ユトレヒト大),  

[発表日]2019-05-11
[資料番号]COMP2019-9
視界に制限のあるライト付きモバイルロボットによるリング探索

長濵 将太(奈良先端大),  大下 福仁(奈良先端大),  井上 美智子(奈良先端大),  

[発表日]2019-05-11
[資料番号]COMP2019-7