研究者
J-GLOBAL ID：201901000859422565   更新日: 2024年02月01日

河井 達治

Kawai Tatsuji
所属機関・部署：
高知大学 理工学部 情報科学科

高知大学 理工学部 情報科学科 について


職名： 講師
研究分野 (1件)： 数学基礎
競争的資金等の研究課題 (3件)：
  • 2021 - 2026 構成的逆数学の新たな展開と数学定理の計算論的意味の解明
  • 2020 - 2023 分配束に基づく位相空間論の創出とそのアルゴリズム的側面の解明
  • 2013 - 2015 構成的数学における位相空間論に関する研究
論文 (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
もっと見る
学位 (1件)：
  • 京都大学学士(理学)(2006), 北陸先端科学技術大学院大学修士(情報科学)(2012), 北陸先端科学技術大学院大学博士(情報科学)(2015)
経歴 (4件)：
  • 2023/03 - 現在 高知大学 理工学部 情報科学科 講師
  • 2018/04 - 2023/02 北陸先端科学技術大学院大学 助教
  • 2016/10 - 2018/03 パドヴァ大学研究員(2016)
  • 株式会社ネットワーク応用通信研究所研究員(2006), 日本学術振興会特別研究員(DC2)(北陸先端科学技術大学院大学)(2013), 北陸先端科学技術大学院大学研究員(2015)
※　J-GLOBALの研究者情報は、researchmapの登録情報に基づき表示しています。 登録・更新については、こちらをご覧ください。

前のページに戻る

TOP

BOTTOM