@techreport{weko_30570_1, author = "野呂,正行 and 竹島,卓", title = "数式処理システムRisa/Asirのインプリメンテーション", year = "1993", institution = "(株)富士通研究所国際情報社会科学研究所, (株)富士通研究所国際情報社会科学研究所", number = "28(1992-PRO-068)", month = "mar" }