2001 Fiscal Year Annual Research Report
| Project/Area Number |
12780217
|
|---|
| Research Institution | Kyoto University |
|---|
Principal Investigator |
立木 秀樹 京都大学, 総合人間学部, 助教授 (10211377)
|
|---|
| Keywords | 実数計算 / 位相空間論 / 計算可能性 / ドメイン理論 / 次元論 |
|---|
| Research Abstract |
前年度は,ボトムを含む無限文字列空間の上の計算を考え,実数のグレイコード展開を用いた2ヘッドでの実数上の計算の仕組みができることを示し,また,それを一般の位相空間に拡張し,可分距離空間においては,空間の次元と追加的なヘッドの個数が一致することを示した。今年度は,この結果をふまえて,ボトムを含む無限文字列空間への様々な位相空間の埋め込み方についての研究を主に行った。ボトムを含む文字列をより一般にしたドメインの概念として,有限分岐可算ベースを持ったドメイン(fb-domainと呼ぶことにする)というものを考える。fb-domainは,その極限集合の中に,極小元のなす集合が存在する。今回得られた定理は,以下のようなものである。それぞれのコンパクト距離空聞Xに対し,あるfb-domain Dが存在し,Dの極小元のなす集合とXが同相となる。しかも,Xがn次元の時には,Dの極限集合は,長さがnと一致する。しかも,そのようなDは,ボトムを含む無限列のなすドメインの部分ドメインとして構成することができる。極限集合の極小元のなす集合というのは,極限集合のretractにもなっており,よって,無限文字列を構成する手続きを考えたときに,有限的に正しいどのような手続きも,Xの唯一の元を意味する二ととなる。よって,無限文字列としての,自然で扱いやすい性質を持っている。この結果(投稿準備中)は,位相空間論とドメイン理論を結び付け,両者をさらに発展させるものだと考んさらに研究をすすめていく予定である。
|
Research Products
(4 results)
-
[Publications] Hideki Tsuiki: "A Domain Theoretic Semantics of LAX generic functions"Theoretical Computer Science. (未定). (2002)
-
[Publications] Hideki Tsuiki: "Computational Dimension of Topological Spaces"Proc. Computability and Complexity in Analysis, LNCS. 2064巻. 323-336 (2001)
-
[Publications] 立木 秀樹: "実数計算のGHCによる実現"コンピュータ・ソフトウェア. 18巻2号. 40-53 (2001)
-
[Publications] 立木 秀樹: "不定元を含む無限列上の不決定性計算について"日本ソフトウェア科学会大18回大会論文集. (Online文書). (2001)
