@techreport{weko_203689_1,
   author	 = "川野,陽慈 and 高屋,英知 and 栗原,聡",
   title	 = "矛盾塊自動生成手法の検討",
   year 	 = "2020",
   institution	 = "慶應義塾大学理工学研究科, 慶應義塾大学理工学研究科, 慶應義塾大学理工学部",
   number	 = "2",
   month	 = "feb"
}