• Search Research Projects
  • Search Researchers
  • How to Use
  1. Back to previous page

Ishihara Hajime  石原 哉

ORCIDConnect your ORCID iD *help
… 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
  • Research Projects

    (9 results)
  • Research Products

    (86 results)
  • Co-Researchers

    (16 People)
  •  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

All 2024 2023 2019 2018 2017 2014 2013 2012 2011 2010 2009 2008 2007 2006 2005 Other

All Journal Article Presentation Book

  • [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

URL: 

Are you sure that you want to link your ORCID iD to your KAKEN Researcher profile?
* This action can be performed only by the researcher himself/herself who is listed on the KAKEN Researcher’s page. Are you sure that this KAKEN Researcher’s page is your page?

この研究者とORCID iDの連携を行いますか?
※ この処理は、研究者本人だけが実行できます。

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi