- 研究会・全国大会等
- [1] 高橋 一斗, 大久保 弘崇, 粕谷 英人, 山本 晋一郎, "型情報を用いたHoogle検索の使用性の向上," 研究報告ソフトウェア工学（SE）, volume 2023-SE-213(13), pages 1-7 2023年3月.
- [2] 高橋一斗, 大久保弘崇, 粕谷英人, 山本晋一郎, "Hoogleにおいて型クラスを候補として提示する関数検索手法," 第19回情報学ワークショップ, 2021年11月.
- 卒業論文
- [1] 高橋一斗, 初学者のためのHaskellの数値型を対象とした自動型補完手法, 愛知県立大学, 2021年.
