現在地

井田 哲雄(イダ テツオ; Ida, Tetsuo)

研究者情報全体を表示

研究課題
関数・論理型プログラミング -- (現在)/
代数的グラフ書換理論に基づく折紙のモデル化と折紙プログラミング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円