课题基金 / 基金详情

タイプ理論および線形論理の情報科学への応用に関する国際共同研究の企画

タイプ理論および線形論理の情報科学への応用に関する国際共同研究の企画
规划类型论和线性逻辑在信息科学中的应用国际联合研究
批准号：
09898005
负责人：
岡田 光弘
金额：
$1.54万
依托单位：
Keio University
依托单位国家：
日本
项目类别：
Grant-in-Aid for Scientific Research (C)
财政年份：
1997
资助国家：
日本
项目状态：
已结题
起止时间：
1997 至 --
来源：
https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-09898005/
关键词：
線形論理タイプ理論プログラミング言語直観主義論理理論情報科学形式的検証形式的仕様ソフトウェア開発

项目摘要

项目成果

岡田 光弘的其他基金

相似基金

相关文献

中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
われわれ共同研究チームは、論理学的手法に情報科学への応用、特にタイプ理論と線形論理の情報科学への応用に関する国際共同研究・国際学術交流の枠組を確立することを目指した。(1)日本国内の本分野の大学間共同研究グループの基盤を広げ、本分野におけるわが国のさらなる国際的貢献を目指すとともに、(2)上記ヨーロッパ・プロジェクトグループ、北米プロジェクト・グループとの協議を通じて、日本の研究グループとヨーロッパ共同体研究ブロック、北米共同研究ブロックとの間での三者の研究協力の枠組みを作ることを本企画研究の第一の目標とした。本研究チームは「タイプ理論と線形論理のプログラム言語理論への応用」に関するする国際共同研究の企画を行った。本年度に我々が本企画研究を通して企画した国際共同研究は平成10年度からの科学研究費国際共同研究として内定を受けた。国際共同研究の企画のためにヨーロッパ共同体の相手側チームのリーダ達(G.Huet.J.P.Jouannaud.J-Y.Girard.H.Baretulregt.M.Drziuni.G.Plotkin.M.Kanovitch)や北米のNorth American Jumelageの相手側リーダー達(A.Scedrov.J.Mitehrll.P.I.ineolu.J.Ianubek.P.J.Scott)と特に充分な協議、打ち合わせを行い準備を進めた。
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
M.Takahashi: "Types and Proofs" Mathematical Sciety of Japan, 000 (1998)
M.Takahashi：“类型与证明”日本数学会，000（1998）
DOI： --
发表时间：
期刊：
影响因子： --
作者： []
通讯作者：
大堀淳: "プログラミング言語の基礎理論" 共立出版, 272 (1997)
Jun Ohori：《编程语言的基本理论》Kyoritsu Shuppan，272（1997）
DOI： --
发表时间：
期刊：
影响因子： --
作者： []
通讯作者：
J-P. Jouannaud, M. Okada: "Abstract Data Type Systems"Theoretical Computer Science. 173. 349-391 (1997)
J.P。
DOI： --
发表时间：
期刊：
影响因子： --
作者： []
通讯作者：
M.Sato: "Intuitionistic and Classical Natural Deduetion Systems with the Catch and Throw Rules" Theoretical Computer Science. (to appear). 0-0 (1998)
M.Sato：“具有接球和投掷规则的直觉和经典自然演绎系统”理论计算机科学。
DOI： --
发表时间：
期刊：
影响因子： --
作者： []
通讯作者：
論証・証明の哲学の深化に向けた学際的「論理の哲学」研究
  • 批准号：
    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
海外基金