课题基金 / 基金详情

カテゴリー理論に基づいたプログラム言語の研究

カテゴリー理論に基づいたプログラム言語の研究
基于范畴论的编程语言研究
批准号：
63780035
负责人：
萩野 達也
金额：
$0.58万
依托单位：
Kyoto University
依托单位国家：
日本
项目类别：
Grant-in-Aid for Encouragement of Young Scientists (A)
财政年份：
1988
资助国家：
日本
项目状态：
已结题
起止时间：
1988 至 --
来源：
https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-63780035/
关键词：

项目摘要

项目成果

萩野 達也的其他基金

相关文献

中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
オーキシン流入担体AUX/LAXの機能構造解析によるオーキシン輸送機構の解明
  • 批准号：
    22KJ0564
  • 项目类别：
    Grant-in-Aid for JSPS Fellows
  • 资助金额：
    $1.41万
  • 财政年份：
    2023
  • 负责人：
    萩野 達也
  • 依托单位：
    The University of Tokyo
超並列オペレーティングシステム実現のためのマイクロ・カーネルとその通信に関する研究
  • 批准号：
    05219211
  • 项目类别：
    Grant-in-Aid for Scientific Research on Priority Areas
  • 资助金额：
    $1.79万
  • 财政年份：
    1993
  • 负责人：
    萩野 達也
  • 依托单位：
    Keio University
超並列オペレーティングシステム実現のためのマイクロ・カーネルとその通信に関する研究
  • 批准号：
    04235209
  • 项目类别：
    Grant-in-Aid for Scientific Research on Priority Areas
  • 资助金额：
    $1.92万
  • 财政年份：
    1992
  • 负责人：
    萩野 達也
  • 依托单位：
    Keio University
関数型言語を用いたユーザ・インターフェイスに関する研究
  • 批准号：
    01780034
  • 项目类别：
    Grant-in-Aid for Encouragement of Young Scientists (A)
  • 资助金额：
    $0.38万
  • 财政年份：
    1989
  • 负责人：
    萩野 達也
  • 依托单位：
    Kyoto University