@techreport{weko_237358_1,
   author	 = "岸,知二",
   title	 = "機械学習支援による形式検証についての考察",
   year 	 = "2024",
   institution	 = "早稲田大学",
   number	 = "4",
   month	 = "jul"
}