北陸先端科学技術大学院大学 [JAIST] - 研究者総覧
現在ページ トップページ 系別一覧表> 研究者紹介

研究者紹介

研究室
情報研究棟IS Building I 5F
TEL:0761-51-1278
研究室ホームページ
 

Japanese

リポジトリ公開資料

共同研究等のお問い合わせは, 産学官連携本部

 

 

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

■学位

東京工業大学学士(理学)(2004), 東北大学修士(理学)(2005), 東北大学博士(理学)(2008)

■職歴

東北大学理学研究科リサーチアシスタント(2005), 東北大学大学院理学研究科学振特別研究員(DC2)(2006), 東京工業大学理工学研究科教務補佐員(2008), 東北大学大学院理学研究科助教(戦略的若手教員)(2008), 山形大学地域教育文化学部非常勤講師(2009), 東北大学大学院理学研究科助教(理数応援プロジェクト)(2010), Visiting Postdoc of Pennsylvania State University(2011), 東京工業大学情報理工学研究科学振特別研究員(PD)(2011)

■専門分野

数理論理学

■研究テーマのキーワード

証明論、1階/2階算術、逆数学、超準解析

■研究課題

算術の超準モデルを用いた逆数学へのアプローチ
算術の超準モデルにおける拡大の構成、急増加関数の利用といった手法を解析や組み合わせ論等の逆数学に応用する。また逆に逆数学的な結果から算術の超準モデルの一般的な性質を解明していく。

■研究業績

◇発表論文

  • Recent studies on the proof-theoretic strength of Ramsey's theorem for pairs,Keita Yokoyama,in RIMS Kokyuroku 2050; Makoto Kikuchi (ed.): Mathematical Logic and Its Applications, pages 67-76, October, 2017
  • A parameterized halting problem, the linear time hierarchy, and the MRDP theorem,Yijia Chen, Moritz Mu ̈ller and Keita Yokoyama,Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, 2018, pages: 235-244
  • The proof-theoretic strength of Ramsey's theorem for pairs and two colors,Ludovic Patey and Keita Yokoyama,Advances in Mathematics 330, pages: 1034-1070, 2018

全件表示

◇講演発表

  • Reverse mathematics and termination analysis,Keita Yokoyama,14th Asian Logic Conference, IIT Bombay, India, January 5-8, 2015
  • Proof transformations for nonstandard analysis,Keita Yokoyama,The 10th AIMS Conference on Dynamical Systems, Differential Equations and Applications, Special session 114: Nonstandard Analysis, Quantizations and Singular Perturbations,Madrid, Spain,2014/07/07-11
  • Termination theorem and Ramsey's theorem,Keita Yokoyama,IMS-JSPS Joint Workshop in Mathematical Logic and Foundations of Mathematics,National University of Sigapore,September 1-5, 2014

全件表示

■担当講義

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

■学外活動

◇所属学会

  • Association for Symbolic Logic,2008-
  • 日本数学会,2005-

◇国際会議主催状況

  • 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),5-9 March, 2018,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),September 20 - 21, 2016,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) Toshimichi Usuba (Kobe University) Andreas Weiermann (Ghent University) Takeshi Yamazaki (Tohoku Universigy) Yang Yue (National University of Singapore) Keita Yokoyama (JAIST / UC Berkeley)Organising Committee Makoto Fujiwara (JAIST) Ryo Kashima (Tokyo Institute of Technology, local chair) Takayuki Kihara (UC Berkeley) Takako Nemoto (JAIST) Florian Pelupessy (Tohoku University) Takeshi Yamazaki (Tohoku University, co-chair) Keita Yokoyama (JAIST / UC Berkeley, co-chair),2015/09/07-2015/09/11,Tokyo Institute of Technology

全件表示

■共同研究等希望テーマ

  • 算術の証明論/モデル論、逆数学の周辺分野