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

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

 

 

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

82件中1-20件目

  • 1. 指標関数, 強制法と証明の変換,横山啓太,日本数学会, 首都大学東京, 2018年3月18日.
  • 2. Approaching the first-order strength of Hindman's theorem,Keita Yokoyama,Logic seminar, Ghent University, Belgium, September 11, 2018.
  • 3. On the first-order strength of Ramsey's theorem for pairs,Keita Yokoyama,Logic seminar, National University of Singapore, April 26, 2018.
  • 4. Approaching the first-order strength of Hindman's theorem,Keita Yokoyama,Workshop on Computability Theory and Foundations of Mathematics 2018, Surugadai Campus, Meiji University, Tokyo, Japan, September 13-15, 2018.
  • 5. Ramsey's theorem in arithmetic,Keita Yokoyama,2018 Winter Meeting of the Association of Symbolic Logic, San Diego, USA, January 10-13, 2018.
  • 6. Ramsey's theorem and sizes of proofs,Keita Yokoyama,Workshop on Ramsey Theory and Computability, Rome, Italy, July 9–13, 2018.
  • 7. 一階算術・二階算術とラムゼイの定理,横山啓太,ロジックセミナー, 東北大学, 2018年5月25日.
  • 8. Ekeland's variational principle in reverse mathematics,Keita Yokoyama,Symposium on Advances in Mathematical Logic 2018, Takigawa Memorial Hall, Rokkodai Campus, Kobe University, Japan, September 18-20, 2018.
  • 9. Konig's lemma for a tree which has at most finitely many paths in reverse mathematics,横山啓太,日本数学会, 首都大学東京, 2017年3月24日.
  • 10. Indicator and the length of the proof in arithmetic,横山啓太,ラムダ計算と論理の早春セミナー, 草津セミナーハウス, 2017年3月17日.
  • 11. Reverse mathematics and basic analysis,横山啓太,第4回山陰基礎論・解析学研究集会, 国際ファミリープラザ, 米子, 2017年1月8日.
  • 12. Ramsey's theorem and the size of proofs in arithmetic,Keita Yokoyama,Logic seminar, University of Pennsylvania, April 22, 2017.
  • 13. MRDP theorem and arithmetic,Keita Yokoyama,The 10th NSFC-JSPS Joint Workshop on Formal Methods, Xi'an, China, November 17, 2017.
  • 14. Indicator arguments and the strength of Ramsey's theorem,,Keita Yokoyama,Logic seminar, University of Leeds, February 1, UK, 2017.
  • 15. On the first-order part of Ramsey's theorem for pairs,Keita Yokoyama,Computability Theory and Foundations of Mathematics 2017, September 11, 2017.
  • 16. 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.
  • 17. 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.
  • 18. On the first-order strength of Ramsey's theorem for pairs,Keita Yokoyama,Logic seminar, University of Warsaw, February 8, 2017.
  • 19. Generalized indicator and forcing,Keita Yokoyama,Oberwolfach Workshop: Mathematical Logic: Proof Theory, Constructive Mathematics, Mathematisches Forschungsinstitut Oberwolfach (MFO), Germany, Novem- ber 6, 2017.
  • 20. Trees with at most finitely many paths in reverse mathematics,Keita Yokoyama,Computability Theory and Foundations of Mathematics 2016, Waseda University, Tokyo, Japan, September 20-21, 2016.

 1  2  3  4  5 次へ ≫ ]