高知大学 · 総合人間自然科学研究科 · 講師

研究关键词continuous bar induction・fan theorem・point-free topology・stably compact spaces・uniform spaces・constructive continuity・localic completion・concrete spaces

以下为公开数据预览。个性化匹配理由、联系角度和保存能力需要登录后使用。

• LOCALIC COMPLETION OF UNIFORM SPACES
• Reflexive combinatory algebras
• Presenting de Groot duality of stably compact spaces.
• Equivalence of bar induction and bar recursion for continuous functions with continuous moduli.

• 構成的数学における位相空間論に関する研究
• Point-freeトポロジーに基づく位相幾何学の構成的展開
• 分配束に基づく位相空間論の創出とそのアルゴリズム的側面の解明
• 構成的逆数学の新たな展開と数学定理の計算論的意味の解明

• 官方个人主页