TOP  >  Personal Info.  >  Conference Activities & Talks
ISHIHARA, Hajime Professor
School of Information Science, Intelligent Robotics Area, Research Center for Theoretical Computer Science

Conference Activities & Talks

31 items
A monad on the combinatory algebras
Operations, Sets, and Types, Muenchenwiler, Switzerland, 2016
Constructive reverse mathematics: an introduction and recent results
Frontiers of Non-Classicality: Logic, Mathematics, Philosophy, Auckland, New Zealand, 2016
Constructive reverse mathematics and omniscience pringiples
14th Asian Logic Conference, Munbai, India, 2015
Intuitionistic logic and reverse mathematics
Proof, Truth, Computation: Summer School on the Interactions between Modern Foundations of Mathematics and Contemporary Philosophy, Chiemsee, Germany, 2014
A monad in the combinatory algebras
Correctness by Construction CORCON 2014 Workshop, Genoa, Italy, 2014
Classical propositional logic and decidability of variables in intuitionistic propositional logic
Proof, An International Conference within the Frame of Humboldt-Kollegs, Bern, Switzerland, 2013
Classical propositional logic and decidability of variables in intuitionistic propositional logic
Continuity, Computability, Constructivity - From Logic to Algorithms, Swansea University/Gregynog, UK, 2013
Constructive reverse mathematics: an introduction
Constructive Mathematics: Foundations and Practice, Nis, Serbia, 2013
Infinitary propositional theories and set-generated classes
Fourth Workshop on Formal Topology, Ljubljana, Slovenia, 2012
Some conservative extension results of classical logic over intuitionistic logic
Continuity, Computability, Constructivity - From Logic to Algorithms, Trier, Germany, 2012
Some conservative extension results of classical logic over intuitionistic logic
Mathematical Logic: Proof Theory, Constructive Mathematics, Oberwolfach, Germany, 2011
Generalized geometric theories and set-generated classes
Computing with Infinite Data: Topological and Logical Foundations, Dagstuhl, Germany, 2011
The monotone completeness theorem in constructive reverse mathematics
Seventh International Conference on Computability and Complexity in Analysis, Zhenjiang, China, 2010
A boundedness principle in constructive reverse mathematics
Continuity, Computability, Constructivity: From Logic to Algorithms, Koeln, Germany, 2009
Continuous morphisms in constructive topological spaces
Leeds Symposium on Proof Theory and Constructivism, Leeds, UK, 2009
On a set generation scheme in constructive set theory
Advances in Constructive Topology and Logical Foundations, Padova, Italy, 2008
Constructive reverse mathematics and unique existence
Workshop Proof and Computation II, Munich, Germany, 2007
Unique existence and computability in constructive reverse mathematics
3rd Conference on Computability in Europe, CiE 2007, Siena, Italy, 2007
Neighbourhood and quasi-apartness spaces, and separation properties
3rd Workshop on Formal Topology, Padova, Italy, 2007
The uniform boundedness theorem and a boundedness principle
Workshop on Trends in Constructive Mathematics, Chiemsee, Germany, 2006
A construction of quotient spaces in constructive set theory
Workshop on Constructive Logic and Mathematics, Benediktbeuern, Germany, 2004
Constructive reverse mathematics: compactness properties
Symposium on Constructive Mathematics, Uppsala, Sweden, 2004
構成的逆数学
数学解析の理論的展開の計算機による支援、遂行可能性, 京都大学数理解析研究所, 2003
Computational complexity of the intermediate value theorem
5th Congress of Romanian Mathematicians, Pitesti, Romania, 2003
Constructive reverse mathematics
From Sets and Types to Topology and Analysis: Towards Practicable Foundations for Constructive Mathematics, San Servolo, Venice, Italy, 2003
Pointwise and sequential continuity in constructive analysis
代数、論理、幾何と情報科学, 京都大学数理解析研究所, 2002
テスト関数の空間の完備性について
数学解析の計算機上での理論的展開とその遂行可能性, 京都大学数理解析研究所, 2002
Sequential continuity in constructive mathematics
The Third International Conferece on Combinatorics, Computability and Logic (DMTCS'01), Constanta, Romania, 2001
Feasibly constructie analysis
数学解析の理論的展開の計算機上での遂行可能性, 京都大学数理解析研究所, 2000
Feasibly constructie analysis
Constructivism, Complexity and Fuzziness '99, Galati, Romania, 1999
A note on the Goedel-Gentzen translation
Reuniting the Antipodes - Constructive and Nonstandard views of the Continuum, San Servolo, Venice, Italy, 1999