@techreport{weko_48999_1,
   author	 = "趙燕結 and 櫻井,鉄也 and 杉浦,洋 and 鳥居,達生",
   title	 = "数式の意味解釈とその文法及びメタ言語",
   year 	 = "1997",
   institution	 = "久留米工業大学知能工学研究所, 筑波大学電子・情報工学, 名古屋大学工学部, 名古屋大学工学部",
   number	 = "29(1996-NL-118)",
   month	 = "mar"
}