横山 啓太 (Keita Yokoyama)講師
情報科学系,知能ロボティクス領域
◆学位
博士(理学) 東北大学
◆職歴
: 東北大学理学研究科リサーチアシスタント(2005), 東北大学大学院理学研究科学振特別研究員(DC2)(2006), 東京工業大学理工学研究科教務補佐員(2008), 東北大学大学院理学研究科助教(戦略的若手教員)(2008)
: 山形大学地域教育文化学部非常勤講師(2009), 東北大学大学院理学研究科助教(理数応援プロジェクト)(2010), Visiting Postdoc of Pennsylvania State University(2011), 東京工業大学情報理工学研究科学振特別研究員(PD)(2011)
◆専門分野
数理論理学
◆研究キーワード
証明論, 2階算術, 逆数学, 超準解析学, 算術のモデル
◆研究課題
算術の超準モデルを用いた逆数学へのアプローチ
算術の超準モデルにおける拡大の構成、急増加関数の利用といった手法を解析や組み合わせ論等の逆数学に応用する。また逆に逆数学的な結果から算術の超準モデルの一般的な性質を解明していく。

■研究業績

◆発表論文
The strength of SCT soundness
Emanuele Frittaion, Florian Pelupessy, Silvia Steila and Keita Yokoyama
Journal of Logic and Computation, -, 2018
Erdos-Moser and ISigma_2
Henry Towsner and Keita Yokoyama
-, 2018
Some upper bounds on ordinal-valued Ramsey numbers for colourings of pairs
Leszek Aleksander Kołodziejczyk and Keita Yokoyama
-, 2018
A parameterized halting problem, the linear time hierarchy, and the MRDP theorem
Yijia Chen, Moritz Müller and Keita Yokoyama
Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, 235-244, 2018
The proof-theoretic strength of Ramsey's theorem for pairs and two colors
Ludovic Patey and Keita Yokoyama
Advances in Mathematics, 330, 1034-1070, 2018
◆Misc
Recent studies on the proof-theoretic strength of Ramsey's theorem for pairs
Keita Yokoyama
in RIMS Kokyuroku, -, 2016
A generalization of Levin-Schnorr's theorem
Keita Yokoyama
-, 2013
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, Rome, Italy, 2018/07
Ramsey's theorem in arithmetic
Keita Yokoyama
2018 Winter Meeting of the Association of Symbolic Logic, San Diego, USA, 2018/01
On the first-order part of Ramsey's theorem for pairs
Keita Yokoyama
Computability Theory and Foundations of Mathematics 2017, National University of Singapore, Singapore, 2017/09
On the first-order strength of Ramsey's theorem in reverse mathematics
Keita Yokoyama
Logic Colloquium 2017 (Special session on computability), Stockholm University, Sweden, 2017/08
Caristi's fixed point theorem in reverse mathematic
Keita Yokoyama
Twelfth International Conference on Computability, Complexity and Randomness (CCR 2017), Mysore, India, 2017/07

■担当講義

基礎情報数学, 数理論理学

■学外活動

◆所属学会
Association for Symbolic Logic, 日本数学会
◆学術貢献活動
Second Workshop on Mathematical Logic and its Applications , Ryota Akiyoshi (Waseda, Japan)Makoto Fujiwara (Waseda, Japan)Tatsuji Kawai (Padova, Italy)Takako Nemoto (JAIST, Japan, chair)Keita Yokoyama (JAIST, Japan) , 2018/03/05 - 2018/03/09 , Kanazawa Tokyu Hotel, Ishikawa, Japan
Computability Theory and Foundations of Mathematics 2016 , Makoto Fujiwara (Waseda University, co-chair)Florian Pelupessy (Tohoku University)Kazuyuki Tanaka (Tohoku University, co-chair)Toshimichi Usuba (Waseda University)Keita Yokoyama (JAIST) , 2016/09/20 - 2016/09/21 , Waseda University, Tokyo, Japan
Computability Theory and Foundations of Mathematics 2015 , Programme Committee Chi Tat Chong (National University of Singapore, co-chair) Kojiro Higuchi (Chiba University) Makoto Kikuchi (Kobe University) Takako Nemoto (JAIST) Stephen G. Simpson (Pennsylvania State University, co-chair) Toshimic , 2015/09/07 - 2015/09/11 , Tokyo Institute of Technology

■賞等

・ 川井賞 , 横山 啓太 , 川井数理科学財団 , 2008
・ 青葉理学振興会賞 , 横山 啓太 , 東北大学大学院理学研究科青葉理学振興会 , 2008