@techreport{weko_30728_1, author = "竹内,郁雄 and 吉田,雅治 and 大海良治 and 山崎,憲一", title = "新しい記号処理カーネルTAO/SILENTの設計", year = "1991", institution = "NTTソフトウェア研究所, NTTソフトウェア研究所, NTTソフトウェア研究所, NTTソフトウェア研究所", number = "78(1991-PRO-061)", month = "sep" }