責任著者 2005年3月 Generic structures and control functions 京都大学 数理解析研究所講究録 1450, 42-62 米田郁生 エクスポート BibTeX RIS