研究者を探す
河井 達治
高知大学
2024年11月22日更新
- 職名
- 講師
- 電話
- 088-844-8335
- 電子メール
- tatsuji.kawai[at]kochi-u.ac.jp
- 学歴
- 研究者総覧に該当データはありませんでした。
- 学位
- 博士（情報科学） (2015年3月 北陸先端科学技術大学院大学)
- 職歴・経歴
- 2023年3月 - 高知大学 理工学部 情報科学科 講師
2018年4月 - 2022年2月 北陸先端科学技術大学院大学 先端科学技術研究科 助教
2016年10月 - 2018年3月 パドヴァ大学研究員(2016)
- 専門分野・研究分野
- 数学基礎
2024年11月22日更新
- 専門分野・研究分野
- 数学基礎
- 担当経験のある授業科目
- 研究者総覧に該当データはありませんでした。
- 指導経験
- 研究者総覧に該当データはありませんでした。
2024年11月22日更新
- 専門分野・研究分野
- 数学基礎
- 研究テーマ
- Ｐoint-freeトポロジーによる位相空間論の構成内容の解明
- 著書
- 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月 査読有り 研究論文（学術雑誌） 共著者（筆頭） - MISC
- 研究者総覧に該当データはありませんでした。
- 総説・解説
- 研究者総覧に該当データはありませんでした。
- 講演・発表
- 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
- 研究会・報告書
- 研究者総覧に該当データはありませんでした。
- 特許
- 研究者総覧に該当データはありませんでした。
- 作品
- 研究者総覧に該当データはありませんでした。
- 補助金・競争的資金
- 研究者総覧に該当データはありませんでした。
- その他
- 研究者総覧に該当データはありませんでした。
2024年11月22日更新
- 専門分野・研究分野
- 数学基礎
- 所属学会・所属協会
- 2019年 - ACM
2018年 - AMS - 委員歴・役員歴
- 研究者総覧に該当データはありませんでした。
- 受賞
- 研究者総覧に該当データはありませんでした。
- 活動
- 研究者総覧に該当データはありませんでした。
2024年11月17日更新
2024年11月16日更新
Ｊグローバル
- Jグローバル最終確認日
- 2024/11/16 01:02
- 氏名（漢字）
- 河井 達治
- 氏名（フリガナ）
- JグローバルAPIで取得できませんでした。
- 氏名（英字）
- Kawai Tatsuji
- 所属機関
- 高知大学 講師
リサーチマップ
- researchmap最終確認日
- 2024/11/17 01:09
- 氏名（漢字）
- 河井 達治
- 氏名（フリガナ）
- リサーチマップAPIで取得できませんでした。
- 氏名（英字）
- Kawai Tatsuji
- プロフィール
- リサーチマップAPIで取得できませんでした。
- 登録日時
- 2019/7/5 09:56
- 更新日時
- 2024/2/1 16:52
- アバター画像URI
- リサーチマップAPIで取得できませんでした。
- ハンドル
- リサーチマップAPIで取得できませんでした。
- eメール
- リサーチマップAPIで取得できませんでした。
- eメール（その他）
- リサーチマップAPIで取得できませんでした。
- 携帯メール
- リサーチマップAPIで取得できませんでした。
- 性別
- リサーチマップAPIで取得できませんでした。
- 没年月日
- リサーチマップAPIで取得できませんでした。
- 所属ID
- 0520004011
- 所属
- 高知大学
- 部署
- 理工学部 情報科学科
- 職名
- 講師
- 学位
- 京都大学学士(理学)(2006), 北陸先端科学技術大学院大学修士（情報科学）(2012), 北陸先端科学技術大学院大学博士（情報科学）(2015)
- 学位授与機関
- リサーチマップAPIで取得できませんでした。
- URL
- リサーチマップAPIで取得できませんでした。
- 科研費研究者番号
- リサーチマップAPIで取得できませんでした。
- Google Analytics ID
- リサーチマップAPIで取得できませんでした。
- ORCID ID
- リサーチマップAPIで取得できませんでした。
- その他の所属ID
- リサーチマップAPIで取得できませんでした。
- その他の所属名
- リサーチマップAPIで取得できませんでした。
- その他の所属 部署
- リサーチマップAPIで取得できませんでした。
- その他の所属 職名
- リサーチマップAPIで取得できませんでした。
- 最近のエントリー
- リサーチマップAPIで取得できませんでした。
- Read会員ID
- リサーチマップAPIで取得できませんでした。
- 経歴
- リサーチマップAPIで取得できませんでした。
- 受賞
- リサーチマップAPIで取得できませんでした。
- Misc
- リサーチマップAPIで取得できませんでした。
- 論文
- 講演・口頭発表等
- リサーチマップAPIで取得できませんでした。
- 書籍等出版物
- リサーチマップAPIで取得できませんでした。
- 研究キーワード
- リサーチマップAPIで取得できませんでした。
- 研究分野
- 所属学協会
- リサーチマップAPIで取得できませんでした。
- 担当経験のある科目
- その他
- リサーチマップAPIで取得できませんでした。
- Works
- リサーチマップAPIで取得できませんでした。
- 特許
- リサーチマップAPIで取得できませんでした。
- 学歴
- リサーチマップAPIで取得できませんでした。
- 委員歴
- リサーチマップAPIで取得できませんでした。
- 社会貢献活動
- リサーチマップAPIで取得できませんでした。
2024年11月16日更新
- 研究者番号
- 00824343
- 所属（現在）
- 2024/4/1 : 高知大学, 教育研究部自然科学系理工学部門, 講師
- 所属（過去の研究課題
情報に基づく）*注記 - 2022/4/1 – 2023/4/1 : 高知大学, 教育研究部自然科学系理工学部門, 講師
2020/4/1 – 2021/4/1 : 北陸先端科学技術大学院大学, 先端科学技術研究科, 助教
- 審査区分/研究分野
-
研究代表者
小区分12030:数学基礎関連
研究代表者以外
中区分12:解析学、応用数学およびその関連分野
- キーワード
-
研究代表者
構成的数学 / 位相空間論 / point-freeトポロジー / コンパクト空間 / プログラム抽出 / 不動点定理 / 実現可能解釈 / 測度論 / pointfreeトポロジー / 分配束 / point-free位相 / 位相幾何学
研究代表者以外
構成的逆数学 / 直観主義算術 / 論理公理の階層 / 超算術的公理 / 構成的数学 / 逆数学 / プログラム抽出・合成
研究課題
研究成果
共同研究者
注目研究はありません。