Software development environment based on integration of computation and logic
基于计算与逻辑融合的软件开发环境
基本信息
- 批准号:19300007
- 负责人:
- 金额:$ 8.74万
- 依托单位:
- 依托单位国家:日本
- 项目类别:Grant-in-Aid for Scientific Research (B)
- 财政年份:2007
- 资助国家:日本
- 起止时间:2007 至 2009
- 项目状态:已结题
- 来源:
- 关键词:
项目摘要
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.
该项目提出了自然框架(NF)作为软件开发环境的理论基础。NF是一个逻辑框架,在这个框架中我们可以描述演算系统和逻辑系统,因此我们可以统一讨论软件和软件Meta理论的可靠性。为了实现NF,本文提出了Meta变量的形式化理论,提出了NF的语法理论,设计了实现NF的程序设计语言。
项目成果
期刊论文数量(0)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)
A Framework for Checking Proofs Naturally
自然检查证明的框架
- DOI:
- 发表时间:2008
- 期刊:
- 影响因子:0
- 作者:Higa Y;Nguyen T. Y;Kawada H;TranH. S;Nguyen T. H;Takagi M.;佐藤雅彦
- 通讯作者:佐藤雅彦
External and Internal Syntax of the Lambda-Calculus
Lambda 演算的外部和内部语法
- DOI:
- 发表时间:2008
- 期刊:
- 影响因子:0
- 作者: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
- 期刊:
- 影响因子:0
- 作者:Takeshi Tsukada;Ats I arashi
- 通讯作者:Ats I arashi
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
数据更新时间:{{ journalArticles.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ monograph.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ sciAawards.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ conferencePapers.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ patent.updateTime }}
SATO Masahiko其他文献
Sheet Hydroforming Technology of Welded Double and Triple Blanks
焊接双板和三板板液压成形技术
- DOI:
10.9773/sosei.63.19 - 发表时间:
2022 - 期刊:
- 影响因子:0
- 作者:
TOMIZAWA Atsushi;SHIMADA Naoaki;SATO Masahiko - 通讯作者:
SATO Masahiko
A Proposal for Art lessons and a Study of the Creation Process
艺术课提案及创作过程研究
- DOI:
- 发表时间:
2008 - 期刊:
- 影响因子:0
- 作者:
梅澤実;佐々木晃;SATO Masahiko - 通讯作者:
SATO Masahiko
The Viewpoint to Make a Care Provider's Word a Subject in the Territory of the Word of the Infant Education
幼儿教育话语领域中保育者话语主体化的观点
- DOI:
- 发表时间:
2008 - 期刊:
- 影响因子:0
- 作者:
梅澤実;佐々木晃;SATO Masahiko;UMEZAWA Minoru and SASAKI Akira - 通讯作者:
UMEZAWA Minoru and SASAKI Akira
授業研究・授業設計のための授業過程の構造化・視覚化の検討
考虑课程研究和课程设计的课程过程的结构化和可视化
- DOI:
- 发表时间:
2007 - 期刊:
- 影响因子:0
- 作者:
山崎正吉;三橋功一;中村紘司;姫野完治;SATO Masahiko;三橋功一 - 通讯作者:
三橋功一
Deformation Type in Forming of Curved Conical Tubes
弯锥管成形的变形类型
- DOI:
10.9773/sosei.59.229 - 发表时间:
2018 - 期刊:
- 影响因子:0
- 作者:
SATO Masahiko;MIZUMURA Masaaki;KURIYAMA Yukihisa;SUZUKI Katsuyuki;TOMIZAWA Atushi - 通讯作者:
TOMIZAWA Atushi
SATO Masahiko的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
{{ truncateString('SATO Masahiko', 18)}}的其他基金
Heat transfer characteristics of cutting tool and workpiece surfaces under cryogenic cooling conditions and optimum supply conditions of coolant
深冷条件下切削刀具与工件表面的传热特性及冷却液最佳供给条件
- 批准号:
19K04125 - 财政年份:2019
- 资助金额:
$ 8.74万 - 项目类别:
Grant-in-Aid for Scientific Research (C)
Development and craft materials, which can draw various ideas from only a few of the materials
开发和工艺材料,仅从少数材料中就可以得出各种想法
- 批准号:
23653280 - 财政年份:2011
- 资助金额:
$ 8.74万 - 项目类别:
Grant-in-Aid for Challenging Exploratory Research
New development of research on bug-free software construction environment
无缺陷软件构建环境研究新进展
- 批准号:
22300008 - 财政年份:2010
- 资助金额:
$ 8.74万 - 项目类别:
Grant-in-Aid for Scientific Research (B)
Transient temperature variation in the tool surface layer in interrupted cutting and the effect of thermochemical reactivity on tool wear
断续切削刀具表层瞬态温度变化及热化学反应对刀具磨损的影响
- 批准号:
21560124 - 财政年份:2009
- 资助金额:
$ 8.74万 - 项目类别:
Grant-in-Aid for Scientific Research (C)
Role of membrane trafficking on the establishment of cell polarity in higher plants
膜运输对高等植物细胞极性建立的作用
- 批准号:
18570047 - 财政年份:2006
- 资助金额:
$ 8.74万 - 项目类别:
Grant-in-Aid for Scientific Research (C)
A Study on the Style, the Technical Propagation and Organization of Japanese Traditional Carpenters In Northern Kyushu at the Early Modern Ages
近代早期日本九州北部传统木工的风格、技术传播和组织研究
- 批准号:
17560578 - 财政年份:2005
- 资助金额:
$ 8.74万 - 项目类别:
Grant-in-Aid for Scientific Research (C)
A Study on Style of Japanese traditional Carpenters and the Method of Style Propagation in Northern Kyushu at the Early Modern Ages
近代早期日本传统木工风格及其在九州北部的传播方法研究
- 批准号:
15560566 - 财政年份:2003
- 资助金额:
$ 8.74万 - 项目类别:
Grant-in-Aid for Scientific Research (C)
The investigation of physiological polytypism and functional potentiality on human adaptability to environments
人体环境适应性的生理多型性和功能潜力研究
- 批准号:
15207026 - 财政年份:2003
- 资助金额:
$ 8.74万 - 项目类别:
Grant-in-Aid for Scientific Research (A)
Calculi and Logic of Environment and Context
环境和语境的演算和逻辑
- 批准号:
13480082 - 财政年份:2001
- 资助金额:
$ 8.74万 - 项目类别:
Grant-in-Aid for Scientific Research (B)
Implementation of Constructive Programming Based on Classical Logic
基于经典逻辑的构造性规划的实现
- 批准号:
10480061 - 财政年份:1998
- 资助金额:
$ 8.74万 - 项目类别:
Grant-in-Aid for Scientific Research (B)
相似海外基金
例外ルールを用いたソフトウェア開発データの解析
使用异常规则分析软件开发数据
- 批准号:
24K14896 - 财政年份:2024
- 资助金额:
$ 8.74万 - 项目类别:
Grant-in-Aid for Scientific Research (C)
腎移植レシピエントの精神面を支えるアプリケーション・ソフトウェア開発と効果の検証
支持肾移植受者心理健康的应用软件开发和有效性验证
- 批准号:
22K10809 - 财政年份:2022
- 资助金额:
$ 8.74万 - 项目类别:
Grant-in-Aid for Scientific Research (C)
新たな領域に踏み出すソフトウェア開発組織のための予測・見積もりモデル
软件开发组织进军新领域的预测和评估模型
- 批准号:
21K11833 - 财政年份:2021
- 资助金额:
$ 8.74万 - 项目类别:
Grant-in-Aid for Scientific Research (C)
マウス睡眠EEG/EMGデータ自動ステージ判定アルゴリズムと周辺ソフトウェア開発
小鼠睡眠脑电/肌电数据自动阶段判定算法及周边软件开发
- 批准号:
21K06385 - 财政年份:2021
- 资助金额:
$ 8.74万 - 项目类别:
Grant-in-Aid for Scientific Research (C)
自然語解析と反例解析を活用したソフトウェア開発
使用自然语言分析和反例分析进行软件开发
- 批准号:
21K11826 - 财政年份:2021
- 资助金额:
$ 8.74万 - 项目类别:
Grant-in-Aid for Scientific Research (C)
貢献・成長を把握可能にするGitHubを核としたソフトウェア開発PBL環境の開発
开发以 GitHub 为中心的软件开发 PBL 环境,可以了解贡献和成长
- 批准号:
20K12089 - 财政年份:2020
- 资助金额:
$ 8.74万 - 项目类别:
Grant-in-Aid for Scientific Research (C)
ソフトウェア開発データ特有の欠損メカニズム特定に関する研究
针对软件开发数据识别缺失机制的研究
- 批准号:
19K11915 - 财政年份:2019
- 资助金额:
$ 8.74万 - 项目类别:
Grant-in-Aid for Scientific Research (C)
大規模欠陥データを利用したソフトウェア開発におけるプロジェクト比較の枠組みの研究
基于大规模缺陷数据的软件开发项目比较框架研究
- 批准号:
19K20242 - 财政年份:2019
- 资助金额:
$ 8.74万 - 项目类别:
Grant-in-Aid for Early-Career Scientists
ソフトウェア開発プロセスの効率化を目的とした自動コードレビューモデルの提案
旨在简化软件开发流程的自动代码审查模型的提案
- 批准号:
17J09333 - 财政年份:2017
- 资助金额:
$ 8.74万 - 项目类别:
Grant-in-Aid for JSPS Fellows
ソフトウェア開発におけるコミュニケーション力育成のための文書教育および教育評価
用于培养软件开发沟通技能的文档教育和教育评估
- 批准号:
17K12937 - 财政年份:2017
- 资助金额:
$ 8.74万 - 项目类别:
Grant-in-Aid for Young Scientists (B)