Ishihara Hajime 石原哉

… Alternative Names

石原哉イシハラハジメ

ISHIHARA Hajime 石原哉

ISHIHARA HAJIME 石原哉

Less

Researcher Number	10211046
Other IDs
External Links
Affiliation (Current)	2025: 東邦大学, 理学部, 訪問教授
Affiliation (based on the past Project Information) *help	2023: 東邦大学, 理学部, 訪問教授 2021 – 2022: 北陸先端科学技術大学院大学, 先端科学技術研究科, 教授 2016 – 2018: 北陸先端科学技術大学院大学, 先端科学技術研究科, 教授 2011 – 2013: 北陸先端科学技術大学院大学, 情報科学研究科, 教授 2007 – 2009: Japan Advanced Institute of Science and Technology, 情報科学研究科, 准教授 1996 – 2006: 北陸先端科学技術大学院大学, 情報科学研究科, 助教授 1997: 北陸先端科学技術大学院大学, 助教授
Review Section/Research Field	Principal Investigator Fundamental theory of informatics / Basic Section 12030:Basic mathematics-related / Medium-sized Section 12:Analysis, applied mathematics, and related fields / Foundations of mathematics/Applied mathematics / General mathematics (including Probability theory/Statistical mathematics) / General mathematics (including Probability theory/Statistical mathematics) Except Principal Investigator 計算機科学
Keywords	Principal Investigator 構成的数学 / 逆数学 / 数学基礎論 / 構成的集合論 / 数理論理学 / Banach空間 / バナッハ空間 / バナッハ空間論 / 積分論 / 完備化 … More / 一様空間 / プログラム抽出・合成 / 超算術的公理 / 論理公理の階層 / 直観主義算術 / 構成的逆数学 / 算術的超限再帰 / 論理的公理の階層 / 構成的位相数学 / 構成的算術 / 証明論 / 層モデル / Reverse Mathematics / Computational Complexity / Computability / Constructive Mathematics / ドイツ:アメリカ:ニュージー / 国際研究者交流 / 計算の複雑さ / 計算可能性 / realizability interpretation / subrecursive functions / constructive arithmetic / 算術体系 / 形式体系 / 多項式時間計算可能関数 / 実現可能性解釈 / 部分帰納的関数 / 構成的算術体系 / 集合論 … More Except Principal Investigator classical proof execution / mathematical logic / Inductive inference / 非構成的原理 / 非構成的論理 / 極限計算 / 学習理論 / 形式的技法 / 形式的証明 / 古典論理証明実行 / 数理論理学 / inductive inference / constructive mathematics / term rewriting systems / modal logic / substructural logic / 項書き換え系 / 時間論理 / 構成的数学 / 項書換え系 / 様相論理 / 部分構造論理 Less

Duality in Banach spaces and uniform spaces in constructive and predicative set theoryPrincipal Investigator
- Principal Investigator
  
  石原哉
- Project Period (FY)
  2022 – 2025
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Review Section
  
  Basic Section 12030:Basic mathematics-related
- Research Institution
  Toho University
  Japan Advanced Institute of Science and Technology
Constructive reverse mathematics and computational content of mathematical theoremsPrincipal Investigator
- 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
A study of sheaf models in constructive reverse mathematicsPrincipal Investigator
- Principal Investigator
  
  ISHIHARA Hajime
- Project Period (FY)
  2016 – 2018
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  Foundations of mathematics/Applied mathematics
- Research Institution
  Japan Advanced Institute of Science and Technology
Reverse Mathematics in Constructive Set TheoryPrincipal Investigator
- Principal Investigator
  
  ISHIHARA HAJIME
- Project Period (FY)
  2011 – 2013
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  General mathematics (including Probability theory/Statistical mathematics)
- Research Institution
  Japan Advanced Institute of Science and Technology
Reverse Mathematics in Constructive MathematicsPrincipal Investigator
- Principal Investigator
  
  ISHIHARA Hajime
- Project Period (FY)
  2007 – 2009
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  Fundamental theory of informatics
- Research Institution
  Japan Advanced Institute of Science and Technology
Computability and Complexity in Constructive MathematicsPrincipal Investigator
- Principal Investigator
  
  ISHIHARA Hajime
- Project Period (FY)
  2003 – 2006
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  Fundamental theory of informatics
- Research Institution
  Japan Advanced Institute of Science and Technology
Logic of Limit Computing and its Applications
- Principal Investigator
  
  HAYASHI Susumu
- Project Period (FY)
  2001 – 2003
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Research Field
  
  計算機科学
- Research Institution
  Kobe University
Subrecursive Realizability Interpretation for Intuitionistic ArithmeticPrincipal Investigator
- Principal Investigator
  
  ISHIHARA Hajime
- Project Period (FY)
  1997 – 2000
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  General mathematics (including Probability theory/Statistical mathematics)
- Research Institution
  Japan Advanced Institute of Science and Technology
Applications of Mathematical Logic in Theoretical Computer Science
- Principal Investigator
  
  ONO Hiroakira
- Project Period (FY)
  1996 – 1997
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  計算機科学
- Research Institution
  Japan Advanced Institute of Science and Technology, Hokuriku

[Book] 証明作法2023
- Author(s)
  石原哉
- Total Pages
  232
- Publisher
  共立出版
- ISBN
  9784320114890
- Data Source
  KAKENHI-PROJECT-22K03400
[Book] Handbook of Constructive Mathematics (Encyclopedia of Mathematics and its Applications)2023
- Author(s)
  Douglas Bridges, Hajime Ishihara, Michael Rathjen, Helmut Schwichtenberg eds.
- Total Pages
  800
- Publisher
  Cambridge University Press
- ISBN
  9781316510865
- Data Source
  KAKENHI-PROJECT-21KK0045
[Book] Handbook of Constructive Mathematics (Encyclopedia of Mathematics and its Applications)2023
- Author(s)
  Douglas Bridges, Hajime Ishihara, Michael Rathjen, Helmut Schwichtenberg eds.
- Total Pages
  800
- Publisher
  Cambridge University Press
- ISBN
  9781316510865
- Data Source
  KAKENHI-PROJECT-22K03400
[Book] 証明作法2023
- Author(s)
  石原哉
- Total Pages
  232
- Publisher
  共立出版
- ISBN
  9784320114890
- Data Source
  KAKENHI-PROJECT-21KK0045
[Journal Article] EXTENDED FRAMES AND SEPARATIONS OF LOGICAL PRINCIPLES2023
- Author(s)
  FUJIWARA MAKOTO、ISHIHARA HAJIME、NEMOTO TAKAKO、SUZUKI NOBU-YUKI、YOKOYAMA KEITA
- Journal Title
  
  The Bulletin of Symbolic Logic
  
  Volume: 29 Issue: 3 Pages: 311-353
- DOI
  10.1017/bsl.2023.29
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-21KK0045, KAKENHI-PROJECT-18K03392, KAKENHI-PROJECT-20K03716, KAKENHI-PROJECT-22K03400, KAKENHI-PROJECT-23K03205, KAKENHI-PROJECT-19K03601, KAKENHI-PROJECT-20K14354, KAKENHI-PROJECT-23K20588
[Journal Article] An Introduction to Constructive Reverse Mathematics2023
- Author(s)
  Ishihara Hajime
- Journal Title
  
  Handbook of Constructive Mathematics
  
  Volume: - Pages: 636-660
- DOI
  10.1017/9781009039888.024
- ISBN
  9781009039888, 9781316510865
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-21KK0045, KAKENHI-PROJECT-22K03400
[Journal Article] Varieties of the Weak Koenig Lemma and the Disjunctive Dependent Choice2023
- Author(s)
  Berger Josef、Ishihara Hajime、Nemoto Takako
- Journal Title
  
  Mathematics for Computation (M4C)
  
  Volume: - Pages: 143-164
- DOI
  10.1142/9789811245220_0006
- ISBN
  9789811245213, 9789811245220
- Peer Reviewed / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-21KK0045, KAKENHI-PROJECT-22K03400
[Journal Article] Constructive Functional Analysis2023
- Author(s)
  Ishihara Hajime
- Journal Title
  
  Handbook of Constructive Mathematics
  
  Volume: - Pages: 221-254
- DOI
  10.1017/9781009039888.010
- ISBN
  9781009039888, 9781316510865
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-21KK0045, KAKENHI-PROJECT-22K03400
[Journal Article] Elements of Constructive Analysis2023
- Author(s)
  Ishihara Hajime
- Journal Title
  
  Handbook of Constructive Mathematics
  
  Volume: - Pages: 201-220
- DOI
  10.1017/9781009039888.009
- ISBN
  9781009039888, 9781316510865
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-21KK0045, KAKENHI-PROJECT-22K03400
[Journal Article] The binary expansion and the intermediate value theorem in constructive reverse mathematics2019
- Author(s)
  Josef Berger, Hajime Ishihara, Takayuki Kihara and Takako Nemoto
- Journal Title
  
  Arch. Math. Logic
  
  Volume: 58 Pages: 203-217
- Peer Reviewed / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-16K05251
[Journal Article] Consistency of the intensional level of the minimalist foundation with Church's thesis and axiom of choice2018
- Author(s)
  Hajime Ishihara, Maria Emilia Maietti, Samuele Maschio and Thomas Streicher
- Journal Title
  
  Arch. Math. Logic
  
  Volume: 57 Pages: 873-888
- Peer Reviewed / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-16K05251
[Journal Article] On Brouwer's continuity principle2018
- Author(s)
  Hajime Ishihara
- Journal Title
  
  Indag. Math. (N.S.)
  
  Volume: 29 Pages: 1511-1524
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-16K05251
[Journal Article] Relating Bishop's function spaces to neighbourhood spaces2013
- Author(s)
  Hajime Ishihara
- Journal Title
  
  Ann. Pure Appl. Logic
  
  Volume: 164 Pages: 482-490
- NAID
  120005296336
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-23540130
[Journal Article] Uniformly convex Banach spaces are reflexive - constructively2013
- Author(s)
  Douglas Bridges, Hajime Ishihara and Maarten McKubre-Jordens
- Journal Title
  
  MLQ Math. Log. Q
  
  Volume: 59 Pages: 352-356
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-23540130
[Journal Article] Some conservative extension results on classical and intuitionistic sequent calculi2012
- Author(s)
  Hajime Ishihara
- Journal Title
  
  In: U. Berger, H. Diener, P. Schuster and M. Seisenberger eds., Logic, Construction, Computation, Ontos Verlag, Frankfurt
  
  Pages: 289-304
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-23540130
[Journal Article] Kronecker's density theorem and irrational numbers in constructive reverse mathematics2010
- Author(s)
  Hajime Ishihara, Peter Schuster
- Journal Title
  
  Math.Semesterber 57
  
  Pages: 57-72
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-19500012
[Journal Article] Kronecker's density theorem and irrational numbers in constructive reverse mathematics2010
- Author(s)
  Hajime Ishihara, Peter Schuster
- Journal Title
  
  57
  
  Pages: 57-72
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-19500012
[Journal Article] Two subcategories of apartness space2010
- Author(s)
  Hajime Ishihara
- Journal Title
  
  Ann. Pure Appl. Logic (in press)
- NAID
  120004247360
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-19500012
[Journal Article] Two subcategories of apartness spaces2010
- Author(s)
  Hajime Ishihara
- Journal Title
  
  Ann.Pure Appl.Logic (印刷中)
- NAID
  120004247360
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-19500012
[Journal Article] A continuity principle, a version of Baire's theorem and a boundedness principle2008
- Author(s)
  Hajime Ishihara, Peter Schuster
- Journal Title
  
  J. Symbolic Logic 73
  
  Pages: 1354-1360
- NAID
  120001746753
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-19500012
[Journal Article] A continuity principle, a version of Baire's theorem and a boundedness principle2008
- Author(s)
  Hajime Ishihara, Peter Schuster
- Journal Title
  
  Journal of Symbolic Logic 73
  
  Pages: 1354-1360
- NAID
  120001746753
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-19500012
[Journal Article] A constructive Banach's inverse mapping theorem in F-spaces2006
- Author(s)
  H.Ishihara, L.Vita
- Journal Title
  
  New Zealand J. Math. 35
  
  Pages: 183-188
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-15500005
[Journal Article] A constructive Banach's inverse mapping theorem in F-spaces2006
- Author(s)
  Hajime Ishihara
- Journal Title
  
  New Zealand J. Math. 35
  
  Pages: 183-188
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-15500005
[Journal Article] Quasi-apartness and neighbourhood spaces2006
- Author(s)
  H.Ishihara, R.Mines, P.Schuster, L.Vita
- Journal Title
  
  Ann. PureAppl. Logic 141
  
  Pages: 296-306
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-15500005
[Journal Article] Reverse mathematics in Bishop's constructive mathematics2006
- Author(s)
  H.Ishihara
- Journal Title
  
  Philosophia Scientiae, Cahier special 6
  
  Pages: 43-59
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-15500005
[Journal Article] Reverse mathematics in Bishop' s constructive mathematics2006
- Author(s)
  H.Ishihara
- Journal Title
  
  Philosophia Scientiae, Cahier special 6
  
  Pages: 43-59
- Data Source
  KAKENHI-PROJECT-15500005
[Journal Article] A constructive Banach' s inverse mapping theorem in F-spaces2006
- Author(s)
  H.Ishihara, L.Vita
- Journal Title
  
  New Zealand J. Math. 35
  
  Pages: 183-188
- Data Source
  KAKENHI-PROJECT-15500005
[Journal Article] Binary refinement implies discrete exponentiation2006
- Author(s)
  P.Aczel, L.Crosilla, H.Ishihara, E.Palmgren, P.Schuster
- Journal Title
  
  Studia Logica 84
  
  Pages: 361-368
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-15500005
[Journal Article] Quasi-apartness and neighbourhood spaces2006
- Author(s)
  H.Ishihara, R.Mines, P.Schuster, L.Vita
- Journal Title
  
  Ann. Pure Appl. Logic 141
  
  Pages: 296-306
- Data Source
  KAKENHI-PROJECT-15500005
[Journal Article] Quasi-apartness and neighbourhood spaces2006
- Author(s)
  Hajime Ishihara
- Journal Title
  
  Ann. Pure Appl. Logic 141
  
  Pages: 296-306
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-15500005
[Journal Article] Weak Koenig's lemma implies Brouwer's fan theorem2006
- Author(s)
  H.Ishihara
- Journal Title
  
  Notre Dame J. Formal Logic 47
  
  Pages: 249-252
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-15500005
[Journal Article] Quotient topologies in constructive set theory and type theory2006
- Author(s)
  Hajime Ishihara
- Journal Title
  
  Ann. Pure Appl. Logic 141
  
  Pages: 257-265
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-15500005
[Journal Article] Weak Koenig's lemma implies Brouwer's fan theorem : a direct proof2006
- Author(s)
  Hajime Ishihara
- Journal Title
  
  Notre Dame J. Formal Logic 47
  
  Pages: 249-252
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-15500005
[Journal Article] Quotient topologies in constructive set theory and type theory2006
- Author(s)
  H.Ishihara, E.Palmgren
- Journal Title
  
  Ann. Pure Appl. Logic 141
  
  Pages: 257-265
- Data Source
  KAKENHI-PROJECT-15500005
[Journal Article] Quotient topologies in constructive set theory and type theory2006
- Author(s)
  H.Ishihara, E.Palmgren
- Journal Title
  
  Ann. PureAppl. Logic 141
  
  Pages: 257-265
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-15500005
[Journal Article] Weak Koenig lemma implies Brouwer' s fan theorem : a direct proof2006
- Author(s)
  H.Ishihara
- Journal Title
  
  Notre Dame J. Formal Logic 47
  
  Pages: 249-252
- Data Source
  KAKENHI-PROJECT-15500005
[Journal Article] Constructive reverse mathematics : compactness properties2005
- Author(s)
  Hajime Ishihara
- Journal Title
  
  From Sets and Types to Analysis and Topology (Oxford Univ.Press)
  
  Pages: 245-267
- Data Source
  KAKENHI-PROJECT-15500005
[Journal Article] Constructive reverse mathematics : compactness properties2005
- Author(s)
  Hajime Ishihara
- Journal Title
  
  Oxford Logic Guides 48
  
  Pages: 245-267
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-15500005
[Journal Article] Brouwer's fan theorem and unique existence in constructive analysis2005
- Author(s)
  J.Berger, H.Ishihara
- Journal Title
  
  MLQ Math. Log. Q. 51
  
  Pages: 360-364
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-15500005
[Journal Article] Constructive reverse mathematics : compactness properties2005
- Author(s)
  H.Ishihara
- Journal Title
  
  In : L.Crosilla and P. Schuster eds., From Sets and Types to Analysis and Topology, Oxford Univ. Press
  
  Pages: 245-267
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-15500005
[Journal Article] On constructing completions2005
- Author(s)
  L.Crosilla, H.Ishihara, P.Schuster
- Journal Title
  
  J. Symbolic Logic 70
  
  Pages: 969-978
- NAID
  120001746752
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-15500005
[Journal Article] A continuity principle,a version of Baire's theorem and a boundedness principle
- Author(s)
  Hajime Ishihara and Peter Schuster
- Journal Title
  
  Journal of Symbolic Logic (印刷中)
- NAID
  120001746753
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-19500012
[Journal Article] Completeness and cocompleteness of the categories of basic pairs and concrete spaces
- Author(s)
  Hajime Ishihara and Tatsuji Kawai
- Journal Title
  
  Math. Structures Comput. Sci
  
  Volume: (to appear)
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-23540130
[Journal Article] Unique existence and computability in constructive reverse mathematics
- Author(s)
  Hajime Ishihara
- Journal Title
  
  Lect. Notes Comput. Sci. (印刷中)
- NAID
  120001063235
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-15500005
[Journal Article] Unique existence and computability in constructive reverse mathematics
- Author(s)
  H.Ishihara
- Journal Title
  
  S.B. Cooper, B. Loewe and A. Sorbi eds., Computation and Logic in the Real World, Lect. Notes Comput. Sci., to appear
- NAID
  120001063235
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-15500005
[Journal Article] Relativization of real numbers to a uniferse
- Author(s)
  Hajime Ishihara
- Journal Title
  
  Synthese Library (印刷中)
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-15500005
[Journal Article] Relativization of real numbers to a universe'
- Author(s)
  H.Ishihara
- Journal Title
  
  In : S. Lindestroem, E. Palmgren, K. Segerberg and V. Stoltenerg-Hansen eds., Logicism, Intuitionism, and Formalism-What has become of them?, Synthese Library, to appear
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-15500005
[Journal Article] Classical propositional logic and decidability of variables in intuitionistic propositional logic
- Author(s)
  Hajime Ishihara
- Journal Title
  
  Log. Methods Comput. Sci
  
  Volume: (to appear)
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-23540130
[Journal Article] Generalized geometric theories and set-generated classes
- Author(s)
  Peter Aczel, Hajime Ishihara, Takako Nemoto and Yasushi Sangu
- Journal Title
  
  Math. Structures Comput. Sci
  
  Volume: (to appear)
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-23540130
[Presentation] Constructive uniform spaces2024
- Author(s)
  Hajime Ishihara
- Organizer
  Proof, Argumentation, Computation, Modalities and Negation
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-21KK0045
[Presentation] 構成的・可述的集合論における逆数学2024
- Author(s)
  石原哉
- Organizer
  日本数学会2024年度年会
- Invited
- Data Source
  KAKENHI-PROJECT-21KK0045
[Presentation] 構成的・可述的集合論における逆数学2024
- Author(s)
  石原哉
- Organizer
  日本数学会2024年度年会
- Invited
- Data Source
  KAKENHI-PROJECT-22K03400
[Presentation] Constructive uniform spaces2024
- Author(s)
  Hajime Ishihara
- Organizer
  Proof, Argumentation, Computation, Modalities and Negation
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-22K03400
[Presentation] 構成的数学の景色2023
- Author(s)
  石原哉
- Organizer
  Logic Winter School
- Invited
- Data Source
  KAKENHI-PROJECT-21KK0045
[Presentation] 構成的数学の景色2023
- Author(s)
  石原哉
- Organizer
  Logic Winter School
- Invited
- Data Source
  KAKENHI-PROJECT-22K03400
[Presentation] Reverse mathematics of non-deterministic inductive definitions2018
- Author(s)
  Hajime Ishihara
- Organizer
  Proof and Computation
- Data Source
  KAKENHI-PROJECT-16K05251
[Presentation] The constructive Hahn-Banach theorem, revisited2018
- Author(s)
  Hajime Ishihara
- Organizer
  Constructive Mathematics
- Data Source
  KAKENHI-PROJECT-16K05251
[Presentation] Constructive reverse mathematics: an introduction and recent results2018
- Author(s)
  Hajime Ishihara
- Organizer
  Proof, Computation and Complexity
- Data Source
  KAKENHI-PROJECT-16K05251
[Presentation] Coequalisers in the category of basic pairs2018
- Author(s)
  Hajime Ishihara
- Organizer
  third core meeting
- Data Source
  KAKENHI-PROJECT-16K05251
[Presentation] On Brouwer's continuity principle2017
- Author(s)
  Hajime Ishihara
- Organizer
  Asian Logic Conference
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-16K05251
[Presentation] The Hahn-Banach theorem, constructively revisited2017
- Author(s)
  Hajime Ishihara
- Organizer
  Proof and Computation
- Data Source
  KAKENHI-PROJECT-16K05251
[Presentation] Coequalisers in the category of basic pairs2017
- Author(s)
  Hajime Ishihara
- Organizer
  1st Swiss-Italian Workshop on Proof and Computation
- Data Source
  KAKENHI-PROJECT-16K05251
[Presentation] A monad in the combinatory algebra2014
- Author(s)
  Hajime Ishihara
- Organizer
  Correctness by Construction CORCON 2014 Workshop
- Place of Presentation
  Genoa, Italy
- Data Source
  KAKENHI-PROJECT-23540130
[Presentation] A monad in the combinatory algebras2014
- Author(s)
  Hajime Ishihara
- Organizer
  Correctness by Construction CORCON 2014 Workshop
- Place of Presentation
  Genoa, Italy
- Invited
- Data Source
  KAKENHI-PROJECT-23540130
[Presentation] Constructive reverse mathematics : an introduction2013
- Author(s)
  Hajime Ishihara
- Organizer
  Constructive Mathematics : Foundations and Practice
- Place of Presentation
  Nis, Serbia
- Data Source
  KAKENHI-PROJECT-23540130
[Presentation] Classical propositional logic and decidability of variables in intuitionistic propositional logic2013
- Author(s)
  Hajime Ishihara
- Organizer
  Continuity, Computability, Constructivity - From Logic to Algorithm
- Place of Presentation
  Swansea/Gregynog, UK
- Invited
- Data Source
  KAKENHI-PROJECT-23540130
[Presentation] Classical propositional logic and decidability of variables in intuitionistic propositional logic2013
- Author(s)
  Hajime Ishihara
- Organizer
  Continuity, Computability, Constructivity - From Logic to Algorithms
- Place of Presentation
  Swansea University/Gregynog, UK
- Data Source
  KAKENHI-PROJECT-23540130
[Presentation] Constructive reverse mathematics: an introduction2013
- Author(s)
  Hajime Ishihara
- Organizer
  Constructive Mathematics: Foundations and Practice
- Place of Presentation
  Nis, Serbia
- Invited
- Data Source
  KAKENHI-PROJECT-23540130
[Presentation] Infinitary propositional theories and set-generated classes2012
- Author(s)
  Hajime Ishihara
- Organizer
  Fourth Workshop on Formal Topology
- Place of Presentation
  Ljubljana, Slovenia
- Data Source
  KAKENHI-PROJECT-23540130
[Presentation] Inifinitary propositional theories and set-generated classes2012
- Author(s)
  Hajime Ishihara
- Organizer
  Fourth Workshop on Formal Topology
- Place of Presentation
  Ljubjana, Slovenia
- Invited
- Data Source
  KAKENHI-PROJECT-23540130
[Presentation] Some conservative extension results of classical logic over intuitionistic logic2012
- Author(s)
  Hajime Ishihara
- Organizer
  Continuity, Computability, Constructivity - From Logic to Algorithms
- Place of Presentation
  Trier, Germany
- Data Source
  KAKENHI-PROJECT-23540130
[Presentation] Generalized geometric theories and set-generated classes2011
- Author(s)
  Hajime Ishihara
- Organizer
  Computing with Infinite Data: Topological and Logical Foundations
- Place of Presentation
  Dagstuhl, Germany
- Data Source
  KAKENHI-PROJECT-23540130
[Presentation] Generalized geometric theories and set-generated classes, Computing with Infinite Data2011
- Author(s)
  Hajime Ishihara
- Organizer
  Topological and Logical Foundations
- Place of Presentation
  Dagstuhl, Germany
- Data Source
  KAKENHI-PROJECT-23540130
[Presentation] Some conservative extension results of classical logic over intuitionistic logic2011
- Author(s)
  Hajime Ishihara
- Organizer
  Mathematical Logic: Proof Theory, Constructive Mathematics
- Place of Presentation
  Oberwolfach, Germany
- Data Source
  KAKENHI-PROJECT-23540130
[Presentation] Some conservative extension results of classical logic over intuitionistic logic2011
- Author(s)
  Hajime Ishihara
- Organizer
  Mathematical Logic : Proof Theory, Constructive Mathematics
- Place of Presentation
  Oberwolfach, Germany
- Data Source
  KAKENHI-PROJECT-23540130
[Presentation] Continuous morphisms in constructive topological spaces2009
- Author(s)
  Hajime Ishihara
- Organizer
  Leeds Symposium on Proof Theory and Constructivism
- Place of Presentation
  University of Leeds(UK)
- Year and Date
  2009-06-15
- Data Source
  KAKENHI-PROJECT-19500012
[Presentation] A boundedness principle in constructive reverse mathematics, Continuity2009
- Author(s)
  Hajime Ishihara
- Organizer
  Computablility, Constructivity: From Logic to Algorithms
- Place of Presentation
  Koln, Germany
- Year and Date
  2009-06-17
- Data Source
  KAKENHI-PROJECT-19500012
[Presentation] Continuous morphisms in constructive topological spaces2009
- Author(s)
  Hajime Ishihara
- Organizer
  Leeds Symposium on Proof Theory and Constructivism
- Place of Presentation
  Leeds, UK
- Year and Date
  2009-06-15
- Data Source
  KAKENHI-PROJECT-19500012
[Presentation] A boundedness principle in constructive reverse mathematics2009
- Author(s)
  Hajime Ishihara
- Organizer
  Continuity, Computability, Constructivity : From Logic to Algorithms
- Place of Presentation
  Koeln(Germany)
- Year and Date
  2009-06-17
- Data Source
  KAKENHI-PROJECT-19500012
[Presentation] A continuity principle, a version of Baire's theorem and a boundedness principle2008
- Author(s)
  Hajime Ishihara
- Organizer
  Conference on Abelian Groups and on Constructive Mathematics
- Place of Presentation
  Boca Raton, USA
- Year and Date
  2008-05-10
- Data Source
  KAKENHI-PROJECT-19500012
[Presentation] A continuity principle, a version of Baire's theorem and a boundedness principle2008
- Author(s)
  Hajime Ishihara
- Organizer
  Conference on Abelian Groups and on Construetive Mathematics
- Place of Presentation
  Boca Raton, USA
- Data Source
  KAKENHI-PROJECT-19500012
[Presentation] On a set generation scheme in constructive set theory2008
- Author(s)
  Hajime Ishihara
- Organizer
  Advances in Constructive Topology and Logical Foundations
- Place of Presentation
  Padova, Italy
- Year and Date
  2008-10-09
- Data Source
  KAKENHI-PROJECT-19500012
[Presentation] Neighbourhood and quasi-apartness spaces, and separation properties2007
- Author(s)
  Hajime Ishihara
- Organizer
  3rd Workshop on Formal Topology
- Place of Presentation
  Padova, Italy
- Year and Date
  2007-05-12
- Data Source
  KAKENHI-PROJECT-19500012
[Presentation] Unique existence and computability in constructive reverse mathematics2007
- Author(s)
  Hajime Ishihara
- Organizer
  Computability in Europe 2007
- Place of Presentation
  Siena
- Year and Date
  2007-06-20
- Data Source
  KAKENHI-PROJECT-19500012
[Presentation] Neighbourhood and quasi-apartness spaces,and separation properties2007
- Author(s)
  Hajime Ishihara
- Organizer
  3rd Workshop on Formal Topology
- Place of Presentation
  Padua
- Year and Date
  2007-05-12
- Data Source
  KAKENHI-PROJECT-19500012
[Presentation] Unique existence and computability in constructive reverse mathematics2007
- Author(s)
  Hajime Ishihara
- Organizer
  Computability in Europe 2007
- Place of Presentation
  Siena, Italy
- Year and Date
  2007-06-20
- Data Source
  KAKENHI-PROJECT-19500012

1. AKAMA Yohji (30272454)

# of Collaborated Projects: 2 results

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

# of Collaborated Projects: 2 results

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

# of Collaborated Projects: 2 results

# of Collaborated Products: 3 results
4. ONO Hiroakira (90055319)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
5. AOTO Takahito (00293390)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
6. KASHIMA Ryo (10240756)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
7. TOYAMA Yoshihito (00251968)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
8. HAYASHI Susumu (40156443)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
9. YASUGI Mariko (90022277)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
10. TAMURA Naoyuki (60207248)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
11. WOLTER Frank (20272990)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
12. 酒井正彦 (50215597)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
13. 高橋大輔 (50188025)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
14. 山本章博 (30230535)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
15. 河井達治 (00824343)

# of Collaborated Projects: 1 results

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

# of Collaborated Projects: 1 results

# of Collaborated Products: 1 results

Ishihara Hajime 石原 哉

石原 哉 イシハラ ハジメ

ISHIHARA Hajime 石原 哉

ISHIHARA HAJIME 石原 哉

Research Projects

Research Products

Co-Researchers

Duality in Banach spaces and uniform spaces in constructive and predicative set theoryPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Constructive reverse mathematics and computational content of mathematical theoremsPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

A study of sheaf models in constructive reverse mathematicsPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Reverse Mathematics in Constructive Set TheoryPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Reverse Mathematics in Constructive MathematicsPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Computability and Complexity in Constructive MathematicsPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Logic of Limit Computing and its Applications

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Subrecursive Realizability Interpretation for Intuitionistic ArithmeticPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Applications of Mathematical Logic in Theoretical Computer Science

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

[Book] 証明作法2023

Author(s)

Total Pages

Publisher

ISBN

Data Source

[Book] Handbook of Constructive Mathematics (Encyclopedia of Mathematics and its Applications)2023

Author(s)

Total Pages

Publisher

ISBN

Data Source

[Book] Handbook of Constructive Mathematics (Encyclopedia of Mathematics and its Applications)2023

Author(s)

Total Pages

Publisher

ISBN

Data Source

[Book] 証明作法2023

Ishihara Hajime 石原哉

石原哉イシハラハジメ

ISHIHARA Hajime 石原哉

ISHIHARA HAJIME 石原哉