IDA Tetsuo

Researcher's full information

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