@techreport{oai:ipsj.ixsq.nii.ac.jp:00224553,
 author = {高橋, 一斗 and 大久保, 弘崇 and 粕谷, 英人 and 山本, 晋一郎},
 issue = {13},
 month = {Mar},
 note = {Hoogle は，Hakell ライブラリのアーカイブ Hackage に対するプログラマ向けの検索システムである．一般的な言語と同様の検索機能の他に，関数の型シグネチャに対する検索機能を提供している．型は厳密な一致でなく，それに類似した関数も結果として出力される．しかし厳密に一致しない検索の場合，求めている関数が上位に表示されないことがある．本研究では，パッケージの人気度を用いて検索結果のうち人気度の低い結果を省略，検索結果の確認を容易にした．また，型クラスのインスタンス情報を用いて結果をフィルタリングすることで結果の最適化を行なった．目的の関数を発見するまでに確認しなければならない関数を平均で 6 割ほど削減することに成功した．},
 title = {型情報を用いたHoogle検索の使用性の向上},
 year = {2023}
}