@techreport{weko_50925_1,
   author	 = "趙燕結 and 杉浦,洋 and 鳥居,達生 and 桜井,鉄也",
   title	 = "知識ベースによる数式の意味解釈とその応用",
   year 	 = "1994",
   institution	 = "久留米工業大学知能工学研究所, 名古屋大学工学部, 名古屋大学工学部, 筑波大学電子情報工学系",
   number	 = "83(1994-ICS-096)",
   month	 = "oct"
}