@techreport{weko_224553_1,
   author	 = "高橋,一斗 and 大久保,弘崇 and 粕谷,英人 and 山本,晋一郎",
   title	 = "型情報を用いたHoogle検索の使用性の向上",
   year 	 = "2023",
   institution	 = "愛知県立大学大学院情報科学研究科, 愛知県立大学情報科学部, 愛知県立大学情報科学部, 愛知県立大学情報科学部",
   number	 = "13",
   month	 = "mar"
}