Rchr
J-GLOBAL ID：201901000859422565
Update date: Feb. 01, 2024
Kawai Tatsuji
Kawai Tatsuji
Affiliation and department：
Research field (1)：
Basic mathematics
Research theme for competitive and other funds (3)：
- 2021 - 2026 Constructive reverse mathematics and computational content of mathematical theorems
- 2020 - 2023 Notion of space based on distributive lattices and its computational content
- 2013 - 2015 構成的数学における位相空間論に関する研究
Papers (17)：
-
Marlou M Gijzen, Hajime Ishihara, Tatsuji Kawai. Reflexive combinatory algebras. Journal of Logic and Computation. 2022. 33. 5. 937-960
-
Makoto Fujiwara, Tatsuji Kawai. Decidable fan theorem and uniform continuity theorem with continuous moduli. Mathematical Logic Quarterly. 2021. 67. 1. 116-130
-
Makoto Fujiwara, Tatsuji Kawai. Characterising Brouwer’s continuity by bar recursion on moduli of continuity. Archive for Mathematical Logic. 2020
-
Makoto Fujiwara, Tatsuji Kawai. A Logical Characterization of the Continuous Bar Induction. Knowledge, Proof and Dynamics. 2020. 25-33
-
Tatsuji Kawai. Presenting de Groot duality of stably compact spaces. Theor. Comput. Sci. 2020. 823. 44-68
ｍore...
Professional career (1)：
- B.S. from Kyoto University (2006), M.S. from Japan Advanced Institute of Science and Technology (2012), Ph.D from Japan Advanced Institute of Science and Technology (2015)
Work history (4)：
- 2023/03 - 現在 Kochi University Faculty of Science and Technology Department of Information Science
- 2018/04 - 2023/02 Japan Advanced Institute of Science and Technology Assistant professor
- 2016/10 - 2018/03 INdAM-COFUND 2012 fellow: University of Padova (2016)
- Researcher at Network Applied Communication Laboratory Ltd. (2006), JSPS Research Fellow at Japan Advanced Institute of Science and Technology (DC2) (2013), Researcher at Japan Advanced Institute of Science and Technology (2015)
Return to Previous Page
