Kawai Tatsuji 河井達治

… Alternative Names

河井達治カワイタツジ

Less

Researcher Number	00824343
Other IDs
Affiliation (Current)	2025: 高知大学, 教育研究部自然科学系理工学部門, 講師
Affiliation (based on the past Project Information) *help	2022 – 2023: 高知大学, 教育研究部自然科学系理工学部門, 講師 2020 – 2021: 北陸先端科学技術大学院大学, 先端科学技術研究科, 助教
Review Section/Research Field	Principal Investigator Basic Section 12030:Basic mathematics-related Except Principal Investigator Medium-sized Section 12:Analysis, applied mathematics, and related fields
Keywords	Principal Investigator プログラム抽出 / point-freeトポロジー / 構成的数学 / point-freeポロジー / 位相幾何学 / point-free位相 / 分配束 / pointfreeトポロジー / 測度論 / 実現可能解釈 … More / 一点コンパクト化 / 不動点定理 / コンパクト空間 / 位相空間論 … More Except Principal Investigator プログラム抽出・合成 / 構成的数学 / 超算術的公理 / 論理公理の階層 / 直観主義算術 / 構成的逆数学 / 算術的超限再帰 / 論理的公理の階層 / 構成的位相数学 / 構成的算術 / 構成的集合論 / 証明論 / 逆数学 Less

Geometric topology in constructive point-free topologyPrincipal Investigator
- Principal Investigator
  
  河井達治
- Project Period (FY)
  2023 – 2026
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Review Section
  
  Basic Section 12030:Basic mathematics-related
- Research Institution
  Kochi University
Constructive reverse mathematics and computational content of mathematical theorems
- Principal Investigator
  
  石原哉
- Project Period (FY)
  2021 – 2025
- Research Category
  
  Fund for the Promotion of Joint International Research (Fostering Joint International Research (B))
- Review Section
  
  Medium-sized Section 12:Analysis, applied mathematics, and related fields
- Research Institution
  Toho University
  Japan Advanced Institute of Science and Technology
Notion of space based on distributive lattices and its computational contentPrincipal Investigator
- Principal Investigator
  
  河井達治
- Project Period (FY)
  2020 – 2024
- Research Category
  
  Grant-in-Aid for Early-Career Scientists
- Review Section
  
  Basic Section 12030:Basic mathematics-related
- Research Institution
  Kochi University
  Japan Advanced Institute of Science and Technology

All 2023 2022 2021

All Journal Article Presentation Book

[Book] Handbook of Constructive Mathematics (15章 Bishop Metric Spaces in Formal Topolog，分筆)2023
- Author(s)
  Tatsuji Kawai (Editor, Bridges D, Ishihara H, Rathjen M, Schwichtenberg H)
- Total Pages
  842
- Publisher
  Cambridge University Press
- ISBN
  9781009039888
- Data Source
  KAKENHI-PROJECT-20K14352
[Journal Article] Coding of real‐valued continuous functions under WKL2023
- Author(s)
  Kawai Tatsuji
- Journal Title
  
  Mathematical Logic Quarterly
  
  Volume: 69 Issue: 3 Pages: 370-391
- DOI
  10.1002/malq.202200031
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-21KK0045
[Journal Article] Bishop Metric Spaces in Formal Topology2023
- Author(s)
  Kawai Tatsuji
- Journal Title
  
  Handbook of Constructive Mathematics
  
  Volume: - Pages: 395-425
- DOI
  10.1017/9781009039888.016
- ISBN
  9781009039888, 9781316510865
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-21KK0045
[Journal Article] Reflexive combinatory algebras2022
- Author(s)
  Gijzen Marlou M、Ishihara Hajime、Kawai Tatsuji
- Journal Title
  
  Journal of Logic and Computation
  
  Volume: - Issue: 5 Pages: 937-960
- DOI
  10.1093/logcom/exac049
- Peer Reviewed / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-20K14352
[Journal Article] Factorizing the Top-Loc adjunction through positive topologies2021
- Author(s)
  Francesco Ciraulo, Tatsuji Kawai, and Samuele Maschio
- Journal Title
  
  Archive for Mathematical Logic
  
  Volume: 60 Issue: 7-8 Pages: 967-979
- DOI
  10.1007/s00153-021-00768-5
- Peer Reviewed / Open Access / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-20K14352
[Journal Article] From intuitionistic mathematics to point-free topology2021
- Author(s)
  Tatsuji Kawai
- Journal Title
  
  Proof and Computation II: From Proof Theory and Univalent Mathematics to Program Extraction and Verification
  
  Volume: - Pages: 55-98
- DOI
  10.1142/9789811236488_0003
- ISBN
  9789811236471, 9789811236488
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20K14352
[Journal Article] Decidable fan theorem and uniform continuity theorem with continuous moduli2021
- Author(s)
  Makoto Fujiwara and Tatsuji Kawai
- Journal Title
  
  Mathematical Logic Quarterly
  
  Volume: -
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20K14352
[Journal Article] Predicative theories of continuous lattices2021
- Author(s)
  Tatsuji Kawai
- Journal Title
  
  Logical Methods in Computer Science
  
  Volume: 17 Pages: 1-38
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-20K14352
[Presentation] WLK implies CTM2023
- Author(s)
  Tatsuji Kawai
- Organizer
  Constructive Mathematics: Foundations and Practice, CM:FP
- Invited / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-20K14352
[Presentation] WLK implies CTM2023
- Author(s)
  Tatsuji Kawai
- Organizer
  Constructive Mathematics: Foundations and Practice
- Invited / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-21KK0045
[Presentation] Predicative presentations of stably locally compact locales2023
- Author(s)
  Tatsuji Kawai
- Organizer
  CCC 2023 Continuity, Computability, Constructivity From Logic to Algorithms
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-23K03197
[Presentation] Predicative presentations of stably locally compact locales2023
- Author(s)
  Tatsuji Kawai
- Organizer
  CCC 2023 Continuity, Computability, Constructivity From Logic to Algorithms
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-20K14352
[Presentation] Predicative presentations of stably locally compact locales2023
- Author(s)
  Tatsuji Kawai
- Organizer
  Continuity, Computability, Constructivity 2023
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-21KK0045
[Presentation] Predcative theory of stably locally compact locales2023
- Author(s)
  Tatsuji Kawai
- Organizer
  AVM 2023, Arbeitstagung Verona-Munchen
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-20K14352
[Presentation] Real numbers from a point-free perspective2022
- Author(s)
  河井達治
- Organizer
  日本数学会2022年度秋季総合分科会
- Invited
- Data Source
  KAKENHI-PROJECT-20K14352
[Presentation] Real numbers from a point-free perspective2022
- Author(s)
  河井達治
- Organizer
  日本数学会数学基礎論および歴史分科会特別講演
- Invited
- Data Source
  KAKENHI-PROJECT-21KK0045
[Presentation] Spread representation of point-free real numbers2022
- Author(s)
  Tatsumi Kawai
- Organizer
  Continuity, Computability, Constructivity 2022
- Invited / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-21KK0045
[Presentation] Spread representation of point-free real numbers2022
- Author(s)
  Tatsuji Kawai
- Organizer
  CCC2022: Continuity, Computability, Constructivity. From Logic to Algorithms
- Invited / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-20K14352

1. 石原哉 (10211046)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
2. 横山啓太 (10534430)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
3. 根元多佳子 (20546155)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
4. 藤原誠 (20779095)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results

Kawai Tatsuji 河井 達治

河井 達治 カワイ タツジ

Research Projects

Research Products

Co-Researchers

Geometric topology in constructive point-free topologyPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Constructive reverse mathematics and computational content of mathematical theorems

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Notion of space based on distributive lattices and its computational contentPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

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

Author(s)

Total Pages

Publisher

ISBN

Data Source

[Journal Article] Coding of real‐valued continuous functions under WKL2023

Author(s)

Journal Title

DOI

Data Source

[Journal Article] Bishop Metric Spaces in Formal Topology2023

Author(s)

Journal Title

DOI

ISBN

Data Source

[Journal Article] Reflexive combinatory algebras2022

Author(s)

Journal Title

DOI

Data Source

[Journal Article] Factorizing the Top-Loc adjunction through positive topologies2021

Author(s)

Journal Title

DOI

Data Source

[Journal Article] From intuitionistic mathematics to point-free topology2021

Author(s)

Journal Title

DOI

ISBN

Data Source

[Journal Article] Decidable fan theorem and uniform continuity theorem with continuous moduli2021

Author(s)

Journal Title

Data Source

[Journal Article] Predicative theories of continuous lattices2021

Author(s)

Journal Title

Data Source

[Presentation] WLK implies CTM2023

Author(s)

Organizer

Data Source

[Presentation] WLK implies CTM2023

Author(s)

Organizer

Data Source

[Presentation] Predicative presentations of stably locally compact locales2023

Author(s)

Organizer

Data Source

[Presentation] Predicative presentations of stably locally compact locales2023

Author(s)

Organizer

Data Source

Kawai Tatsuji 河井達治

河井達治カワイタツジ

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