著者
Futamura Yoshihiko
出版者
京都大学数理解析研究所
雑誌
数理解析研究所講究録 (ISSN:18802818)
巻号頁・発行日
vol.482, pp.255-295, 1983-03