2010 Fiscal Year Annual Research Report
ランダム性と学習の理論による実効的閉次数構造の解明
| Project/Area Number |
10J03737
|
|---|
| Research Institution | Tohoku University |
|---|
Principal Investigator |
木原 貴行 東北大学, 大学院・理学研究科, 特別研究員(DC2)
|
|---|
| Keywords | 計算可能性理論 / 計算可能性解析学 / 計算論的学習理論 / 極限再帰性 / 数理論理学 / 連続体論 |
|---|
| Research Abstract |
当研究では,実効的閉集合の計算可能性構造を分析する.計算可能性解析学におけるle RouxとZieglerの問題は,ユークリッド平面において,計算可能な点を含まない単連結な非空実効的閉部分集合が存在するかを尋ねるものである.当研究では,まず,このle RouxとZieglerの問題を解決した.また,計算可能な点を含まない可縮な非空実効的閉集合の存在は,より高次元のユークリッド空間においてさえ知られていなかったが,ユークリッド平面においてそのような集合が存在することを示した.加えて,どのような位相構造が実効的閉集合の計算可能性構造を決定するかを分析するために,可縮かつ局所可縮な実効的閉集合で,計算可能な方法では内部から近似することが出来ないものが存在することを示した.さらに,不連続関数の計算可能性構造を分析するために,直観主義論理および極限計算可能数学における選言を利用し,ベール空間の冪集合上の二項演算として,選言作用素の概念を導入した.この選言作用素をカントール空間の実効的閉部分集合たちに作用させることにより,学習可能性および並列計算に基づく不連続関数の階層を分離することが可能であることを示した.加えて,ベール空間における極限学習の力学的モデルを導入し,この手法が学習の階層を分離する極めて強力な手法であることを発見した.この手法を実効的閉集合に適用することで,0でない任意の実効的閉Medvedev次数がanti-cupping性を持つことを示した.
|
Research Products
(7 results)
