責任著者 2007年5月 CM-triviality and geometric elimination of imaginaries 京都大学 数理解析研究所講究録1555, 57-60 米田郁生 エクスポート BibTeX RIS