2004年 - 2006年 Studies on computational complexity in functional programming based on linear logic Grant-in-Aid for Scientific Research 資金種別 競争的資金