量子プログラミング言語のコンパイラ―線形論理の意味論から導かれる「正しい」実装
量子编程语言编译器:源自线性逻辑语义的“正确”实现
基本信息
- 批准号:15J08509
- 负责人:
- 金额:$ 1.09万
- 依托单位:
- 依托单位国家:日本
- 项目类别:Grant-in-Aid for JSPS Fellows
- 财政年份:2015
- 资助国家:日本
- 起止时间:2015-04-24 至 2017-03-31
- 项目状态:已结题
- 来源:
- 关键词:
项目摘要
1年度目に引き続きボローニャ大学の Ugo Dal Lago 氏, パリ第7大学の Claudia Faggian 氏, フランス CentraleSupelec の Benoit Valiron 氏と共同で研究を行い, 本研究の実施計画における中心概念である Geometry of Interaction の複数トークン機械意味論としての理論を更に拡張し, 再帰・高階関数に加えて種々の確率的分岐を含むようなプログラミング言語を解釈することに成功した. 特に研究計画において目標としていた量子的な分岐はこの枠組みに含まれている. この結果はプログラミング言語理論のトップ国際会議であるPOPL 2017に共著論文として採択された. また, 申請者はこの研究の途中経過に関してマルセイユで行われたJSPS日仏二国間プロジェクト CRECOGI のワークショップにおいて対外発表を行った.さらに, 逐次的計算だけでなく並行計算に対し同様の意味論を与えることを考え, Ugo Dal Lago 氏および申請者の所属研究室の修士課程学生である田中諒氏と共同研究を行った. 結果として, multiport interaction net (MIN) と呼ばれるクラスのグラフ書換え系の妥当な意味論を複数トークン機械によって与えることに成功した. 同グラフ書換え系は並行計算における標準的な計算モデルのひとつである π 計算を埋め込めることが知られており, この結果は理論的には複数トークン機械によって並行計算プログラム一般の意味論を与えられることを示すものである. この結果は共著論文として理論計算機科学分野のトップ国際会議である LICS 2017 に投稿し採択された. さらに同結果を用いてプロセス計算系に対し望ましい性質を保証する型システムの構成を与える研究も進行中である. この進行中の研究には multiport interaction net の基礎理論を整備したパリ第13大学の Damiano Mazza 氏も既に加わっており, 今後より一層の進展が大いに期待できるものである.
The first annual project was conducted jointly by Ugo Dal Lago of the University of California, Claudia Faggian of the University of California, and Benoit Valiron of the University of California. The difference between the accuracy of the increase in the number of high-level relations and the success of the speech analysis Special research projects are aimed at quantum divergence, and the components are contained in the research project. The results of this research include a number of papers co-authored at POPL 2017 International Conference on Speech Theory. In addition, the applicant has been involved in the development of the JSPS system. In addition, successive calculations are carried out concurrently with simultaneous calculations, and the same meaning is discussed. In addition, Ugo Dal Lago's research course students of the applicant's affiliated laboratory are jointly studied. The results show that the multiport interaction net (MIN) is successful. In the same way, the system of concurrent computation is the standard computation, and the result is the theoretical computation. The results of this paper were co-authored and submitted to the International Conference on Theoretical Computer Science at LICS 2017. The results of this study are presented in the following paragraphs: This research is in progress and the basic theory of multiport interaction net has been prepared. Damiano Mazza of the 13th University has made great progress in the future.
项目成果
期刊论文数量(0)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)
Some comparison between SMLL and Amida
SMLL 和 Amida 之间的一些比较
- DOI:
- 发表时间:2015
- 期刊:
- 影响因子:0
- 作者:Ugo Dal Lago;Claudia Faggian;Benoit Valiron;Akira Yoshimizu;Akira Yoshimizu;Akira Yoshimizu;Akira Yoshimizu
- 通讯作者:Akira Yoshimizu
The geometry of parallelism: classical, probabilistic, and quantum effects
并行性的几何:经典效应、概率效应和量子效应
- DOI:10.1145/3009837.3009859
- 发表时间:2017
- 期刊:
- 影响因子:0
- 作者:Ugo Dal Lago;Claudia Faggian;Benoit Valiron;Akira Yoshimizu
- 通讯作者:Akira Yoshimizu
The Geometry of Probabilistic Parallelism
概率并行的几何
- DOI:
- 发表时间:2016
- 期刊:
- 影响因子:0
- 作者:Ugo Dal Lago;Claudia Faggian;Benoit Valiron;Akira Yoshimizu;Akira Yoshimizu;Akira Yoshimizu
- 通讯作者:Akira Yoshimizu
{{
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 }}