课题基金 / 基金详情

構成的論理と代数的仕様言語を融合した発展的ソフトウェア開発言語

構成的論理と代数的仕様言語を融合した発展的ソフトウェア開発言語
一种结合了构造逻辑和代数规范语言的进化软件开发语言。
批准号：
10139237
负责人：
岡田 光弘
金额：
$0.9万
依托单位：
Keio University
依托单位国家：
日本
项目类别：
Grant-in-Aid for Scientific Research on Priority Areas (A)
财政年份：
1998
资助国家：
日本
项目状态：
已结题
起止时间：
1998 至 --
来源：
https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-10139237/
关键词：
タイプ理論項書き換え系タイプ推論Inductive Types停止性並行計算高階関数構成論理

项目摘要

项目成果

岡田 光弘的其他基金

相关文献

中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
昨年までに確立した融合言語の計算モデル〔これは構成論理と頭書き換え系との両停止性証明(強制規化定理証明)を融合して得られた〕に基づいて、マルチパラダイム・プログラミング方法論の開発を行った。特に、昨年度までに与えたInductive Type推論機構をさらに強めることによって、より一般的なInductive Type推論を我々の融合言語の中で供給できることとなった。また、それに合わせたrecursors等の高階関数定義の枠組の拡張がなされ、これによって高階関数の使用に関して、項書換え(代数的仕様)パラダイムとタイプ理論パラダイムを融合した新しいプログラミング方法論が導入された。他方、項書き換えパラダイムを、伝統的な項書き換え系のかわりに、並行書き換え処理を遂行うるマルチセット書き換え系(しばしば、並行項書き換え系とも呼ばれる)を利用して拡張することにより、我々の融合言語の枠組が、並行計算プログラミングや実時間システムのプログラミングに適していることも示された。
期刊论文(8)
专著(0)
科研奖励(0)
会议论文
M.Okada: "An Introduction to Linear Logic : Phase Semantics and Expressiveness" Memoirs of Mathematical Society of Japan. 2. 255-295 (1998)
M.Okada：“线性逻辑导论：相位语义和表现力”日本数学会回忆录。
DOI： --
发表时间：
期刊：
影响因子： --
作者： []
通讯作者：
M.Takahashi-M.Okada-M.Pezani(tds.): "Theories of Types and Proofs" Mathematical Society of JAPAN(日本数学会), 297 (1998)
M.Takahashi-M.Okada-M.Pezani(tds.)：“类型和证明的理论”日本数学会，297 (1998)
DOI： --
发表时间：
期刊：
影响因子： --
作者： []
通讯作者：
J.-Y.Girard-M.Okada-A.Scedrov(eds.): "Linear Logic Special Volumes I,II,of Theoretical Computer Science(近刊)" Elsevier Science Publishing, (1999)
J.-Y.Girard-M.Okada-A.Scedrov（编）：“理论计算机科学的线性逻辑特别卷 I、II（即将出版）”Elsevier Science Publishing，（1999 年）
DOI： --
发表时间：
期刊：
影响因子： --
作者： []
通讯作者：
M.Okada-K.Terai: "Finite Model Property for Various Fragments of Intuitionistic Linear Logic" Journal of Symbolic Logic. (近刊). (1999)
M.Okada-K.Terai：“直觉线性逻辑各种片段的有限模型属性”符号逻辑杂志（即将出版）。
DOI： --
发表时间：
期刊：
影响因子： --
作者： []
通讯作者：
共 8 条
    論証・証明の哲学の深化に向けた学際的「論理の哲学」研究
    • 批准号：
      23K20416
    • 项目类别：
      Grant-in-Aid for Scientific Research (B)
    • 资助金额：
      $3.24万
    • 财政年份：
      2024
    • 负责人：
      岡田 光弘
    • 依托单位：
      Keio University
    On information presentation methods for easier decison making: Studies on multi-attribute decision making
    • 批准号：
      21K18339
    • 项目类别：
      Grant-in-Aid for Challenging Research (Exploratory)
    • 资助金额：
      $4.08万
    • 财政年份：
      2021
    • 负责人：
      岡田 光弘
    • 依托单位：
      Keio University
    Interdisciplinary studies on philosophy of logic: Toward the development of philosophy of proof and demonstration
    • 批准号：
      21H00467
    • 项目类别：
      Grant-in-Aid for Scientific Research (B)
    • 资助金额：
      $8.49万
    • 财政年份：
      2021
    • 负责人：
      岡田 光弘
    • 依托单位：
      Keio University
    Study on "Disagreement" in logic
    • 批准号：
      19KK0006
    • 项目类别：
      Fund for the Promotion of Joint International Research (Fostering Joint International Research (B))
    • 资助金额：
      $7.49万
    • 财政年份：
      2019
    • 负责人：
      岡田 光弘
    • 依托单位：
      Keio University