@techreport{weko_30961_1, author = "大須賀,昭彦 and 坂井,公", title = "Metisによる拡張単一化の完全性", year = "1989", institution = "(株)東芝システム・ソフトウェア技術研究所, (財)新世代コンピュータ技術開発機構", number = "75(1989-PRO-031)", month = "sep" }