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

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

 

 

横山 啓太 (ヨコヤマ ケイタ) 講師
情報科学系、知能ロボティクス領域

72件中1-20件目

  • 1. On the first-order strength of Ramsey's theorem in reverse mathematics,Keita Yokoyama,Logic Colloquium 2017, Special session on computability, Stockholm University, Sweden, August 14-20, 2017.
  • 2. On the first-order part of Ramsey's theorem for pairs,Keita Yokoyama,Computability Theory and Foundations of Mathematics 2017, September 11, 2017.
  • 3. Indicator arguments and the strength of Ramsey's theorem,,Keita Yokoyama,Logic seminar, University of Leeds, February 1, UK, 2017.
  • 4. On the first-order strength of Ramsey's theorem for pairs,Keita Yokoyama,Logic seminar, University of Warsaw, February 8, 2017.
  • 5. Ramsey's theorem and the size of proofs in arithmetic,Keita Yokoyama,Logic seminar, University of Pennsylvania, April 22, 2017.
  • 6. Reverse mathematics and basic analysis,横山啓太,第4回山陰基礎論・解析学研究集会, 国際ファミリープラザ, 米子, 2017年1月8日.
  • 7. Caristi's fixed point theorem in reverse mathematic,Keita Yokoyama,Twelfth International Conference on Computability, Complexity and Randomness (CCR 2017), Mysore, India, 3-7 July, 2017.
  • 8. Konig's lemma for a tree which has at most finitely many paths in reverse mathematics,横山啓太,日本数学会, 首都大学東京, 2017年3月24日.
  • 9. Indicator and the length of the proof in arithmetic,横山啓太,ラムダ計算と論理の早春セミナー, 草津セミナーハウス, 2017年3月17日.
  • 10. Thoughts on indicators and density notions,Keita Yokoyama,IMS-JSPS Joint Workshop on Mathematical Logic and the Foundations of Mathematics, National University of Singapore, January 15-16, 2016.
  • 11. A generalization of indicator arguments,横山啓太,RIMS研究集会「Model theoretic aspects of the notion of independence and dimension」, 京都大学数理解析研究所, 2016年12月13日.
  • 12. Computable analysis and reverse mathematics,Keita Yokoyama,Algorithmic Randomness Interacts with Analysis and Ergodic Theory, The Casa Matematica Oaxaca (CMO), Mexico, December 7, 2016.
  • 13. Reverse mathematics, proof-theoretic strength and program termination,Keita Yokoyama,Mathematical Logic seminar, Fudan University, China, October 25, 2016.
  • 14. On the Proof-Theoretic Strength of Ramsey's Theorem for Pairs,Keita Yokoyama,Logic seminar, TU Darmstadt, Germany, December 20, 2016.
  • 15. On the Proof-Theoretic Strength of Ramsey's Theorem for Pairs,Keita Yokoyama,Mathematical Logic and Its Applications, RIMS, Kyoto University, Kyoto, Japan, September 26-29, 2016.
  • 16. The proof-theoretic strength of Ramsey's theorem for pairs,Keita Yokoyama,Mathematics for Computation, Lower Bavaria, DE, Germany, May 8-13, 2016.
  • 17. On the first-order strength of Ramsey's theorem for pairs and finitely many colors,Theodore A. Slaman and Keita Yokoyama,Association for Symbolic Logic 2016 Annual North American Meeting, University of Connecticut, Storrs, USA, May 23-26, 2016.
  • 18. The proof-theoretic strength of Ramsey's theorem for pairs,Keita Yokoyama,New Challenges in Reverse Mathematics, National University of Singapore, January 3-16, 2016.
  • 19. On the proof-theoretic strength of Ramsey’s theorem for pairs,Keita Yokoyama,Logic seminar, Vanderbilt University, USA, July 7, 2016.
  • 20. The proof-theoretic strength of Ramsey's theorem for pairs and two colors,Keita Yokoyama,KGRC seminar, Kurt Godel Research Center, University of Vienna, Austria, February 11, 2016.

 1  2  3  4 次へ ≫ ]