课题基金 / 基金详情

対話型プログラミングシステムにおける関数型プログラムの自動合成

対話型プログラミングシステムにおける関数型プログラムの自動合成
交互式编程系统中功能程序的自动合成
批准号：
58780048
负责人：
永田 守男
金额：
$0.51万
依托单位：
Keio University
依托单位国家：
日本
项目类别：
Grant-in-Aid for Encouragement of Young Scientists (A)
财政年份：
1983
资助国家：
日本
项目状态：
已结题
起止时间：
1983 至 --
来源：
https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-58780048/
关键词：

项目摘要

项目成果

永田 守男的其他基金

相关文献

中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
企業年金に関する税務会計的研究-税務会計と財務会計の分離-
  • 批准号：
    11730074
  • 项目类别：
    Grant-in-Aid for Encouragement of Young Scientists (A)
  • 资助金额：
    $1.28万
  • 财政年份：
    1999
  • 负责人：
    永田 守男
  • 依托单位：
    Shizuoka University
拡張可能な数式処理パッケージの製作法に関する研究
  • 批准号：
    61580028
  • 项目类别：
    Grant-in-Aid for General Scientific Research (C)
  • 资助金额：
    $1.02万
  • 财政年份：
    1987
  • 负责人：
    永田 守男
  • 依托单位：
    Keio University
数式処理技術を利用した数学教育支援システム
  • 批准号：
    60780052
  • 项目类别：
    Grant-in-Aid for Encouragement of Young Scientists (A)
  • 资助金额：
    $0.51万
  • 财政年份：
    1985
  • 负责人：
    永田 守男
  • 依托单位：
    Keio University
数式処理を中心とした対話型問題解決システム
  • 批准号：
    59780044
  • 项目类别：
    Grant-in-Aid for Encouragement of Young Scientists (A)
  • 资助金额：
    $0.51万
  • 财政年份：
    1984
  • 负责人：
    永田 守男
  • 依托单位：
    Keio University