関数型プログラムの作成に関する研究
関数型プログラムの作成に関する研究
创建函数式程序的研究
批准号：
X00210----479035
负责人：
永田 守男
金额：
$0.44万
依托单位：
依托单位国家：
日本
项目类别：
Grant-in-Aid for Encouragement of Young Scientists (A)
财政年份：
1979
资助国家：
日本
项目状态：
已结题
起止时间：
1979 至 --
中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
企業年金に関する税務会計的研究-税務会計と財務会計の分離-
-
批准号：11730074
-
项目类别：Grant-in-Aid for Encouragement of Young Scientists (A)
-
资助金额：$1.28万
-
财政年份：1999
-
负责人：永田 守男
-
依托单位：
拡張可能な数式処理パッケージの製作法に関する研究
-
批准号：61580028
-
项目类别：Grant-in-Aid for General Scientific Research (C)
-
资助金额：$1.02万
-
财政年份：1987
-
负责人：永田 守男
-
依托单位：
数式処理技術を利用した数学教育支援システム
-
批准号：60780052
-
项目类别：Grant-in-Aid for Encouragement of Young Scientists (A)
-
资助金额：$0.51万
-
财政年份：1985
-
负责人：永田 守男
-
依托单位：
数式処理を中心とした対話型問題解決システム
-
批准号：59780044
-
项目类别：Grant-in-Aid for Encouragement of Young Scientists (A)
-
资助金额：$0.51万
-
财政年份：1984
-
负责人：永田 守男
-
依托单位：
対話型プログラミングシステムにおける関数型プログラムの自動合成
-
批准号：58780048
-
项目类别：Grant-in-Aid for Encouragement of Young Scientists (A)
-
资助金额：$0.51万
-
财政年份：1983
-
负责人：永田 守男
-
依托单位：
関数型言語の構造に依存した知的エディタに関する研究
-
批准号：56790033
-
项目类别：Grant-in-Aid for Encouragement of Young Scientists (A)
-
资助金额：$0.38万
-
财政年份：1981
-
负责人：永田 守男
-
依托单位：
関数型再帰的プログラムの停止性に関する研究
-
批准号：X00210----579027
-
项目类别：Grant-in-Aid for Encouragement of Young Scientists (A)
-
资助金额：$0.47万
-
财政年份：1980
-
负责人：永田 守男
-
依托单位：