课题基金 / 基金详情

解析的意味論による並行プログラムの検証に関する研究

解析的意味論による並行プログラムの検証に関する研究
基于分析语义的并发程序验证研究
批准号：
01750315
负责人：
水谷 哲也
金额：
$0.51万
依托单位：
Saitama Junior College
依托单位国家：
日本
项目类别：
Grant-in-Aid for Encouragement of Young Scientists (A)
财政年份：
1989
资助国家：
日本
项目状态：
已结题
起止时间：
1989 至 --
来源：
https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-01750315/
关键词：

项目摘要

项目成果

水谷 哲也的其他基金

相关文献

中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
猫伝染性腹膜炎の発生を予防するための安心安全な治療法の確立
Hippo経路による絨毛細胞の分化プロセス制御機構の解明とその応用
  • 批准号：
    23K08803
  • 项目类别：
    Grant-in-Aid for Scientific Research (C)
  • 资助金额：
    $3.0万
  • 财政年份：
    2023
  • 负责人：
    水谷 哲也
  • 依托单位：
    Fukui Prefectural University
猫伝染性腹膜炎の発生を予防するための安心安全な治療法の確立
卵胞の成熟と絨毛細胞分化を制御する新たな共通因子Hippo経路の分子機構の解明
  • 批准号：
    19K09777
  • 项目类别：
    Grant-in-Aid for Scientific Research (C)
  • 资助金额：
    $2.66万
  • 财政年份：
    2019
  • 负责人：
    水谷 哲也
  • 依托单位：
    Fukui Prefectural University