北陸先端科学技術大学院大学 [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階算術、逆数学、超準解析

■研究課題

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

■研究業績

◇発表論文

  • On principles between Sigma_1- and Sigma_2-induction, and monotone enumerations,Alexander P. Kreuzer and Keita Yokoyama,Journal of Mathematical Logic 16, 21 pages, 2016,no.1
  • Reverse mathematical bounds for the Termination Theorem,Silvia Steila and Keita Yokoyama,Annals of Pure Applied Logic 167, 1213–1241,no. 12
  • Notes on Various Versions of Friedman's Self-Embedding Theorem,Keita Yokoyama,Studies in Weak Arithmetics, CSLI Publications,Volume 3,231-241,2016/09/28

全件表示

◇講演発表

  • Reverse mathematics and termination analysis,Keita Yokoyama,14th Asian Logic Conference, IIT Bombay, India, January 5-8, 2015
  • 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
  • Notes on Reverse Mathematics for WWKL,Keita Yokoyama,Algorithmic Randomness and Complexity; NII Shonan Meeting Seminar 047,Shonan Village Center, Japan,September 7-12, 2014

全件表示

■学外活動

◇所属学会

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

◇国際会議主催状況

  • 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
  • Computability Theory and Foundations of Mathematics 2014,Organising CommitteeHajime Ishihara (JAIST)Ryo Kashima (Tokyo Institute of Technology, local chair)Sam Sanders (Ghent)Stephen G. Simpson (Pennsylvania State University)Kazuyuki Tanaka (Tohoku, chair)Keita Yokoyama (JAIST)Programme CommitteeKojiro Higuchi (Chiba)Takayuki Kihara(JAIST)Kenshi Miyabe(Tokyo)Takako Nemoto(JAIST)Sam Sanders (Ghent)Takeshi Yamazaki (Tohoku)Keita Yokoyama (JAIST, chair)Keisuke Yoshii (Tohoku),Tokyo Institute of Technology

■共同研究等希望テーマ

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