@techreport{weko_54847_1,
   author	 = "小林,学 and 吉川,厚 and 大場勇治郎",
   title	 = "集合論の定理証明向けICAI",
   year 	 = "1990",
   institution	 = "慶應義塾大学理工学部, 慶應義塾大学理工学部, 慶應義塾大学理工学部",
   number	 = "30(1990-CE-010)",
   month	 = "apr"
}