2008 Fiscal Year Self-evaluation Report
Research on computable structures of continuous spaces like the real number through representation in bottomed sequences
Project/Area Number |
18500013
|
Research Category |
Grant-in-Aid for Scientific Research (C)
|
Allocation Type | Single-year Grants |
Section | 一般 |
Research Field |
Fundamental theory of informatics
|
Research Institution | Kyoto University |
Principal Investigator |
立木 秀樹 Kyoto University, 人間・環境学研究科, 准教授 (10211377)
|
Project Period (FY) |
2006 – 2009
|
Keywords | 実数計算 / グレイコ-ド / ドメイン理論 / 位相空間論 / 不定元 |
Research Abstract |
グレイコ-ドという不定元を用いた実数の表現を基本として,実数などの連続な空間の上の計算構造,および,それと関連した,位相構造などの空間の数学的な構造について研究を行う。それは,実数などの連続空間を近似するための数学的構造の研究である,ドメイン理論をはじめ,プログラミング言語理論,位相空間論,計算可能性理論,力学系,フラクタル理論などの多くの分野と関連がある。これら様々な分野との関わりを用いて,連続で無限な空間の表現とその表現を用いた計算が,その空間の構造とどう係わるかを調べる。
|