课题基金 / 基金详情

論理プログラム言語に基づく証明検証・プログラム合成システムの作成

論理プログラム言語に基づく証明検証・プログラム合成システムの作成
基于逻辑编程语言的证明验证/程序综合系统的创建
批准号：
58580020
负责人：
佐藤 雅彦
金额：
$1.09万
依托单位：
The University of Tokyo
依托单位国家：
日本
项目类别：
Grant-in-Aid for General Scientific Research (C)
财政年份：
1983
资助国家：
日本
项目状态：
已结题
起止时间：
1983 至 1984
来源：
https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-58580020/
关键词：

项目摘要

项目成果

佐藤 雅彦的其他基金

相关文献

中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
虫こぶ形成現象から果実形成のなぞを解く
  • 批准号：
    23K26870
  • 项目类别：
    Grant-in-Aid for Scientific Research (B)
  • 资助金额：
    $6.32万
  • 财政年份：
    2024
  • 负责人：
    佐藤 雅彦
  • 依托单位：
    Kyoto Prefectural University
虫こぶ形成現象から果実形成のなぞを解く
  • 批准号：
    23H02177
  • 项目类别：
    Grant-in-Aid for Scientific Research (B)
  • 资助金额：
    $12.23万
  • 财政年份：
    2023
  • 负责人：
    佐藤 雅彦
  • 依托单位：
    Kyoto Prefectural University
衝突残留磁化を用いて探る惑星磁場の初期進化史
  • 批准号：
    21H01140
  • 项目类别：
    Grant-in-Aid for Scientific Research (B)
  • 资助金额：
    $11.48万
  • 财政年份：
    2021
  • 负责人：
    佐藤 雅彦
  • 依托单位：
    The University of Tokyo
高精細デジタル測定技術と職人の知識を融合させた工芸文化財復元の研究