[kisoron-ml] RIMS共同研究(モデル理論)のご案内