長田博泰 (Hiroyasu Nagata) - Study on functional programming languages and program transformations - 共同研究・競争的資金等の研究課題