研究会・全国大会等
[1] 近藤司, "関数型言語に対する高階関数を含むライブラリ関数の振舞い検索," 電子情報通信学会東海支部平成27年度卒業研究発表会論文集, 2016年3月.
卒業論文
[1] 近藤司, 関数型言語に対する高階関数を含むライブラリ関数の振舞い検索, 愛知県立大学, 2016年.