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

実数プログラミングと実関数の計算可能性

实数编程和实函数的可计算性

基本信息

批准号：
12780217
负责人：
立木秀樹
金额：
$ 1.22万
依托单位：
Kyoto University
依托单位国家：
日本
项目类别：
Grant-in-Aid for Encouragement of Young Scientists (A)
财政年份：
2000
资助国家：
日本
起止时间：
2000 至 2001
项目状态：
已结题

项目摘要

前年度は,ボトムを含む無限文字列空間の上の計算を考え,実数のグレイコード展開を用いた2ヘッドでの実数上の計算の仕組みができることを示し,また,それを一般の位相空間に拡張し,可分距離空間においては,空間の次元と追加的なヘッドの個数が一致することを示した。今年度は,この結果をふまえて,ボトムを含む無限文字列空間への様々な位相空間の埋め込み方についての研究を主に行った。ボトムを含む文字列をより一般にしたドメインの概念として,有限分岐可算ベースを持ったドメイン(fb-domainと呼ぶことにする)というものを考える。fb-domainは,その極限集合の中に,極小元のなす集合が存在する。今回得られた定理は,以下のようなものである。それぞれのコンパクト距離空聞Xに対し,あるfb-domain Dが存在し,Dの極小元のなす集合とXが同相となる。しかも,Xがn次元の時には,Dの極限集合は,長さがnと一致する。しかも,そのようなDは,ボトムを含む無限列のなすドメインの部分ドメインとして構成することができる。極限集合の極小元のなす集合というのは,極限集合のretractにもなっており,よって,無限文字列を構成する手続きを考えたときに,有限的に正しいどのような手続きも,Xの唯一の元を意味する二ととなる。よって,無限文字列としての,自然で扱いやすい性質を持っている。この結果(投稿準備中)は,位相空間論とドメイン理論を結び付け,両者をさらに発展させるものだと考んさらに研究をすすめていく予定である。

In the previous year, there was no limit to the number of text column space calculation examinations. in the previous year, there was an unlimited number of text column space calculation examinations. in the previous year, there was an unlimited number of text column space calculation examinations. in the previous year, there was an unlimited number of text column space calculation examinations. in the previous year, there was an unlimited number of text column space calculation examinations. in the previous year, there was an unlimited number of text column space calculation examinations. the number of users that are added to the system is consistent with each other. This year, the results show that there is no limit to text column space, phase, phase, phase and phase. There is a list of words in the text column. In general, the concept is different, and finite differences can be counted as saying that the concept is different, and that the finite bifurcation can be regarded as a test of the concept. The fb-domain is limited to the collection, and the collection exists in the collection. This time, I have obtained the theorem, and the following is true. The distance between fb-domain D and D is different. The collection X is in phase. The number of times, the number of times. There is no limit to the number of columns in which there is no limit. Some of the information is not valid. Limited collection, limited retract, limited text, limited data, and limited data. There is no limit to the number of text columns, and the nature of the text column is not limited to that of others. The results of the study (in preparation for submission), the results of the phase space discussion, the theory of the theory, and the results of the study (in preparation for submission), the results of the results (in preparation for submission), the results of the study (in preparation for submission), the results of the study (in preparation for submission), the results of the study (in preparation for submission), phase space discussion, theory and theory.