(京都大学数理解析研究所講究録388 1980,;414,1981)