現在地

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

研究者情報全体を表示

研究課題
分散制約解消系を融合する関数論理型プログラミング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円