@techreport{weko_31522_1,
   author	 = "中西正和",
   title	 = "Lispの証明システム",
   year 	 = "1980",
   institution	 = "慶應義塾大学工学部",
   number	 = "9(1980-PRO-012)",
   month	 = "jun"
}