[kisoron-ml] RIMS共同研究(公開型)(モデル理論)のお知らせ