| 関数・論理型プログラミング | -- (現在) | | / | |
| 代数的グラフ書換理論に基づく折紙のモデル化と折紙プログラミング | 2010 -- 2012 | | 日本学術振興会/挑戦的萌芽研究 | 2,370,000円 |
| 記号計算の理論を駆使したウェブソフトウェアのモデル化と検証 | 2008 -- 2011 | | 日本学術振興会/基盤研究(B) | 19,110,000円 |
| 折紙計算論に基づく折り可能性の考究と折紙手法発見 | 2007 -- 2009 | | 日本学術振興会/挑戦的萌芽研究 | 3,200,000円 |
| 求解，証明，書換のインタラクションによる記号計算と記号計算グリッドの構築 | 2005 -- 2007 | | 日本学術振興会/基盤研究(B) | 11,600,000円 |
| 記号計算の手法を用いた折り紙計算論の構築 | 2005 -- 2006 | | 日本学術振興会/萌芽研究 | 2,800,000円 |
| 等式制約解消系のネットワークによるグローバルコンピューティング | 2002 -- (現在) | | 日本学術振興会/基盤研究(B) | 14,300,000円 |
| オープンな制約解消計算環境:その理論と実装 | 2001 -- (現在) | | 日本学術振興会/特別研究員奨励費 | 900,000円 |
| 宣言型プログラムを対象とする高階項書換え系の計算理論 | 2001 -- (現在) | | 日本学術振興会/萌芽研究 | 1,800,000円 |
| 記号計算に基づいた並列最適化問題の研究 | 1999 -- (現在) | | 日本学術振興会/萌芽的研究 | 2,000,000円 |
| さらに表示... |