PMAN - Paper management system

この検索内の頻出タグ:

5 件の該当がありました． : このページのURL : HTML

研究会・全国大会等

[1] 山田桃香, 大久保弘崇, 粕谷英人, 山本晋一郎, "関数型プログラミング言語に対する初学者に寄り添う型推論系," 研究報告ソフトウェア工学（SE）, volume 2023-SE-216, pages 1-7 2024年3月.

[2] 山田桃香, 山本晋一郎, 大久保弘崇, 粕谷英人, "関数型プログラミング言語に対する型推論系に関する研究," 第20回情報学ワークショップ, 2022年12月.

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

卒業論文

[1] 山田桃香, 関数型プログラミング言語に対する型推論系に関する研究, 愛知県立大学卒業論文, 2022年.

修士論文

[1] 山田桃香, "関数型プログラミング言語に対する初学者に寄り添う型推論系," 修士学位論文, 愛知県立大学大学院, 2024年.