2019年9月1日 Topological and combinatorial methods in symmetric motion planning 代数, 論理, 幾何と情報科学研究集会 田中康平 代数, 論理, 幾何と情報科学研究集会