プロフィール
    カワイ　タツジ
    河井　達治
    KAWAI Tatsuji
    ピックアップ機能とは：
　ピックアップ指定した研究者をリスト表示できる機能です。
　ピックアップ対象として指定するためには、
　　・検索結果の「ピックアップ」チェックをオンにする
　　・研究者詳細の「ピックアップに追加」をオンにする
　のいずれかの操作を行ってください。
    所属部局 
    自然科学系
理工学部門
    所属学部・学科・コース等 
    理工学部
総合人間自然科学研究科（博士課程） 応用自然科学専攻
総合人間自然科学研究科（修士課程） 理工学専攻
    職名 講師
    連絡先
    E-Mail tatsuji.kawai[at]kochi-u.ac.jp
    住所 780-8520 高知県高知市曙町2丁目5-1 高知大学理工学部情報科学科
    TEL 088-844-8335
    研究キーワード
    数理論理学，構成的数学，point-freeトポロジー
    主な研究テーマ・活動 
    Ｐoint-freeトポロジーによる位相空間論の構成内容の解明
    研究分野
    情報通信/情報学基礎論/数理論理学
    基本事項
    学位
    博士（情報科学） (2015年3月 北陸先端科学技術大学院大学)
    職歴
    2023年3月 - 高知大学 理工学部 情報科学科 講師
    2018年4月 - 2022年2月 北陸先端科学技術大学院大学 先端科学技術研究科 助教
    2016年10月 - 2018年3月 パドヴァ大学研究員(2016)
    所属学会
    2019年 - ACM
    2018年 - AMS
    研究活動
    著書
    Handbook of Constructive Mathematics
     Douglas Bridges, Hajime Ishihara, Michael Rathjen, Helmut Schwichtenberg 編
    Cambridge University Press 2023年5月 査読有り
    論文
    Coding of real-valued continuous functions under WKL
     Tatsuji Kawai
    Mathematical Logic Quarterly 69 (3) 370-391 2023年7月 査読有り 研究論文（学術雑誌） 単著者
    Reflexive combinatory algebras
     MARLOU M. GIJZEN, HAJIME ISHIHARA, TATSUJI KAWAI
    Journal of Logic and Computation 33 (5) 937-960 2023年7月 査読有り 研究論文（学術雑誌） 共著者（筆頭）
    Reflexive combinatory algebras
     Marlou M Gijzen;Hajime Ishihara;Tatsuji Kawai
    Journal of Logic and Computation 2022年7月 査読有り 研究論文（学術雑誌） 共著者（筆頭）
    学会発表
    Predicative presentations of stably locally compact locales
     Tatsuji Kawia
    2023.9.25 - 2023.9.29
    WKL implies UCT
     Tatsuji Kawia
    2023.6.26 - 2023.6.30
    Predicative theory of stably locally compact locales
     Tatsuji Kawai
    2023.1.18 - 2023.1.18
    Spread representation of real numbers
     Tatsuji Kawai
    2022.9.19 - 2022.9.23
    Real numbers from point-free perspective
     河井達治
    2022.9.14 - 2022.9.16