共同研究・競争的資金等の研究課題

2008年4月 - 2011年3月

高階関数プログラムの停止性判定に関する研究

日本学術振興会  科学研究費助成事業  基盤研究(C)
担当区分
研究代表者
配分額
(総額)
1,040,000円
(直接経費)
800,000円
(間接経費)
240,000円
資金種別
競争的資金
共同研究・競争的資金等の研究課題リストへ