研究課題
基盤研究(C)
構成的数学における計算可能性と計算の複雑さに関する研究を、平成15年度から平成18年度まで、4年間にわたり行った。その間いくつかの重要な成果・知見を得ることができた。そのうちもっとも重要な知見は、構成的数学における計算可能性と計算の複雑さの研究は、構成的逆数学という構成的数学と逆数学を融合した大きな枠組の中で、より良く捉えられるということである。さらに、構成的集合論、構成的数学における位相の捉え方など、構成的数学それ自身の進展により、それらにおける計算可能性や計算の複雑さ、あるいは逆数学の問題が浮かび上がってきた。本研究では、構成的数学の枠組を提案するとともに、Bouwer's fan theoremおよびweak Koenig lemmaに関して、Josef Berger博士の協力を得て研究を行い、またそれらの定理における計算可能性に関する研究を行った。構成的集合論における逆数学の問題に関しては、Peter Aczel教授、Laura Crosilla博士、Erik Palmgren教授、Peter Schuster准教授の協力を得て、研究を行った。構成的数学における位相に関しては、商位相の構成に関する研究をErik Palmgren教授と行い、近傍空間と分離空問に関する研究をRay Mines名誉教授、Peter Schuster准教授、Luminita Vita博士の協力を得て行い、さらに近傍空間と分離空間における分離公理に関する研究をRobin Havea博士、Luminita Vita博士の協力を得て行った。また、構成的実数論および中間値の定理における計算の複雑さの研究、およびBaireの定理の応用としてF-空間におけるBanachの逆写像定理の研究を行った。今後の研究課題は、構成的逆数学の研究を、計算可能性と計算の複雑さに焦点をあてながら、構成的集合論や位相の捉え方など構成的数学の進展に沿って、より広範囲に進めることである。
すべて 2007 2006 2005 2004 その他
すべて 雑誌論文 (46件)
ACM Transactions on Multimedia Computing, Communications and Applications (ACM TOMCCAP) Vol.3, No.2
Proc. International Conference on Advances in Computer Entertainment Technology 2007
ページ: 13-15
Proc. Interaction 2007, IPSJ Vol.2007, No.4
ページ: 71-72
Ann. Pure Appl. Logic 141
ページ: 257-265
ページ: 296-306
Notre Dame J. Formal Logic 47
ページ: 249-252
Philosophia Scientiae, Cahier special 6
ページ: 43-59
Studia Logica 84
ページ: 361-368
New Zealand J. Math. 35
ページ: 183-188
Ann. PureAppl. Logic 141
Journal of Information Processing Society Japan Vol. 47, No. 5
ページ: 1546-1557
Proc. Interaction 2006, IPSJ Vol.2006, No.4
ページ: 69-70
Proc. SIG-LSE-A503, JSAI
ページ: 135-142
IPSJ SIG Technical Report 2006-EC-3 Vol.2006, No.24
ページ: 57-64
IPSJ SIG Technical Report, 2006-HI-119 Vol.2006, No.72
ページ: 71-78
IPSJ SIG Technical Report, 2006-EC-5 Vol. 2006, No. 134
ページ: 43-48
Oxford Logic Guides 48
ページ: 245-267
MLQ Math. Logic Q. 51
ページ: 360-364
J. Symbolic Logic 70
ページ: 969-978
In : L.Crosilla and P. Schuster eds., From Sets and Types to Analysis and Topology, Oxford Univ. Press
MLQ Math. Log. Q. 51
120001746752
Journal of Information Processing Society Japan Vol.46, No.1
ページ: 157-171
Journal of Japan Creativity Society Vol.8
ページ: 21-35
Journal of Japan Society for Fuzzy Theory and Intelligent Informatics Vol.17, No.2
ページ: 28-38
Transactions of Virtual Reality Society Japan Vol. 10, No. 1
ページ: 11-20
Journal of Human Interface Society Vol. 7, No. 2
ページ: 37-42
Proc. of Int'l Conf. on Sound and Music Computing '05 (SMC05), CD-ROM
From Sets and Types to Analysis and Topology (Oxford Univ.Press)
MLQ Math.Log.Q. 51
Proceedings of the ACM Multimedia 2004 International Conference
ページ: 556-563
Proceedings of the International Symposium on "INTERACTION : Systems, Practice and Theory"
ページ: 193-208
Synthese Library (印刷中)
Lect. Notes Comput. Sci. (印刷中)
120001063235
In : S. Lindestroem, E. Palmgren, K. Segerberg and V. Stoltenerg-Hansen eds., Logicism, Intuitionism, and Formalism-What has become of them?, Synthese Library, to appear
S.B. Cooper, B. Loewe and A. Sorbi eds., Computation and Logic in the Real World, Lect. Notes Comput. Sci., to appear
