北陸先端科学技術大学院大学 [JAIST] - 研究者総覧
現在ページ トップページ 検索結果研究者紹介>全件表示

講演発表表示
表示方法:
表示順:

 

 

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

31件中1-20件目

  • 1. Constructive reverse mathematics: an introduction and recent results,Hajime Ishihara,Frontiers of Non-Classicality: Logic, Mathematics, Philosophy,Auckland, New Zealand,January 26-29, 2016
  • 2. A monad on the combinatory algebras,Hajime Ishihara,Operations, Sets, and Types,Muenchenwiler, Switzerland,April 18 - 20, 2016
  • 3. Constructive reverse mathematics and omniscience pringiples,Hajime Ishihara,14th Asian Logic Conference,Munbai, India,January 5-8, 2015
  • 4. Classical propositional logic and decidability of variables in intuitionistic propositional logic,Hajime Ishihara,Proof, An International Conference within the Frame of Humboldt-Kollegs,Bern, Switzerland,September 9-13, 2013
  • 5. Intuitionistic logic and reverse mathematics,Hajime Ishihara,Proof, Truth, Computation: Summer School on the Interactions between Modern Foundations of Mathematics and Contemporary Philosophy,Chiemsee, Germany,21-25 July 2014
  • 6. A monad in the combinatory algebras,Hajime Ishihara,Correctness by Construction CORCON 2014 Workshop,Genoa, Italy,March 24-27, 2014
  • 7. Constructive reverse mathematics: an introduction,Hajime Ishiahra,Constructive Mathematics: Foundations and Practice,Nis, Serbia,June 24-28, 2013
  • 8. Classical propositional logic and decidability of variables in intuitionistic propositional logic,Hajime Ishihara,Continuity, Computability, Constructivity - From Logic to Algorithms,Swansea University/Gregynog, UK,June 26-30, 2013
  • 9. 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
  • 10. Infinitary propositional theories and set-generated classes,Hajime Ishihara,Fourth Workshop on Formal Topology,Ljubljana, Slovenia,June 15 -19, 2012
  • 11. Some conservative extension results of classical logic over intuitionistic logic,Hajime Ishihara,Mathematical Logic: Proof Theory, Constructive Mathematics,Oberwolfach, Germany,November 7-11, 2011
  • 12. Generalized geometric theories and set-generated classes,Hajime Ishihara,Computing with Infinite Data: Topological and Logical Foundations,Dagstuhl, Germany,October 10-14, 2011
  • 13. 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
  • 14. Continuous morphisms in constructive topological spaces,Hajime Ishihara,Leeds Symposium on Proof Theory and Constructivism,Leeds, UK,July 3-16, 2009
  • 15. A boundedness principle in constructive reverse mathematics,Hajime Ishihara,Continuity, Computability, Constructivity: From Logic to Algorithms,Koeln, Germany,July 14-18, 2009
  • 16. On a set generation scheme in constructive set theory,Hajime Ishihara,Advances in Constructive Topology and Logical Foundations,Padova, Italy,October 8-11, 2008
  • 17. Neighbourhood and quasi-apartness spaces, and separation properties,Hajime Ishihara,3rd Workshop on Formal Topology,Padova, Italy,May 7-12, 2007
  • 18. Constructive reverse mathematics and unique existence,Hajime Ishihara,Workshop Proof and Computation II,Munich, Germany,June 23, 2007
  • 19. Unique existence and computability in constructive reverse mathematics,Hajime Ishihara,3rd Conference on Computability in Europe, CiE 2007,Siena, Italy,June 18-23, 2007
  • 20. The uniform boundedness theorem and a boundedness principle,Hajime Ishihara,Workshop on Trends in Constructive Mathematics,Chiemsee, Germany,June 19-23, 2006

 1  2 次へ ≫ ]