トップページ  >  教員個別情報  >  発表論文
石原 哉 (ISHIHARA, Hajime)教授
情報科学系, 知能ロボティクス領域

発表論文

86件
On the independence of premiss axiom and rule
Hajime Ishihara, Takako Nemoto
Archive for Mathematical Logic, 59, 7-8, 793-815, 2020
Equivalents of the finitary non-deterministic inductive definitions
Ayana Hirata, Hajime Ishihara, Tatsuji Kawai, Takako Nemoto
Annals of Pure and Applied Logic, 170, 10, 1256-1272, 2019
The Monotone Completeness Theorem in Constructive Reverse Mathematics
Hajime Ishihara, Takako Nemoto
Mathesis Universalis, Computability and Proof, 101-112, 2019
The binary expansion and the intermediate value theorem in constructive reverse mathematics
Josef Berger, Hajime Ishihara, Takayuki Kihara, Takako Nemoto
Archive for Mathematical Logic, 58, 1-2, 203-217-, 2019
Constructive Functional Analysis: An Introduction
Hajime Ishihara
Proof and Computation, 109-165, 2018
On Brouwer’s continuity principle
Hajime Ishihara
Indagationes Mathematicae, 29, 6, 1511-1524, 2018
Consistency of the intensional level of the Minimalist Foundation with Church’s thesis and axiom of choice
Hajime Ishihara, Maria Emilia Maietti, Samuele Maschio, Thomas Streicher
Archive for Mathematical Logic, 57, 7-8, 1-16, 2018
Preface to the special issue: Continuity, computability, constructivity: from logic to algorithms 2013
Hajime Ishihara, Margarita Korovina, Arno Pauly, Monika Seisenberger, Dieter Spreen
MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, 27, 8, 1285-1286, 2017
Embedding classical in minimal implicational logic
Hajime Ishihara, Helmut Schwichtenberg
MATHEMATICAL LOGIC QUARTERLY, 62, 1-2, 94-101, 2016
A note on the independence of premiss rule
Hajime Ishihara, Takako Nemoto
MATHEMATICAL LOGIC QUARTERLY, 62, 1-2, 72-76, 2016
Non-Deterministic Inductive Definitions and Fullness
Hajime Ishihara, Takako Nemoto
CONCEPTS OF PROOF IN MATHEMATICS, PHILOSOPHY, AND COMPUTER SCIENCE, 6, 163-170, 2016
Completeness and cocompleteness of the categories of basic pairs and concrete spaces
Hajime Ishihara, Tatsuji Kawai
MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, 25, 8, 1626-1648, 2015
Some principles weaker than Markov's principle
Makoto Fujiwara, Hajime Ishihara, Takako Nemoto
ARCHIVE FOR MATHEMATICAL LOGIC, 54, 7-8, 861-870, 2015
Generalized geometric theories and set-generated classes
Peter Aczel, Hajime Ishihara, Takako Nemoto, Yasushi Sangu
MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, 25, 7, 1466-1483, 2015
CLASSICAL PROPOSITIONAL LOGIC AND DECIDABILITY OF VARIABLES IN INTUITIONISTIC PROPOSITIONAL LOGIC
Hajime Ishihara
LOGICAL METHODS IN COMPUTER SCIENCE, 10, 3, -, 2014
Uniformly convex Banach spaces are reflexive-constructively
Douglas S. Bridges, Hajime Ishihara, Maarten McKubre-Jordens
MATHEMATICAL LOGIC QUARTERLY, 59, 4-5, 352-356, 2013
Relating Bishop's function spaces to neighbourhood spaces
Hajime Ishihara
ANNALS OF PURE AND APPLIED LOGIC, 164, 4, 482-490, 2013
The uniform boundedness theorem and a boundedness principle
Hajime Ishihara
ANNALS OF PURE AND APPLIED LOGIC, 163, 8, 1057-1061, 2012
A predicative completion of a uniform space
Josef Berger, Hajime Ishihara, Erik Palmgren, Peter Schuster
ANNALS OF PURE AND APPLIED LOGIC, 163, 8, 975-980, 2012
Two subcategories of apartness spaces
Hajime Ishihara
ANNALS OF PURE AND APPLIED LOGIC, 163, 2, 132-139, 2012
Some Conservative Extension Results on Classical and Intuitionistic Sequent Calculi
Hajime Ishihara
Logic, Construction, Computation, 289-304, 2012
THE WEAK KONIG LEMMA, BROUWER'S FAN THEOREM, DE MORGAN'S LAW, AND DEPENDENT CHOICE
Josef Berger, Hajime Ishihara, Peter Schuster
REPORTS ON MATHEMATICAL LOGIC, 47, 63-86, 2012
On the contrapositive of countable choice
Hajime Ishihara, Peter Schuster
ARCHIVE FOR MATHEMATICAL LOGIC, 50, 1-2, 137-143, 2011
Kronecker's density theorem and irrational numbers in constructive reverse mathematics
Hajime Ishihara, Peter Schuster
Mathematische Semesterberichte, 57, 1, 57-72, 2010
A continuity principle, a version of Baire's theorem and a boundedness principle
Hajime Ishihara, Peter Schuster
Journal of Symbolic Logic, 73, 4, 1354-1360, 2008
Apartness, compactness and nearness
Douglas Bridges, Hajime Ishihara, Peter M. Schuster, Luminita Vita
THEORETICAL COMPUTER SCIENCE, 405, 1-2, 3-10, 2008
Editorial: Math. Log. Quart. 5/2008.
Vasco Brattka, Hajime Ishihara, Matthias Schröder, Ning Zhong
Math. Log. Q., 54, 5, 453-, 2008
Separation properties in neighbourhood and quasi-apartness spaces
Robin Havea, Hajime Ishihara, Luminita Vita
MATHEMATICAL LOGIC QUARTERLY, 54, 1, 58-64, 2008
Computability and Complexity in Analysis.
Vasco Brattka, Hajime Ishihara, Matthias Schröder, Ning Zhong
J. UCS, 14, 6, 800-, 2008
Almost locatedness in uniform spaces
Douglas Bridges, Hajime Ishihara, Ray Mines, Fred Richman, Peter Schuster, Luminita Vita
CZECHOSLOVAK MATHEMATICAL JOURNAL, 57, 1, 1-12, 2007
Unique Existence and Computability in Constructive Reverse Mathematics
Hajime Ishihara
Lecture Notes in Computer Science, 4497, 368-377, 2007
Binary refinement implies discrete exponentiation
Peter Aczel, Laura Crosilla, Hajime Ishihara, Erik Palmgren, Peter Schuster
Studia Logica, 84, 3, 361-368, 2006
Reverse Mathematics in Bishop’s Constructive Mathematics
Hajime Ishihara
Philosophia Scientae, CS 6, 43-59, 2006
Quasi-apartness and neighbourhood spaces
H Ishihara, R Mines, P Schuster, L Vita
ANNALS OF PURE AND APPLIED LOGIC, 141, 1-2, 296-306, 2006
Quotient topologies in constructive set theory and type theory
H Ishihara, E Palmgren
ANNALS OF PURE AND APPLIED LOGIC, 141, 1-2, 257-265, 2006
A constructive Banach inverse mapping theorem in F-spaces
Hajime Ishihara, Luminita Vita
New Zealand Journal of Mathematics, 35, 183-187, 2006
Weak König's Lemma Implies Brouwer's Fan Theorem: A Direct Proof.
Hajime Ishihara
Notre Dame Journal of Formal Logic, 47, 2, 249-252, 2006
CONSTRUCTIVE REVERSE MATHEMATICS: COMPACTNESS PROPERTIES
Hajime Ishihara
From Sets and Types to Topology and Analysis, 245-267, 2005
Strong continuity implies uniform sequential continuity
Douglas Bridges, Hajime Ishihara, Peter Schuster, Luminiţa Vîţa
Archive for Mathematical Logic, 44, 7, 887-895, 2005
Strong continuity implies uniform sequential continuity
D Bridges, H Ishihara, P Schuster, L Vita
ARCHIVE FOR MATHEMATICAL LOGIC, 44, 7, 887-895, 2005
On constructing completions
L Crosilla, H Ishihara, P Schuster
JOURNAL OF SYMBOLIC LOGIC, 70, 3, 969-978, 2005
Compactness in apartness spaces?
Douglas S. Bridges, Hajime Ishihara, Peter Schuster, Luminita Vîta
Spatial Representation: Discrete vs. Continuous Computational Models, -, 2005
Brouwer's fan theorem and unique existence in constructive analysis
J Berger, H Ishihara
MATHEMATICAL LOGIC QUARTERLY, 51, 4, 360-364, 2005
Computing infima on convex sets, with applications in Hilbert spaces
D Bridges, H Ishihara, L Vita
PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY, 132, 9, 2723-2732, 2004
Compactness under constructive scrutiny
H Ishihara, P Schuster
MATHEMATICAL LOGIC QUARTERLY, 50, 6, 540-550, 2004
Ishihara's proof technique in constructive analysis
Douglas Bridges, Dirk van Dalen, Hajime Ishihara
Indagationes Mathematicae, 14, 2, 163-168, 2003
Locating subsets of a normed space
H Ishihara, L Vita
PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY, 131, 10, 3231-3239, 2003
A constructive look at the completeness of the space D(R)
H Ishihara, S Yoshida
JOURNAL OF SYMBOLIC LOGIC, 67, 4, 1511-1519, 2002
A constructive uniform continuity theorem
H Ishihara, P Schuster
QUARTERLY JOURNAL OF MATHEMATICS, 53, 185-193, 2002
Completeness of intersection and union type assignment systems for call-by-value lambda-models
H Ishihara, T Kurata
THEORETICAL COMPUTER SCIENCE, 272, 1-2, 197-221, 2002
Locating the range of an operator with an adjoint
Douglas Bridges, Hajime Ishihara, Bas Spitters
Indagationes Mathematicae, 13, 4, 433-440, 2002
Complexity of some infinite games played on finite graphs
H Ishihara, B Khoussainov
GRAPH-THEORETIC CONCEPTS IN COMPUTER SCIENCE, 2573, 270-281, 2002
Some results on automatic structures
H Ishihara, B Khoussainov, S Rubin
17TH ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, PROCEEDINGS, 235-242, 2002
Compactness and continuity, constructively revisited
D Bridges, H Ishihara, P Schuster
COMPUTER SCIENCE LOGIC, PROCEEDINGS, 2471, 89-102, 2002
Constructive unbounded operators
D Bridges, H Ishihara
REUNITING THE ANTIPODES - CONSTRUCTIVE AND NONSTANDARD VIEWS OF THE CONTINUUM, 306, 25-37, 2001
Various continuity properties in constructive analysis
H Ishihara, R Mines
REUNITING THE ANTIPODES - CONSTRUCTIVE AND NONSTANDARD VIEWS OF THE CONTINUUM, 306, 103-110, 2001
Coding with minimal programs
Cristian S. Calude, Hajime Ishihara, Takeshi Yamaguchi
International Journal of Foundations of Computer Science, 12, 4, 479-489, 2001
Constructive closed range and open mapping theorems
D Bridges, H Ishihara
INDAGATIONES MATHEMATICAE-NEW SERIES, 11, 4, 509-516, 2000
A Note on the Gödel-Gentzen Translation.
Hajime Ishihara
Math. Log. Q., 46, 1, 135-137, 2000
A Canonical Model Construction for Substructural Logics.
Hajime Ishihara
J. UCS, 6, 1, 155-168, 2000
Function algebraic characterizations of the polytime functions
H Ishihara
COMPUTATIONAL COMPLEXITY, 8, 4, 346-356, 1999
Computable Kripke models and intermediate logics
H Ishihara, B Khoussainov, A Nerode
INFORMATION AND COMPUTATION, 143, 2, 205-230, 1998
Decidable Kripke models of intuitionistic theories
H Ishihara, B Khoussainov, A Nerode
ANNALS OF PURE AND APPLIED LOGIC, 93, 1-3, 115-123, 1998
A definitive constructive open mapping theorem?
D Bridges, H Ishihara
MATHEMATICAL LOGIC QUARTERLY, 44, 4, 545-552, 1998
Effectiveness of the Completeness Theorem for an Intermediate Logic.
Hajime Ishihara, Bakhadyr Khoussainov
J. UCS, 3, 11, 1255-1265, 1997
Sequential Continuity of Linear Mappings in Constructive Mathematics.
Hajime Ishihara
J. UCS, 3, 11, 1250-1254, 1997
Spectra of selfadjoint operators in constructive analysis
D Bridges, H Ishihara
INDAGATIONES MATHEMATICAE-NEW SERIES, 7, 1, 11-35, 1996
A constructive version of Banach's inverse mapping theorem
Hajime Ishihara
New Zealand Journal of Mathematics, 23, 1, 71-75, 1994
ABSOLUTE CONTINUITY AND THE UNIQUENESS OF THE CONSTRUCTIVE FUNCTIONAL-CALCULUS
D BRIDGES, H ISHIHARA
MATHEMATICAL LOGIC QUARTERLY, 40, 4, 519-527, 1994
COMPLEMENTS OF INTERSECTIONS IN CONSTRUCTIVE MATHEMATICS
DS BRIDGES, H ISHIHARA
MATHEMATICAL LOGIC QUARTERLY, 40, 1, 35-43, 1994
Markov's principle, Church's thesis and Lindelöf's theorem
Hajime Ishihara
Indagationes Mathematicae, 4, 3, 321-325, 1993
Locating the Range of an Operator on a Hilbert Space
Douglas Bridges, Hajime Ishihara
Bulletin of the London Mathematical Society, 24, 6, 599-605, 1992
CONTINUITY PROPERTIES IN CONSTRUCTIVE MATHEMATICS
H ISHIHARA
JOURNAL OF SYMBOLIC LOGIC, 57, 2, 557-565, 1992
Constructive existence of Minkowski functionals
Hajime Ishihara
Proceedings of the American Mathematical Society, 116, 1, 79-79, 1992
CONTINUITY AND NONDISCONTINUITY IN CONSTRUCTIVE MATHEMATICS
H ISHIHARA
JOURNAL OF SYMBOLIC LOGIC, 56, 4, 1349-1354, 1991
CONSTRUCTIVE COMPACT-OPERATORS ON A HILBERT-SPACE
H ISHIHARA
ANNALS OF PURE AND APPLIED LOGIC, 52, 1-2, 31-37, 1991
LINEAR MAPPINGS ARE FAIRLY WELL-BEHAVED
D BRIDGES, H ISHIHARA
ARCHIV DER MATHEMATIK, 54, 6, 558-562, 1990
An omniscience principle, the König Lemma and the Hahn-Banach theorem.
Hajime Ishihara
Math. Log. Q., 36, 3, 237-240, 1990
Constructive Compact Linear Mappings
Hajime Ishihara
Bulletin of the London Mathematical Society, 21, 6, 577-584, 1989
Fixed Point Theorems for Lipspchitzian Semigroups
Hajime ishihara
Canadian Mathematical Bulletin, 32, 1, 90-97, 1989
On the Constructive Hahn-Banach Theorem
Hajime Ishihara
Bulletin of the London Mathematical Society, 21, 1, 79-81, 1989
Constructive reflexivity of a uniformly convex Banach space
Hajime Ishihara
Proceedings of the American Mathematical Society, 104, 3, 735-740, 1988
A nonlinear ergodic theorem for a reversible semigroup of Lipschitzian mappings in a Hilbert space
Hajime Ishihara, Wataru Takahashi
Proceedings of the American Mathematical Society, 104, 2, 431-436, 1988
Fixed point theorems for uniformly lipschitzian semigroups in Hilbert spaces
Hajime Ishihara, Wataru Takahashi
Journal of Mathematical Analysis and Applications, 127, 1, 206-210, 1987
Modulus of convexity, characteristic of convexity and fixed point theorems
Hajime Ishihara, Wataru Takahashi
Kodai Mathematical Journal, 10, 2, 197-208, 1987