責任著者 2021年 Imaginaries, stationarity of types and stability 京都大学 数理解析研究所講究録 米田郁生 記述言語 英語 掲載種別 エクスポート BibTeX RIS