横山啓太 (Keita Yokoyama) - マイポータル

基本情報

所属: 東北大学大学院理学研究科数学専攻教授

学位: 博士(理学)(東北大学)

J-GLOBAL ID: 200901043117707317
researchmap会員ID: 6000017665

外部リンク

研究キーワード

研究分野

自然科学一般 / 数学基礎 /

学歴

2005年4月 - 2008年3月

東北大学, 理学研究科, 数学専攻 (博士課程後期)
2004年4月 - 2005年3月

東北大学, 理学研究科, 数学専攻 (博士課程前期)
2000年4月 - 2004年3月

東京工業大学, 理学部, 1類, 数学科

委員歴

2022年3月 - 現在

日本数学会, 数学基礎論及び歴史分科会運営委員
2021年1月 - 現在

Annals of Pure and Applied Logic, Editor
2020年7月 - 現在

日本数学会, 雑誌数学編集委員
2020年1月 - 現在

Association for Symbolic Logic, Council
2019年1月 - 現在

Association for Symbolic Logic, East Asia Regional committee (chair 2021--)

受賞

2008年

川井賞, 川井数理科学財団

横山啓太
2008年

青葉理学振興会賞, 東北大学大学院理学研究科青葉理学振興会

横山啓太

論文

EXTENDED FRAMES AND SEPARATIONS OF LOGICAL PRINCIPLES

MAKOTO FUJIWARA, HAJIME ISHIHARA, TAKAKO NEMOTO, NOBU-YUKI SUZUKI, KEITA YOKOYAMA

The Bulletin of Symbolic Logic 29(3) 1-42 2023年7月26日
How strong is Ramsey’s theorem if infinity can be weak?

Leszek Aleksander Kołodziejczyk, Katarzyna W. Kowalik, Keita Yokoyama

The Journal of Symbolic Logic 1-21 2022年6月14日査読有り
An isomorphism theorem for models of Weak König's Lemma without primitive recursion

Marta Fiori-Carones, Leszek Aleksander Kołodziejczyk, Tin Lok Wong, Keita Yokoyama

2021年12月20日
In Search of the First-Order Part of Ramsey’s Theorem for Pairs

Leszek Aleksander Kołodziejczyk, Keita Yokoyama

Lecture Notes in Computer Science 12813 297-307 2021年7月査読有り招待有り
The reverse mathematics of theorems of Jordan and Lebesgue

André Nies, Marcus A. Triplett, Keita Yokoyama

Journal of Symbolic Logic 2021年査読有り
Ekeland’s variational principle in weak and strong systems of arithmetic

David Fernández-Duque, Paul Shafer, Keita Yokoyama

Selecta Mathematica 26(5) 2020年11月査読有り
Some upper bounds on ordinal-valued Ramsey numbers for colourings of pairs

Leszek Aleksander Kołodziejczyk, Keita Yokoyama

Selecta Mathematica 26(4) 2020年9月査読有り責任著者
Ramsey's theorem for pairs, collection, and proof size

Leszek Aleksander Kołodziejczyk, Tin Lok Wong, Keita Yokoyama

2020年
Combinatorial principles equivalent to weak induction

Caleb Davis, Denis R. Hirschfeldt, Jeffry Hirst, Jake Pardo, Arno Pauly, Keita Yokoyama

Computability 1-12 2019年8月5日査読有り
The strength of SCT soundness

Emanuele Frittaion, Florian Pelupessy, Silvia Steila, Keita Yokoyama

Journal of Logic and Computation 2018年査読有り
Erdos-Moser and ISigma_2

Henry Towsner, Keita Yokoyama

2018年
The strength of Ramsey's theorem for pairs and arbitrarily many colors

Theodore A. Slaman, Keita Yokoyama

Journal of Symbolic Logic 83(4) 1610-1617 2018年査読有り責任著者
A parameterized halting problem, the linear time hierarchy, and the MRDP theorem

Yijia Chen, Moritz Müller, 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, Keita Yokoyama

Advances in Mathematics 330 1034-1070 2018年査読有り責任著者
The strength of the sct criterion

Emanuele Frittaion, Silvia Steila, Keita Yokoyama

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 10185 260-273 2017年査読有り
Reverse mathematical bounds for the Termination Theorem

Silvia Steila, Keita Yokoyama

ANNALS OF PURE AND APPLIED LOGIC 167(12) 1213-1241 2016年12月査読有り
On principles between Σ_1- and Σ_2-induction, and monotone enumerations

Alexander P. Kreuzer, Keita Yokoyama

Journal of Mathematical Logic 16(1) 2016年6月査読有り
Notes on various versions of Friedman's self-embedding theorem

Keita Yokoyama

Studies in Weak Arithmetics 3 231-241 2016年査読有り
Categorical characterizations of the natural numbers require primitive recursion

Leszek Aleksander Kolodziejczyk, Keita Yokoyama

ANNALS OF PURE AND APPLIED LOGIC 166(2) 219-231 2015年2月査読有り
Nonstandard second-order arithmetic and Riemann's mapping theorem

Yoshihiro Horihata, Keita Yokoyama

ANNALS OF PURE AND APPLIED LOGIC 165(2) 520-551 2014年2月査読有り

もっとみる

MISC

Very weak fragments of weak Kőnig's lemma

Stephen G. Simpson, Keita Yokoyama

2021年1月3日
199

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年10月11日
134

Notes on the first-order part of Ramsey's theorem for pairs

Keita Yokoyama

in RIMS Kokyuroku 1832 127-134 2013年
236

Nonstandard arguments and recursive arguments

Keita Yokoyama

in RIMS Kokyuroku 1729 152-162 2011年
309

Riceの定理のアナロジーについて

吉川紘史, 横山啓太

in RIMS Kokyuroku 1729 163-166 2011年
Standard and non-standard analysis in second order arithmetic

Keita Yokoyama

Tohoku Mathematical Publications 34 1-130 2009年
741

超準手法の逆数学と２階算術体系

横山啓太

日本数学会, 数学基礎論および歴史分科会, 特別講演アブストラクト 36-50 2009年
Singularities of Holomorphic Functions in Subsystems of Second Order Arithmetic

Yoshihiro Horihata, Keita Yokoyama

in; Arnold Beckmann, Costas Dimitracopoulos, and Benedikt Löwe (eds.): Logic and Theory of Algorithms, Fourth Conference on Computability in Europe, CiE 2008, Athens, Greece, June 2008, Local Proceedings 157-164 2008年
161

Reverse Mathematics for Fourier expansion

Keita Yokoyama

in; Arnold Beckmann, Costas Dimitracopoulos, and Benedikt Löwe (eds.): Logic and Theory of Algorithms, Fourth Conference on Computability in Europe, CiE 2008, Athens, Greece, June 2008, Local Proceedings 473-482 2008年
294

２階算術における関数空間の扱いと超準解析的手法

横山啓太

「算術体系の証明論」京都大学数理解析研究所講究録 1533 86-102 2007年
429

ACA0 のモデルの特徴付けと超準解析

横山啓太

「自然数の超準モデルにおける１階定義可能性の研究」京都大学数理解析研究所講究録 1469 27-34 2006年
222

Differential calculus in second order arithmetic

Keita Yokoyama

「証明論と計算論」京都大学数理解析研究所講究録 1442 122-148 2005年

主要な講演・口頭発表等

Reverse mathematics from multiple points of view

Keita Yokoyama

International Congress of Mathematics 2022 2022年7月13日招待有り

もっとみる

担当経験のある科目(授業)

所属学協会

共同研究・競争的資金等の研究課題

構成的逆数学の新たな展開と数学定理の計算論的意味の解明

日本学術振興会科学研究費助成事業国際共同研究加速基金(国際共同研究強化(B)) 2021年10月 - 2026年3月

石原哉, 河井達治, 横山啓太, 根元多佳子, 藤原誠
逆数学における分割順序数

日本学術振興会科学研究費助成事業特別研究員奨励費 2022年4月 - 2024年3月

横山啓太, SOLDA GIOVANNI
数理論理学の分野融合手法と量的な視点による証明論の新分野開拓

日本学術振興会科学研究費助成事業基盤研究(C) 2019年4月 - 2023年3月

横山啓太
多重視点の証明解析による逆数学の汎用化・深化とその応用

日本学術振興会科学研究費助成事業若手研究(B) 2016年4月 - 2020年3月

横山啓太
証明可能性の相転移と逆数学の超臨界

日本学術振興会科学研究費助成事業基盤研究(B) 2015年4月 - 2020年3月

田中一之, 横山啓太, 木原貴行, 根元多佳子
「3次元的逆数学」のための基盤構築

日本学術振興会科学研究費助成事業研究活動スタート支援 2013年8月 - 2015年3月

横山啓太
ランダム性の計算的諸相と超準的手法によるその構造解析

日本学術振興会科学研究費助成事業基盤研究(B) 2011年4月 - 2015年3月

田中一之, 山崎武, 鈴木登志雄, 只木孝太郎, 黒田覚, 横山啓太
超準手法と算術の融合による逆数学プログラムと超準解析学の発展

日本学術振興会科学研究費助成事業若手研究(B) 2009年 - 2011年

横山啓太
実解析学複素解析学及び幾何学の基礎についての逆数学的研究

日本学術振興会科学研究費助成事業特別研究員奨励費 2006年 - 2007年

横山啓太

社会貢献活動

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) Kanazawa Tokyu Hotel, Ishikawa, Japan 2018年3月5日 - 2018年3月9日
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) Waseda University, Tokyo, Japan 2016年9月20日 - 2016年9月21日
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 Tokyo Institute of Technology 2015年9月7日 - 2015年9月11日
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 Tokyo Institute of Technology

横山啓太

基本情報

研究キーワード

研究分野

学歴

委員歴

受賞

論文

MISC

主要な講演・口頭発表等

担当経験のある科目(授業)

所属学協会

共同研究・競争的資金等の研究課題

社会貢献活動

メニュー

共著者の一覧