[logic-ml] 論理・言語・代数系と計算機科学の周辺領域」の講演募集