横山 啓太

J-GLOBALへ         更新日: 18/07/29 23:08
 
アバター
研究者氏名
横山 啓太
 
ヨコヤマ ケイタ
URL
http://www.jaist.ac.jp/~y-keita/
所属
北陸先端科学技術大学院大学
部署
情報科学系
職名
講師
学位
博士(理学)(東北大学)

研究キーワード

 
 

研究分野

 
 

学歴

 
2005年4月
 - 
2008年3月
東北大学 理学研究科 数学専攻 (博士課程後期)
 
2004年4月
 - 
2005年3月
東北大学 理学研究科 数学専攻 (博士課程前期)
 
2000年4月
 - 
2004年3月
東京工業大学 理学部 1類, 数学科
 

受賞

 
2008年
川井数理科学財団 川井賞
 
2008年
東北大学大学院理学研究科青葉理学振興会 青葉理学振興会賞
 

論文

 
Emanuele Frittaion, Florian Pelupessy, Silvia Steila and Keita Yokoyama
Journal of Logic and Computation      2018年   [査読有り]
in press
Henry Towsner and Keita Yokoyama
   2018年
preprint
Leszek Aleksander Kołodziejczyk and Keita Yokoyama
   2018年
preprint
Yijia Chen, Moritz Müller and Keita Yokoyama
Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science   235-244   2018年   [査読有り]
André Nies, Marcus A. Triplett and Keita Yokoyama
   2017年
submitted
The strength of the SCT criterion
Emanuele Frittaion, Silvia Steila and Keita Yokoyama
Theory and Applications of Models of Computation, Lecture Notes in Computer Science   10185 260-273   2017年   [査読有り]
Ludovic Patey and Keita Yokoyama
Advances in Mathematics   330 1034-1070   2018年   [査読有り]
Notes on various versions of Friedman's self-embedding theorem
Keita Yokoyama
Studies in Weak Arithmetics   3 231-241   2016年   [査読有り]
Alexander P. Kreuzer and Keita Yokoyama
Journal of Mathematical Logic   16(1)    2016年   [査読有り]
Silvia Steila and Keita Yokoyama
Annals of Pure and Applied Logic   167(12) 1213-1241   2016年   [査読有り]
Leszek Aleksander Kołodziejczyk and Keita Yokoyama
Annals of Pure and Applied Logic   166(2) 219-231   2015年   [査読有り]
Shota Murakami, Takeshi Yamazaki and Keita Yokoyama
CiE 2014, Language, Life, Limits, Lecture Notes in Computer Science   8493 324-332   2014年6月   [査読有り]
Yoshihiro Horihata and Keita Yokoyama
Annals of Pure and Applied Logic   165(2) 520-551   2014年   [査読有り]
Kojiro Higuchi, Phil Hudelson, Stephen G. Simpson and Keita Yokoyama
Annals of Pure and Applied Logic   165(2) 742-758   2014年   [査読有り]
Makoto Fujiwara and Keita Yokoyama
The Nature of Computation, CiE 2013, LNCS   7921 171-180   2013年7月   [査読有り]
Keita Yokoyama
Mathematical Logic Quarterly   59(1-2) 108-111   2013年   [査読有り]
Stephen G. Simpson and Keita Yokoyama
Annals of Pure and Applied Logic   164(3) 284-293   2013年   [査読有り]
Sam Sanders and Keita Yokoyama
Archive for Mathematical Logic   51(1-2) 99-121   2012年   [査読有り]
Stephen G. Simpson and Keita Yokoyama
Notre Dame Journal of Formal Logic   52(3) 229-243   2011年   [査読有り]
Keita Yokoyama
Journal of Symbolic Logic   75(4) 1199-1210   2010年   [査読有り]
On Pi^1_1 conservativity of Pi^1_2 theories in second order arithmetic
Keita Yokoyama
Proceedings of the 10th Asian Logic Conference, World Scientific   375-386   2008年   [査読有り]
Keita Yokoyama
Archive for Mathematical Logic   46(1) 15-35   2007年   [査読有り]
Keita Yokoyama
Mathematical Logic Quarterly   53(2) 132-146   2007年   [査読有り]
Nobuyuki Sakamoto, Keita Yokoyama
Archive for Mathematical Logic   46(5-6) 465-480   2007年   [査読有り]
Theodore A. Slaman and Keita Yokoyama
Journal of Symbolic Logic      [査読有り]
to appear

Misc

 
Recent studies on the proof-theoretic strength of Ramsey's theorem for pairs
Keita Yokoyama
in RIMS Kokyuroku      2016年
Keita Yokoyama
   2013年
technical note
Notes on the first-order part of Ramsey's theorem for pairs
Keita Yokoyama
in RIMS Kokyuroku   1832    2013年
Nonstandard arguments and recursive arguments
Keita Yokoyama
in RIMS Kokyuroku   1729    2011年
Riceの定理のアナロジーについて
吉川紘史, 横山啓太
in RIMS Kokyuroku   1729 163-166   2011年

講演・口頭発表等

 
Ramsey's theorem and sizes of proofs [招待有り]
Keita Yokoyama
Workshop on Ramsey Theory and Computability   2018年7月   
Ramsey's theorem in arithmetic [招待有り]
Keita Yokoyama
2018 Winter Meeting of the Association of Symbolic Logic   2018年1月   
On the first-order part of Ramsey's theorem for pairs [招待有り]
Keita Yokoyama
Computability Theory and Foundations of Mathematics 2017   2017年9月   
On the first-order strength of Ramsey's theorem in reverse mathematics [招待有り]
Keita Yokoyama
Logic Colloquium 2017 (Special session on computability)   2017年8月   
Caristi's fixed point theorem in reverse mathematic [招待有り]
Keita Yokoyama
Twelfth International Conference on Computability, Complexity and Randomness (CCR 2017)   2017年7月