课题基金 / 基金详情

宣言的プログラミングにおけるソフトウェア発展の研究

宣言的プログラミングにおけるソフトウェア発展の研究
声明式编程中的软件开发研究
批准号：
14019084
负责人：
佐藤 健
金额：
$3.46万
依托单位：
National Institute of Informatics
依托单位国家：
日本
项目类别：
Grant-in-Aid for Scientific Research on Priority Areas
财政年份：
2002
资助国家：
日本
项目状态：
已结题
起止时间：
2002 至 --
来源：
https://kaken.nii.ac.jp/en/grant/KAKENHI-PROJECT-14019084/
关键词：
ソフトウェア発展宣言的プログラミングデフォルト論理関数型プログラミング

项目摘要

项目成果

佐藤 健的其他基金

相似基金

相关文献

中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
本研究では,以前に佐藤が行っていた極小変更によるソフトウェア仕様の発展の研究を発展させ,論理型言語や関数型言語のような宣言型プログラミング一般に適用可能なより広範囲のソフトウェア発展の理論を構築し,プロトタイプシステムを開発して,実証を行う.今年度の成果はいかである。(1)は論理型言語でのソフトウェア発展の研究成果、(2),(3)は、関数型言語のソフトウェア発展に関連する基礎的考察の研究成果である。(1)論理型言語での極小変更仕様の導出のために従来必要だった変更の極小性チェックを省略でき,かつ完全性を持つ手法を開発した。具体的には、論理仕様からデフォルト理論(default theory)への変換を用いることにより,デフォルト理論での拡張が極小変更プログラムに1対1対応することを示すことで、上記性質を持つ手法の提案を行った。さらに、佐藤が以前提案したデフォルト理論での証明系の単純化した手続きが極小変更プログラムの計算に使用できることを示した。(2)多項式時間で実行可能なプログラムに正確に対応する素朴集合論(軽アフィン集合論)の考案および、その集合論における構成的証明から多項式時間プログラムを自動的に抽出するプログラム抽出法の考案、考察を行った.(3)高階λμ計算の強正規化性がParigotによりCPS変換を用いて証明されていたが、この証明の誤りを主補題の反例により示し、それが継続消滅に起因していることを指摘し、augmentationの概念を用いてこの証明を完成させた。
期刊论文(8)
专著(0)
科研奖励(0)
会议论文
Ken Satoh: "Constructing a Critical Casebase to Represent a Lattice-Based Relation"Progress in Discovery Science 2002, LNAI. 2281. 214-223 (2002)
Ken Satoh：“构建关键案例库来表示基于格的关系”2002 年发现科学进展，LNAI。
DOI： --
发表时间：
期刊：
影响因子： --
作者： []
通讯作者：
K.Nakazawa, M.Tatsuta: "Strong Normalization Proof with CPS-Translation for Second Order Classical Natural Deduction"Journal of Symbolic Logic. (掲載予定). (2003)
K.Nakazawa、M.Tatsuta：“二阶经典自然演绎的强规范化证明”（即将出版）。
DOI： --
发表时间：
期刊：
影响因子： --
作者： []
通讯作者：
Shi-Kuo Chang(編者), Ken Satoh(分担執筆): "Handbook of Software Engineering and Knowledge Engineering, Vol.2の中のNonmonotonic Reasoning and Consistency Management in Software Engineering(pp.629-644)"World Scientific. 794 (2002)
Shi-Kuo Chang（编辑）、Ken Satoh（撰稿人）：“软件工程中的非单调推理和一致性管理（第 629-644 页），《软件工程和知识工程手册》，第 2 卷”World Scientific 794 (2002)。
DOI： --
发表时间：
期刊：
影响因子： --
作者： []
通讯作者：
佐藤 健: "極小性チェックを必要としない極小変更ソフトウェア仕様の導出"Proc.of FOSE02. 143-150 (2002)
Ken Sato：“无最小性检查的最小变更软件规范的推导”Proc.of FOSE02 (2002)。
DOI： --
发表时间：
期刊：
影响因子： --
作者： []
通讯作者：
風水害を中心とした包括的学校安全の実態解明と評価手法の構築
  • 批准号：
    23K21023
  • 项目类别：
    Grant-in-Aid for Scientific Research (B)
  • 资助金额：
    $2.08万
  • 财政年份：
    2024
  • 负责人：
    佐藤 健
  • 依托单位：
    Tohoku University
誘電プローブ法を用いた高分子ブレンドにおける相分離ダイナミクスの開拓
  • 批准号：
    24K17023
  • 项目类别：
    Grant-in-Aid for Early-Career Scientists
  • 资助金额：
    $3.08万
  • 财政年份：
    2024
  • 负责人：
    佐藤 健
  • 依托单位：
    Kyoto University
対話を創発する学習環境デザインの構築、実践、評価
核内移行する小胞輸送因子の機能解明
  • 批准号：
    23K05692
  • 项目类别：
    Grant-in-Aid for Scientific Research (C)
  • 资助金额：
    $3.0万
  • 财政年份：
    2023
  • 负责人：
    佐藤 健
  • 依托单位：
    The University of Tokyo
海外基金