课题基金 / 基金详情

トランスデューサ理論に基づくソフトウェア検証の深化

トランスデューサ理論に基づくソフトウェア検証の深化
基于换能器理论的深化软件验证
批准号：
24K14891
负责人：
南出 靖彦
金额：
$2.58万
依托单位：
Tokyo Institute of Technology
依托单位国家：
日本
项目类别：
Grant-in-Aid for Scientific Research (C)
财政年份：
2024
资助国家：
日本
项目状态：
未结题
起止时间：
2024-04-01 至 2028-03-31
来源：
https://kaken.nii.ac.jp/en/grant/KAKENHI-PROJECT-24K14891/
关键词：

项目摘要

项目成果

南出 靖彦的其他基金

相关文献

中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
Software Verification Based on the Theory of Transducers
  • 批准号：
    19K11899
  • 项目类别：
    Grant-in-Aid for Scientific Research (C)
  • 资助金额：
    $2.41万
  • 财政年份：
    2019
  • 负责人：
    南出 靖彦
  • 依托单位：
    Tokyo Institute of Technology
定理証明システムによる型システムとプログラム変換の検証
  • 批准号：
    13780193
  • 项目类别：
    Grant-in-Aid for Young Scientists (B)
  • 资助金额：
    $1.28万
  • 财政年份：
    2001
  • 负责人：
    南出 靖彦
  • 依托单位：
    University of Tsukuba
関数型プログラミング言語のプログラム変換に関する研究
  • 批准号：
    11780216
  • 项目类别：
    Grant-in-Aid for Encouragement of Young Scientists (A)
  • 资助金额：
    $1.34万
  • 财政年份：
    1999
  • 负责人：
    南出 靖彦
  • 依托单位：
    University of Tsukuba
関数プログラム言語のコンパイラの研究
  • 批准号：
    09780271
  • 项目类别：
    Grant-in-Aid for Encouragement of Young Scientists (A)
  • 资助金额：
    $1.22万
  • 财政年份：
    1997
  • 负责人：
    南出 靖彦
  • 依托单位：
    Kyoto University