TOP
>
Personal Info.
>
Conference Activities & Talks

ISHIHARA, Hajime
Professor

School of Information Science, Intelligent Robotics Area, Research Center for Theoretical Computer Science

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

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

Frontiers of Non-Classicality: Logic, Mathematics, Philosophy, Auckland, New Zealand, 2016

Constructive reverse mathematics and omniscience pringiples

14th Asian Logic Conference, Munbai, India, 2015

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

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

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

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

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

Constructive Mathematics: Foundations and Practice, Nis, Serbia, 2013

Infinitary propositional theories and set-generated classes

Fourth Workshop on Formal Topology, Ljubljana, Slovenia, 2012

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

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

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

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

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

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

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

Advances in Constructive Topology and Logical Foundations, Padova, Italy, 2008

Constructive reverse mathematics and unique existence

Workshop Proof and Computation II, Munich, Germany, 2007

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

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

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

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

Workshop on Constructive Logic and Mathematics, Benediktbeuern, Germany, 2004

Constructive reverse mathematics: compactness properties

Symposium on Constructive Mathematics, Uppsala, Sweden, 2004

Symposium on Constructive Mathematics, Uppsala, Sweden, 2004

構成的逆数学

数学解析の理論的展開の計算機による支援、遂行可能性, 京都大学数理解析研究所, 2003

数学解析の理論的展開の計算機による支援、遂行可能性, 京都大学数理解析研究所, 2003

Computational complexity of the intermediate value theorem

5th Congress of Romanian Mathematicians, Pitesti, Romania, 2003

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

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

テスト関数の空間の完備性について

数学解析の計算機上での理論的展開とその遂行可能性, 京都大学数理解析研究所, 2002

数学解析の計算機上での理論的展開とその遂行可能性, 京都大学数理解析研究所, 2002

Sequential continuity in constructive mathematics

The Third International Conferece on Combinatorics, Computability and Logic (DMTCS'01), Constanta, Romania, 2001

The Third International Conferece on Combinatorics, Computability and Logic (DMTCS'01), Constanta, Romania, 2001

Feasibly constructie analysis

数学解析の理論的展開の計算機上での遂行可能性, 京都大学数理解析研究所, 2000

数学解析の理論的展開の計算機上での遂行可能性, 京都大学数理解析研究所, 2000

Feasibly constructie analysis

Constructivism, Complexity and Fuzziness '99, Galati, Romania, 1999

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

Reuniting the Antipodes - Constructive and Nonstandard views of the Continuum, San Servolo, Venice, Italy, 1999