河井達治 Kawai Tatsuji

研究者番号	00824343
その他のID
所属 (現在)	2025年度: 高知大学, 教育研究部自然科学系理工学部門, 講師
所属 (過去の研究課題情報に基づく) *注記	2022年度 – 2023年度: 高知大学, 教育研究部自然科学系理工学部門, 講師 2020年度 – 2021年度: 北陸先端科学技術大学院大学, 先端科学技術研究科, 助教
審査区分/研究分野	研究代表者小区分12030:数学基礎関連研究代表者以外中区分12:解析学、応用数学およびその関連分野
キーワード	研究代表者プログラム抽出 / point-freeトポロジー / 構成的数学 / point-freeポロジー / 位相幾何学 / point-free位相 / 分配束 / pointfreeトポロジー / 測度論 / 実現可能解釈 … もっと見る / 一点コンパクト化 / 不動点定理 / コンパクト空間 / 位相空間論 … もっと見る研究代表者以外プログラム抽出・合成 / 構成的数学 / 超算術的公理 / 論理公理の階層 / 直観主義算術 / 構成的逆数学 / 算術的超限再帰 / 論理的公理の階層 / 構成的位相数学 / 構成的算術 / 構成的集合論 / 証明論 / 逆数学隠す

Point-freeトポロジーに基づく位相幾何学の構成的展開研究代表者
- 研究代表者
  
  河井達治
- 研究期間 (年度)
  2023 – 2026
- 研究種目
  
  基盤研究(C)
- 審査区分
  
  小区分12030:数学基礎関連
- 研究機関
  高知大学
構成的逆数学の新たな展開と数学定理の計算論的意味の解明
- 研究代表者
  
  石原哉
- 研究期間 (年度)
  2021 – 2025
- 研究種目
  
  国際共同研究加速基金(国際共同研究強化(B))
- 審査区分
  
  中区分12:解析学、応用数学およびその関連分野
- 研究機関
  東邦大学
   北陸先端科学技術大学院大学
分配束に基づく位相空間論の創出とそのアルゴリズム的側面の解明研究代表者
- 研究代表者
  
  河井達治
- 研究期間 (年度)
  2020 – 2024
- 研究種目
  
  若手研究
- 審査区分
  
  小区分12030:数学基礎関連
- 研究機関
  高知大学
   北陸先端科学技術大学院大学

すべて 2023 2022 2021

すべて雑誌論文学会発表図書

[図書] Handbook of Constructive Mathematics (15章 Bishop Metric Spaces in Formal Topolog，分筆)2023
- 著者名/発表者名
  Tatsuji Kawai (Editor, Bridges D, Ishihara H, Rathjen M, Schwichtenberg H)
- 総ページ数
  842
- 出版者
  Cambridge University Press
- ISBN
  9781009039888
- データソース
  KAKENHI-PROJECT-20K14352
[雑誌論文] Coding of real‐valued continuous functions under WKL2023
- 著者名/発表者名
  Kawai Tatsuji
- 雑誌名
  
  Mathematical Logic Quarterly
  
  巻: 69 号: 3 ページ: 370-391
- DOI
  10.1002/malq.202200031
- 査読あり
- データソース
  KAKENHI-PROJECT-21KK0045
[雑誌論文] Bishop Metric Spaces in Formal Topology2023
- 著者名/発表者名
  Kawai Tatsuji
- 雑誌名
  
  Handbook of Constructive Mathematics
  
  巻: - ページ: 395-425
- DOI
  10.1017/9781009039888.016
- ISBN
  9781009039888, 9781316510865
- 査読あり
- データソース
  KAKENHI-PROJECT-21KK0045
[雑誌論文] Reflexive combinatory algebras2022
- 著者名/発表者名
  Gijzen Marlou M、Ishihara Hajime、Kawai Tatsuji
- 雑誌名
  
  Journal of Logic and Computation
  
  巻: - 号: 5 ページ: 937-960
- DOI
  10.1093/logcom/exac049
- 査読あり / 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-20K14352
[雑誌論文] Factorizing the Top-Loc adjunction through positive topologies2021
- 著者名/発表者名
  Francesco Ciraulo, Tatsuji Kawai, and Samuele Maschio
- 雑誌名
  
  Archive for Mathematical Logic
  
  巻: 60 号: 7-8 ページ: 967-979
- DOI
  10.1007/s00153-021-00768-5
- 査読あり / オープンアクセス / 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-20K14352
[雑誌論文] From intuitionistic mathematics to point-free topology2021
- 著者名/発表者名
  Tatsuji Kawai
- 雑誌名
  
  Proof and Computation II: From Proof Theory and Univalent Mathematics to Program Extraction and Verification
  
  巻: - ページ: 55-98
- DOI
  10.1142/9789811236488_0003
- ISBN
  9789811236471, 9789811236488
- 査読あり
- データソース
  KAKENHI-PROJECT-20K14352
[雑誌論文] Decidable fan theorem and uniform continuity theorem with continuous moduli2021
- 著者名/発表者名
  Makoto Fujiwara and Tatsuji Kawai
- 雑誌名
  
  Mathematical Logic Quarterly
  
  巻: -
- 査読あり
- データソース
  KAKENHI-PROJECT-20K14352
[雑誌論文] Predicative theories of continuous lattices2021
- 著者名/発表者名
  Tatsuji Kawai
- 雑誌名
  
  Logical Methods in Computer Science
  
  巻: 17 ページ: 1-38
- 査読あり / オープンアクセス
- データソース
  KAKENHI-PROJECT-20K14352
[学会発表] WLK implies CTM2023
- 著者名/発表者名
  Tatsuji Kawai
- 学会等名
  Constructive Mathematics: Foundations and Practice, CM:FP
- 招待講演 / 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-20K14352
[学会発表] WLK implies CTM2023
- 著者名/発表者名
  Tatsuji Kawai
- 学会等名
  Constructive Mathematics: Foundations and Practice
- 招待講演 / 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-21KK0045
[学会発表] Predicative presentations of stably locally compact locales2023
- 著者名/発表者名
  Tatsuji Kawai
- 学会等名
  CCC 2023 Continuity, Computability, Constructivity From Logic to Algorithms
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-23K03197
[学会発表] Predicative presentations of stably locally compact locales2023
- 著者名/発表者名
  Tatsuji Kawai
- 学会等名
  CCC 2023 Continuity, Computability, Constructivity From Logic to Algorithms
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-20K14352
[学会発表] Predicative presentations of stably locally compact locales2023
- 著者名/発表者名
  Tatsuji Kawai
- 学会等名
  Continuity, Computability, Constructivity 2023
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-21KK0045
[学会発表] Predcative theory of stably locally compact locales2023
- 著者名/発表者名
  Tatsuji Kawai
- 学会等名
  AVM 2023, Arbeitstagung Verona-Munchen
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-20K14352
[学会発表] Real numbers from a point-free perspective2022
- 著者名/発表者名
  河井達治
- 学会等名
  日本数学会2022年度秋季総合分科会
- 招待講演
- データソース
  KAKENHI-PROJECT-20K14352
[学会発表] Real numbers from a point-free perspective2022
- 著者名/発表者名
  河井達治
- 学会等名
  日本数学会数学基礎論および歴史分科会特別講演
- 招待講演
- データソース
  KAKENHI-PROJECT-21KK0045
[学会発表] Spread representation of point-free real numbers2022
- 著者名/発表者名
  Tatsumi Kawai
- 学会等名
  Continuity, Computability, Constructivity 2022
- 招待講演 / 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-21KK0045
[学会発表] Spread representation of point-free real numbers2022
- 著者名/発表者名
  Tatsuji Kawai
- 学会等名
  CCC2022: Continuity, Computability, Constructivity. From Logic to Algorithms
- 招待講演 / 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-20K14352

1. 石原哉 (10211046)

共同の研究課題数: 1件

共同の研究成果数: 0件
2. 横山啓太 (10534430)

共同の研究課題数: 1件

共同の研究成果数: 0件
3. 根元多佳子 (20546155)

共同の研究課題数: 1件

共同の研究成果数: 0件
4. 藤原誠 (20779095)

共同の研究課題数: 1件

共同の研究成果数: 0件

河井 達治 Kawai Tatsuji

研究課題

研究成果

共同研究者

Point-freeトポロジーに基づく位相幾何学の構成的展開研究代表者

研究代表者

研究期間 (年度)

研究種目

審査区分

研究機関

構成的逆数学の新たな展開と数学定理の計算論的意味の解明

研究代表者

研究期間 (年度)

研究種目

審査区分

研究機関

分配束に基づく位相空間論の創出とそのアルゴリズム的側面の解明研究代表者

研究代表者

研究期間 (年度)

研究種目

審査区分

研究機関

[図書] Handbook of Constructive Mathematics (15章 Bishop Metric Spaces in Formal Topolog， 分筆)2023

著者名/発表者名

総ページ数

出版者

ISBN

データソース

[雑誌論文] Coding of real‐valued continuous functions under WKL2023

著者名/発表者名

雑誌名

DOI

データソース

[雑誌論文] Bishop Metric Spaces in Formal Topology2023

著者名/発表者名

雑誌名

DOI

ISBN

データソース

[雑誌論文] Reflexive combinatory algebras2022

著者名/発表者名

雑誌名

DOI

データソース

[雑誌論文] Factorizing the Top-Loc adjunction through positive topologies2021

著者名/発表者名

雑誌名

DOI

データソース

[雑誌論文] From intuitionistic mathematics to point-free topology2021

著者名/発表者名

雑誌名

DOI

ISBN

データソース

[雑誌論文] Decidable fan theorem and uniform continuity theorem with continuous moduli2021

著者名/発表者名

雑誌名

データソース

[雑誌論文] Predicative theories of continuous lattices2021

著者名/発表者名

雑誌名

データソース

[学会発表] WLK implies CTM2023

著者名/発表者名

学会等名

データソース

[学会発表] WLK implies CTM2023

著者名/発表者名

学会等名

データソース

[学会発表] Predicative presentations of stably locally compact locales2023

著者名/発表者名

学会等名

データソース

[学会発表] Predicative presentations of stably locally compact locales2023

著者名/発表者名

学会等名

データソース

[学会発表] Predicative presentations of stably locally compact locales2023

河井達治 Kawai Tatsuji

[図書] Handbook of Constructive Mathematics (15章 Bishop Metric Spaces in Formal Topolog，分筆)2023