Kochi University · Graduate School of Integrated Human and Natural Sciences · 講師

Research keywordscontinuous bar induction・fan theorem・point-free topology・stably compact spaces・uniform spaces・constructive continuity・localic completion・concrete spaces

This is a public-data preview. Personalized fit, contact angles, and saved workflows require sign-in.

• 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トポロジーに基づく位相幾何学の構成的展開
• 分配束に基づく位相空間論の創出とそのアルゴリズム的側面の解明
• 構成的逆数学の新たな展開と数学定理の計算論的意味の解明

• Official profile