IDA Tetsuo

Researcher's full information

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