石原　哉 （イシハラ　ハジメ）　教授
情報科学研究科（情報科学専攻・理論情報科学領域）

23件中1-20件目

• 1.　Infinitary propositional theories and set-generated classes，Hajime Ishihara，Fourth Workshop on Formal Topology，Ljubljana, Slovenia，June 15 -19, 2012
• 2.　Some conservative extension results of classical logic over intuitionistic logic，Hajime Ishihara，Continuity, Computability, Constructivity - From Logic to Algorithms，Trier, Germany，May 29 - June 02, 2012
• 3.　Some conservative extension results of classical logic over intuitionistic logic，Hajime Ishihara，Mathematical Logic: Proof Theory, Constructive Mathematics，Oberwolfach, Germany，November 7-11, 2011
• 4.　Generalized geometric theories and set-generated classes，Hajime Ishihara，Computing with Infinite Data: Topological and Logical Foundations，Dagstuhl, Germany，October 10-14, 2011
• 5.　The monotone completeness theorem in constructive reverse mathematics，Hajime Ishihara，Seventh International Conference on Computability and Complexity in Analysis，Zhenjiang, China，June 21-25, 2010
• 6.　A boundedness principle in constructive reverse mathematics，Hajime Ishihara，Continuity, Computability, Constructivity: From Logic to Algorithms，Koeln, Germany，July 14-18, 2009
• 7.　Continuous morphisms in constructive topological spaces，Hajime Ishihara，Leeds Symposium on Proof Theory and Constructivism，Leeds, UK，July 3-16, 2009
• 8.　On a set generation scheme in constructive set theory，Hajime Ishihara，Advances in Constructive Topology and Logical Foundations，Padova, Italy，October 8-11, 2008
• 9.　Constructive reverse mathematics and unique existence，Hajime Ishihara，Workshop Proof and Computation II，Munich, Germany，June 23, 2007
• 10.　Unique existence and computability in constructive reverse mathematics，Hajime Ishihara，3rd Conference on Computability in Europe, CiE 2007，Siena, Italy，June 18-23, 2007
• 11.　Neighbourhood and quasi-apartness spaces, and separation properties，Hajime Ishihara，3rd Workshop on Formal Topology，Padova, Italy，May 7-12, 2007
• 12.　The uniform boundedness theorem and a boundedness principle，Hajime Ishihara，Workshop on Trends in Constructive Mathematics，Chiemsee, Germany，June 19-23, 2006
• 13.　Constructive reverse mathematics: compactness properties，Hajime Ishihara，Symposium on Constructive Mathematics，Uppsala, Sweden，August 30-31, 2004
• 14.　A construction of quotient spaces in constructive set theory，Hajime Ishihara，Workshop on Constructive Logic and Mathematics，Benediktbeuern, Germany，November 15-19, 2004
• 15.　Constructive reverse mathematics，Hajime Ishihara，From Sets and Types to Topology and Analysis: Towards Practicable Foundations for Constructive Mathematics，San Servolo, Venice, Italy，May 12-16, 2003
• 16.　構成的逆数学，石原　哉，数学解析の理論的展開の計算機による支援、遂行可能性，京都大学数理解析研究所，2003年9月16日-19日
• 17.　Computational complexity of the intermediate value theorem，Hajime Ishihara，5th Congress of Romanian Mathematicians，Pitesti, Romania，June 22-28, 2003
• 18.　Pointwise and sequential continuity in constructive analysis，石原　哉，代数、論理、幾何と情報科学，京都大学数理解析研究所，2002年12月16日-20日
• 19.　テスト関数の空間の完備性について，石原　哉，数学解析の計算機上での理論的展開とその遂行可能性，京都大学数理解析研究所，2002年3月12日-15日
• 20.　Sequential continuity in constructive mathematics，Hajime Ishihara，The Third International Conferece on Combinatorics, Computability and Logic (DMTCS'01)，Constanta, Romania，July 1-6, 2001

1  2

[ 次へ ≫ ]