研究会・全国大会等
[1] 山田桃香，山本晋一郎，大久保弘崇，粕谷英人, 関数型プログラミング言語に対する型推論系に関する研究, 電子情報通信学会 東海支部 令和３年度 卒業研究発表会, 2022年.