2006年4月 - 2010年3月 関数型言語の解析・検証・効率的実行のための書換え系理論の研究 科学研究費助成事業 基盤研究（Ｃ），課題番号：18500011 酒井 正彦, 坂部俊樹, 草刈圭一朗, 西田直樹, 粕谷英人 担当区分 研究代表者 配分額 (総額) 3,990,000円 (直接経費) 3,300,000円 (間接経費) 690,000円 資金種別 競争的資金
