[logic-ml] 教員公募(名古屋大学情報科学研究科・准教授)