横山 啓太

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

研究分野

 
 

学歴

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

受賞

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

論文

 
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
   2016年
submitted
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    2016年   [査読有り]
Reverse mathematical bounds for the Termination Theorem
Silvia Steila and Keita Yokoyama
Annals of Pure and Applied Logic   167 1213-1241   2016年   [査読有り]
Categorical characterizations of the natural numbers require primitive recursion
Leszek Aleksander Kołodziejczyk and Keita Yokoyama
Annals of Pure and Applied Logic   166 219-231   2015年   [査読有り]
On the Ramseyan factorization theorem
Shota Murakami, Takeshi Yamazaki and Keita Yokoyama
CiE 2014, Language, Life, Limits, Lecture Notes in Computer Science   8493    2014年6月   [査読有り]
Yoshihiro Horihata and Keita Yokoyama
Annals of Pure and Applied Logic   165 520-551   2014年   [査読有り]
Kojiro Higuchi, Phil Hudelson, Stephen G. Simpson and Keita Yokoyama
Annals of Pure and Applied Logic   165 742-758   2014年   [査読有り]
A note on the sequential version of Pi^1_2 statements
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 15-35   2007年   [査読有り]
Keita Yokoyama
Mathematical Logic Quarterly   53(2) 132-146   2007年   [査読有り]
Nobuyuki Sakamoto, Keita Yokoyama
Archive for Mathematical Logic   46 465-480   2007年   [査読有り]

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年

講演・口頭発表等

 
On the Proof-Theoretic Strength of Ramsey's Theorem for Pairs [招待有り]
Keita Yokoyama
Mathematical Logic and Its Applications   2016年9月   
Nonstandard methods in combinatorics [招待有り]
Keita Yokoyama
The 11th AIMS Conference on Dynamical Systems   2016年7月   
Thoughts on indicators and density notions [招待有り]
Keita Yokoyama
IMS-JSPS Joint Workshop on Mathematical Logic and the Foundations of Mathematics   2016年1月   
The proof-theoretic strength of Ramsey's theorem for pairs [招待有り]
Keita Yokoyama
New Challenges in Reverse Mathematics   2016年1月   
Paris's density notion and its infinite variations [招待有り]
Keita Yokoyama
JAF/MAMLS NYC   2015年7月