[logic-ml] 特定研究員の公募(アルゴリズム基礎理論)京都大学