课题基金 / 基金详情

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的其他基金

相似基金

相关文献

中文摘要
翻译
本项目提出自然框架（NF）作为软件开发环境的理论基础。NF是一个逻辑框架，我们可以在其中描述演算系统和逻辑系统，因此我们可以统一地讨论软件和软件元理论的可靠性。在本项目中，为了实现NF，(1)提出了元变量的形式化理论，(2)提出了NF的句法理论，(3)设计了实现NF的编程语言。
英文摘要
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., 佐藤雅彦]
通讯作者： 佐藤雅彦
A logical foundation for environment classifiers, Proceedings of
环境分类器的逻辑基础，论文集
DOI： --
发表时间： 2009
期刊： the 9th International Conference on Typed Lambda-Calculi and Applications(TLCA'09) LNCS5608
影响因子： --
作者： [Takeshi Tsukada, Ats I arashi]
通讯作者： Ats I arashi
共 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
    海外基金