课题基金 / 基金详情

様相線形論理に基づく分散計算モデルおよび型システムの研究

様相線形論理に基づく分散計算モデルおよび型システムの研究
基于模态线性逻辑的分布式计算模型与类型系统研究
批准号：
10139206
负责人：
小林 直樹
金额：
$1.28万
依托单位：
The University of Tokyo
依托单位国家：
日本
项目类别：
Grant-in-Aid for Scientific Research on Priority Areas (A)
财政年份：
1998
资助国家：
日本
项目状态：
已结题
起止时间：
1998 至 --
来源：
https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-10139206/
关键词：
線形論理型システムデッドロック分散プログラミング言語並行プログラミング言語

项目摘要

项目成果

小林 直樹的其他基金

相似基金

相关文献

中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
分散・並行プログラミング言語のさまざまな高レベル機能を柔軟に提供するためには、言語の核となる基本プリミティブを安全にかつ効率良く実現することが重要である。そこで、本研究では、そのための基礎理論の研究を行なっている。本年度の主要な研究成果は次のとおり。● 分散言語の核言語のモデルとしての分散並行線形論理プログラミングの枠組の確立線形論理に場所を表す様相記号を導入することによってえられる様相線形論理の論理式を用いて分散並行プロセスを表現する分散並行線形論理プログラミングの枠組を確立し、分散オブジェクトなどがその枠組の中で統一的に表現できることを示した。● デッドロックフリーダムを保証する型システムの一般化昨年度までに、特定の通信チャネルの使用順序に関する制約を型情報としてとりいれることによって並行プロセスの部分的デッドロックフリーダムを保証する型システムを構築することに成功したが、本年度はこの型システムを一般化し、各チャネルの使い方をプログラマが柔軟に宣言できるような機構を導入し、そのように宣言されたチャネルに関してもデッドロックフリーダムが保証されるようにした。● 型システムに基づく静的メモリ管理高レベル機能を核言語を用いて実現した場合の非効率性の問題を解決するため、本年度は特にメモリ管理の間題に焦点を絞り、従来の型システムを拡張することによって得られるメモリアクセスに関する静的情報を利用したメモリ管理方式の研究を行なった。
期刊论文(5)
专著(0)
科研奖励(0)
会议论文
Naoki Kobayashi and Akinori Yonezawa: "Distributed and Concurrent Objects Based on Linear Logic" Proceedings of Third IFIP International Conference on Formal Methods for 0pen Object-based Distributed Systems. (1999)
Naoki Kobayashi 和 Akinori Yonezawa：“基于线性逻辑的分布式和并发对象”第三届 IFIP 国际会议关于 0pen 基于对象的分布式系统形式方法的会议记录。
DOI： --
发表时间：
期刊：
影响因子： --
作者： []
通讯作者：
Eijiro Sumii and Naoki Kobayashi: "A Generalized Deadlock-Free Process Calculus" Proceedings of Workshop on High-Level Concurrent Language (HLCL'98),Electronic Notes on Theoretical Computer Science,Elsvier publishers. 16-3. 55-77 (1998)
Eijiro Sumii 和 Naoki Kobayashi：“广义无死锁过程微积分”高级并发语言研讨会论文集 (HLCL98)，理论计算机科学电子笔记，爱思唯尔出版社。
DOI： --
发表时间：
期刊：
影响因子： --
作者： []
通讯作者：
Hideki Kariya and Naoki Kobayashi: "リージョン推論に基づくメモリ管理の下でのガーベジコレクション" 日本ソフトウェア科学会全国大会論文集. 337-340 (1998)
Hideki Kariya 和 Naoki Kobayashi：“基于区域推断的内存管理下的垃圾收集”日本软件科学学会全国会议论文集 337-340 (1998)。
DOI： --
发表时间：
期刊：
影响因子： --
作者： []
通讯作者：
Naoki Kobayashi,Toshihiro Shimizu, and Akinori Yonezawa: "Distributed Concurrent Linear Logic Programming" Theoretical Computer Science. (印刷中). (1999)
Naoki Kobayashi、Toshihiro Shimizu 和 Akinori Yonezawa：“分布式并发线性逻辑编程”理论计算机科学（1999 年）。
DOI： --
发表时间：
期刊：
影响因子： --
作者： []
通讯作者：
無住道暁と南宋代成立典籍に関する総合的研究
  • 批准号：
    23K00298
  • 项目类别：
    Grant-in-Aid for Scientific Research (C)
  • 资助金额：
    $1.41万
  • 财政年份：
    2023
  • 负责人：
    小林 直樹
  • 依托单位：
    Osaka Metropolitan University
潜在的カビ毒産生菌種を利用したカビ毒生合成抑制メカニズムの解明
  • 批准号：
    23K05081
  • 项目类别：
    Grant-in-Aid for Scientific Research (C)
  • 资助金额：
    $2.91万
  • 财政年份：
    2023
  • 负责人：
    小林 直樹
  • 依托单位：
    Azabu University
偏光分光型マルチスペクトルカメラを用いた目視診断用画像システムの研究開発
  • 批准号：
    23K11878
  • 项目类别：
    Grant-in-Aid for Scientific Research (C)
  • 资助金额：
    $3.08万
  • 财政年份：
    2023
  • 负责人：
    小林 直樹
  • 依托单位：
    Saitama Medical University
Program Verification Techniques for the AI Era
  • 批准号：
    20H05703
  • 项目类别：
    Grant-in-Aid for Scientific Research (S)
  • 资助金额：
    $121.8万
  • 财政年份：
    2020
  • 负责人：
    小林 直樹
  • 依托单位：
    The University of Tokyo
海外基金