课题基金 / 基金详情

Software development environment based on integration of computation and logic

Software development environment based on integration of computation and logic
基于计算与逻辑融合的软件开发环境
批准号：
19300007
负责人：
SATO Masahiko
金额：
$8.74万
依托单位：
Kyoto University
依托单位国家：
日本
项目类别：
Grant-in-Aid for Scientific Research (B)
财政年份：
2007
资助国家：
日本
项目状态：
已结题
起止时间：
2007 至 2009
来源：
https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-19300007/
关键词：
自然枠組ソフトウェア開発ソフトウェア検証メタ言語式の理論メタ理論抽象操作メタ変数

项目摘要

项目成果

SATO Masahiko的其他基金

相似基金

相关文献

中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
This project proposes the Natural Framework (NF) as a theoretical foundation of software development environments. NF is a logical framework in which we can describe both calculus systems and logical systems, and hence we can uniformly discuss reliability of both software and meta theories for software. In this project, in order to realize NF, (1) a formal theory of meta variables has been proposed, (2) a syntactic theory for NF has been proposed, and (3) a programming language to implement NF has been designed.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
A Framework for Checking Proofs Naturally
自然检查证明的框架
DOI： --
发表时间： 2008
期刊： Journal of Intelligent Information System 31
影响因子： --
作者： [Higa Y, Nguyen T. Y, Kawada H, TranH. S, Nguyen T. H, Takagi M., 佐藤雅彦]
通讯作者： 佐藤雅彦
ホームページ等。
主页等
DOI： --
发表时间：
期刊：
影响因子： --
作者： []
通讯作者：
External and Internal Syntax of the Lambda-Calculus
Lambda 演算的外部和内部语法
DOI： --
发表时间： 2008
期刊： The Austrian-Japanese Workshop on Symbolic Computation in Software Science (SCSS 2008)
影响因子： --
作者： [Higa Y, Nguyen T.Y, Kawada H, Tran H.S, Nguyen T.H, Takagi M., 佐藤雅彦]
通讯作者： 佐藤雅彦
フレーゲの計算機科学への影響
弗雷格对计算机科学的影响
DOI： --
发表时间： 2005
期刊： 科学哲学 38(2)
影响因子： --
作者： [中澤 巧爾, 龍田 真, 佐藤 雅彦]
通讯作者： 佐藤 雅彦
共 12 条
    Heat transfer characteristics of cutting tool and workpiece surfaces under cryogenic cooling conditions and optimum supply conditions of coolant
    • 批准号：
      19K04125
    • 项目类别：
      Grant-in-Aid for Scientific Research (C)
    • 资助金额：
      $2.75万
    • 财政年份：
      2019
    • 负责人：
      SATO Masahiko
    • 依托单位：
      Tottori University
    Development and craft materials, which can draw various ideas from only a few of the materials
    • 批准号：
      23653280
    • 项目类别：
      Grant-in-Aid for Challenging Exploratory Research
    • 资助金额：
      $0.67万
    • 财政年份：
      2011
    • 负责人：
      SATO Masahiko
    • 依托单位：
      Hokkaido University of Education
    New development of research on bug-free software construction environment
    • 批准号：
      22300008
    • 项目类别：
      Grant-in-Aid for Scientific Research (B)
    • 资助金额：
      $11.48万
    • 财政年份：
      2010
    • 负责人：
      SATO Masahiko
    • 依托单位：
      Kyoto University
    Transient temperature variation in the tool surface layer in interrupted cutting and the effect of thermochemical reactivity on tool wear
    • 批准号：
      21560124
    • 项目类别：
      Grant-in-Aid for Scientific Research (C)
    • 资助金额：
      $3.08万
    • 财政年份：
      2009
    • 负责人：
      SATO Masahiko
    • 依托单位：
      Tottori University
    海外基金