(日本語) 離散構造処理系プロジェクト 「2017年度 秋のワークショップ」 2017年11月17日