@techreport{weko_30932_1, author = "菅野,博靖", title = "論理型言語におけるリフレクティブな計算とその意味論", year = "1989", institution = "富士通(株)国際情報社会科学研究所", number = "107(1989-PRO-023)", month = "dec" }