圏論的意味論に基づく並行プログラミング言語の分析
基于类别语义的并发编程语言分析
基本信息
- 批准号:20J13473
- 负责人:
- 金额:$ 1.09万
- 依托单位:
- 依托单位国家:日本
- 项目类别:Grant-in-Aid for JSPS Fellows
- 财政年份:2020
- 资助国家:日本
- 起止时间:2020-04-24 至 2022-03-31
- 项目状态:已结题
- 来源:
- 关键词:
项目摘要
今年度は、「πF計算の代数的性質と整合するようにπF計算の簡約を再定義できるか?」という問いに関する研究を行った。これは平易な言い方をすると、「プログラムの振る舞いを定める、簡約関係という最も基本的な関係を、πF計算の”数理的な扱いやすさ”を損なわないように調整する」という研究である。簡約関係を所望の性質を持つように再定義することには成功したが、新たに定義した簡約関係は技術的に扱いづらく、その簡約関係を直接用いてプログラムの振る舞いを議論することが難しいという問題が生じた。そのため、本研究では、新たに共通型に基づく証明手法も提案し、型を用いてプログラムの振る舞いを議論できるようにした。また、新たな簡約関係のもとでは、forwarderという特殊なプロセスの作用はある意味で観測不能であることを示した。Forwarderの作用は従来のπ計算では観測可能であるため、これは新たな簡約関係と従来の簡約関係が異なっていることの傍証である。しかし、本研究ではπF計算の構文に”遅延”を表す定数を追加すれば、観測可能なforwarderを新たな簡約関係のもとでも表現できることを示した。さらに、”遅延”を表す定数をπF計算に追加すれば、forwarderに限らず、従来のπ計算の振る舞いを新たな簡約関係を用いて模倣できることも示し、この意味で従来の簡約関係と新たな簡約関係のギャップは大きくないことを証明した。これらの研究内容をまとめた論文は国際会議FSCD2021に採択された。(厳密には、投稿をしたのが令和2年度であり、採択が決まったのは令和3年度になってからである。)
This year, "Algebraic properties of πF calculation and integration and simplicity of πF calculation are redefined?"これは平平な言い方をすると、「プログラムの正る五いを定める、 SIMPLE RELATIONSHIP というThe most basic なRelationship を, πF calculation の "mathematical analysis" を loss なわないように adjustment する" という research である. The nature of the simple relationship and the desired nature of the relationship. The simple relationship between いづらく and その is directly discussed with いてプログラムの动 いを to discuss the difficult しいという problem が生じた.そのため, this research では, new たに common type にbased づく proof method proposalし, type を Use いてプログラムの正る Dance いを Discussion できるようにした.また, new たな simple relationship のもとでは, forwarder という special なプロセスのeffect はあるmeaning でmeasurement cannot であることをshow した. Forwarder's role is to calculate and calculate the possibility of であるため、これは新たな Simple relationship と従来の Simple relationship がdifferent なっていることの near evidence である.しかし、The structure of this study's calculation of πFに"遅 extension"をtable and the fixed numberをaddedすれば、Look at the possibility Can な forwarder を new た な simple relationship の も と で も performance で き る こ と を Show し た.さらに、"偅 extension"をexpressionすfixednumberをπFcalculationにaddすれば、forwarderにlimitらず、従来のπcalculationの真る马いを新たな SIMPLE Relationship を is imitated by いて and できることもshows し, このmeans で従来のsimplified relationship と新たな simplistic relationship のギャップは大きくないことをproves した.これらのResearch contentをまとめたpaperはInternational conference FSCD2021に択された. (にはは、Contributionをしたのが令和2年であり、択がdeterminationまったのは令和3年になってからである.)
项目成果
期刊论文数量(0)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)
数据更新时间:{{ journalArticles.updateTime }}
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
数据更新时间:{{ journalArticles.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ monograph.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ sciAawards.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ conferencePapers.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ patent.updateTime }}
酒寄 健其他文献
酒寄 健的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
{{ truncateString('酒寄 健', 18)}}的其他基金
π計算を介したプログラム検証・解析
通过π计算进行程序验证和分析
- 批准号:
24K20731 - 财政年份:2024
- 资助金额:
$ 1.09万 - 项目类别:
Grant-in-Aid for Early-Career Scientists
相似海外基金
述語変換子による合成性を活かした自動検証手法の圏論的意味論を経由した拡張
通过类别语义使用谓词变换器使用组合性扩展自动验证方法
- 批准号:
21J14216 - 财政年份:2021
- 资助金额:
$ 1.09万 - 项目类别:
Grant-in-Aid for JSPS Fellows