| 分散制約解消系を融合する関数論理型プログラミング | 1999 -- (現在) | | 日本学術振興会/基盤研究(B) | 10,000,000円 |
| 関数論理融合型言語のマルチメディアプログラミング環境の構築 | 1997 -- (現在) | | 日本学術振興会/基盤研究(B) | 1,100,000円 |
| 高階関数・論理型プログラムの計算モデル | 1997 -- (現在) | | 日本学術振興会/基盤研究(B) | 3,800,000円 |
| 関数論理融合型言語のマルチメデイアプログラミング環境の構築 | 1995 -- (現在) | | 日本学術振興会/その他 | 1,500,000円 |
| 条件付き書換え系の宣言型プログラミングへの応用 | 1994 -- (現在) | | 日本学術振興会/その他 | 1,000,000円 |
| 条件付き書換え系の宣言型プログラミングへの応用 | 1994 -- 1995 | | 日本学術振興会/その他 | 1,200,000円 |
| 書換え計算モデル論に基づく宣言型言語の並列性の解析および制御 | 1992 -- (現在) | | 日本学術振興会/重点領域研究 | 2,500,000円 |
| 宣言型プログラミング言語処理系の系統的生成 | 1992 -- (現在) | | 日本学術振興会/その他 | 700,000円 |
| 書換え計算モデル論に基づく宣言型言語の並列性の解析および制御 | 1992 -- (現在) | | 日本学術振興会/重点領域研究 | 3,000,000円 |