@article{weko_211647_1, author = "藤浪,大弥", title = "Integrated Shrinkingによる高階関数の自動生成", journal = "情報処理学会論文誌プログラミング(PRO)", year = "2021", volume = "14", number = "3", pages = "5--5", month = "jun" }