课题基金 / 基金详情

日米科学協力事業「ソフトウェア検証の論理的方法」更新のための企画研究

日米科学協力事業「ソフトウェア検証の論理的方法」更新のための企画研究
日美科学合作项目“软件验证的逻辑方法”更新计划研究
批准号：
15630002
负责人：
岡田 光弘
金额：
$1.34万
依托单位：
Keio University
依托单位国家：
日本
项目类别：
Grant-in-Aid for Scientific Research (C)
财政年份：
2003
资助国家：
日本
项目状态：
已结题
起止时间：
2003 至 --
来源：
https://kaken.nii.ac.jp/en/grant/KAKENHI-PROJECT-15630002/
关键词：
論理的手法線形論理形式仕様形式検証実時間システム証明論

项目摘要

项目成果

岡田 光弘的其他基金

相似基金

相关文献

中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
これまでの日米共同研究の成果を基にして平成15年度にこの日米共同研究プロジェクトを発展的に継続すべく研究計画の企画を日米間で行った。米国側は本年より同様な企画のため、若い世代に中核メンバーを移行しながら日米共同研究の更新の準備を開始しており、日本側も本企画研究の遂行過程で若手世代に移行していく計画を進めた。現在までは日本側は岡田(慶応大)が、又米国側はScedrov(ペンシルバニア大)、Mitchell(スタンフォード大)が幹事役として共同研究や共同主催国際会議の企画を行い、これら幹事役と同世代の研究者達が井同研究の中核となってきた。(過去3年間に3回の日米ワークショップ及び特定領域「安全」グループ(代表:米澤教授(東大))と連携したソフトウェア安全性に関する国際シンポジウムを開催し、Theoretical Computer Science誌特別号、States-of-Art Series of LNCS (Springer)等を編集し、日米共同研究の成果発表も行ってきた。)今回の企画研究ではこれらの成果やこれまでの共同研究体制を分析し、今後の改良点を検討した。米国側からScedrov、Cervesato、Nuclaらが秋に来日し今後の共同研究の企画立案を行った。特にソフトウェア及びネットワークコミュニケーションの安全性検証のための共同研究の方法論を検討した。我々のソフトウェア検証の論理的方法についての日米共同研究は欧州やカナダ等の研究グループの研究とも深く関連するため、これらの研究グループとも打合せをして我々の研究企画に役立てた。
期刊论文(9)
专著(0)
科研奖励(0)
会议论文
H.Hasebe, J-P.Jouannaud, A.Kremer, M.Okada, R.Zumkeller: "Formal Verification of Dynamic Real-Time State-Transition Systems Using Linear Logic"日本ソフトウェア科学会第20回全国大会予稿集. (2003)
H.Hasebe、J-P.Jouannaud、A.Kremer、M.Okada、R.Zumkeller：“使用线性逻辑对动态实时状态转换系统进行形式化验证”日本软件科学学会第 20 届全国会议论文集。 (2003)
DOI： --
发表时间：
期刊：
影响因子： --
作者： []
通讯作者：
H.Kushida, M.Okada: "A proof-theoretic study of the correspondence of classical logic and model logic"Journal of Symbolic Logic. 68・4. 1403-1414 (2003)
H.Kushida，M.Okada：“经典逻辑和模型逻辑的对应性的证明理论研究”符号逻辑杂志68・4（2003）。
DOI： --
发表时间：
期刊：
影响因子： --
作者： []
通讯作者：
M.Konovitch, Mitsuhiro Okada, A.Scedrov: "Phase Semantics for Light Linear Logic"Theoretical Computer Science. 294. 525-549 (2003)
M.Konovitch、Mitsuhiro Okada、A.Scedrov：“轻线性逻辑的相位语义”理论计算机科学。
DOI： --
发表时间：
期刊：
影响因子： --
作者： []
通讯作者：
岡田光弘: "矛盾は矛盾か"科学哲学. 36・2. 79-102 (2004)
冈田光宏：“矛盾是矛盾吗？”36・2（2004）。
DOI： --
发表时间：
期刊：
影响因子： --
作者： []
通讯作者：
共 7 条
    論証・証明の哲学の深化に向けた学際的「論理の哲学」研究
    • 批准号：
      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
    海外基金