权益分类	功能权益	普通用户	{{item.name}}会员
{{category.name}}	{{benefitItem.name}}

計算資源の共有構造を反映した計算モデルの理論と応用

反映计算资源共享结构的计算模型的理论与应用

基本信息

批准号：
11780215
负责人：
長谷川真人
金额：
$ 1.41万
依托单位：
Kyoto University
依托单位国家：
日本
项目类别：
Grant-in-Aid for Encouragement of Young Scientists (A)
财政年份：
1999
资助国家：
日本
起止时间：
1999 至 2000
项目状态：
已结题

项目摘要

計算資源の共有構造の基礎となる型体系とそのモデルの理論の整備を行なった。特に、共有構造を表現できる線型な型体系の間に成り立つフル・コンプリートネスと呼ばれる強い完全性を、圏論的なモデルの構成方法を用いることにより証明した。これにより、研究計画で挙げた本年度の目標である数学的手法の開発と整理については、少なくとも巡回(再帰)のない共有構造の静的な取り扱いに関しては、ほぼめどがついたと考えれる。これらの成果のうちの主要な部分は、国際会議および雑誌においてすでに発表済みまたは掲載予定である。巡回的な共有構造の分析は、巡回のないものと比べ著しく困難であるが、その基礎的な部分については、学位論文を改定した著書をシュプリンガー社より出版した。1999年9月には、英国エディンバラ大学において、通常の共有構造のないラムダ計算から共有構造をもつ線型なラムダ計算への変換がフル・コンプリートであることについて講演する機会を得た。その後、同大学のJohn Power博士との討論の結果、本研究のモデルの構成の方法が、計算資源の共有構造以外の計算現象の分析にも有用である可能性があることがわかってきた。この一般化については、現在基礎的な結果に関する論文を準備中であり、次年度にはより具体的な応用例も考察していく予定である。

The calculation of resource resources is based on the establishment of a basic system of financial resources, such as the management of financial systems, the management of financial institutions, and the management of financial institutions. In this paper, a total of information systems have been developed to show that the system is of high completeness and completeness, and that the discussion method has been used in this paper. In the course of this year, we have studied the methods of mathematics in the current year. We have done a lot of work in this year. We have done a lot of research. We have done a lot of research. In terms of the results, the main parts, the international conferences, the journals, the tables, the predetermined ones. In the tour, there is a lot of research, there is a lot of research on the tour, some of the books are published, some of them are published, and the degree is revised. In September 1999, the United Kingdom, the United Kingdom, the university, the general public, the universities, the universities and the universities. After the discussion, Dr. John Power of the same university discussed the results, and in this study, we discussed the methods and methods of calculating resources in this study. in addition to the calculation of resources, the possibility of computer analysis is very useful. In general, the results of the current database are in preparation for specific use cases in the next year and in the next year.