Keita Yokoyama

Publication Activity (10 Years)

Years Active: 2007-2024
Publications (10 Years): 19

Top Topics

Memory Efficient

Hierarchically Organized

Rating Prediction

Top Venues

Ann. Pure Appl. Log.

Publications

Yudai Suzuki, Keita Yokoyama
Searching problems above arithmetical transfinite recursion. Ann. Pure Appl. Log. 175 (10) (2024)
Leszek Aleksander Kolodziejczyk, Katarzyna W. Kowalik, Keita Yokoyama
How Strong is Ramsey's Theorem if infinity can be Weak? J. Symb. Log. 88 (2) (2023)
Makoto Fujiwara, Hajime Ishihara, Takako Nemoto, Nobu-Yuki Suzuki, Keita Yokoyama
Extended Frames and Separations of Logical Principles. Bull. Symb. Log. 29 (3) (2023)
Yijia Chen, Moritz Müller, Keita Yokoyama
truth and the MRDP theorem. CoRR (2022)
Yuan Wang, Shigeki Tanaka, Keita Yokoyama, Hsin-Tai Wu, Yi Fang
Two-sided Rank Consistent Ordinal Regression for Interpretable Music Key Recommendation. ICTIR (2022)
Yuan Wang, Shigeki Tanaka, Keita Yokoyama, Hsin-Tai Wu, Yi Fang
Karaoke Key Recommendation Via Personalized Competence-Based Rating Prediction. ICASSP (2021)
André Nies, Marcus Anthony Triplett, Keita Yokoyama
The Reverse Mathematics of theorems of Jordan and Lebesgue. J. Symb. Log. 86 (4) (2021)
Leszek Aleksander Kolodziejczyk, Keita Yokoyama
In Search of the First-Order Part of Ramsey's Theorem for Pairs. CiE (2021)
Keiichi Ochiai, Takuya Chida, Keita Yokoyama, Daisuke Koizumi, Hiroaki Tanaka, Akihiro Kawana
Memory Efficient Adversarial Attacks on Graphs: A Winning Solution for KDD Cup 2020. ICMU (2021)
Yuan Wang, Chenwei Wang, Yinan Ling, Keita Yokoyama, Hsin-Tai Wu, Yi Fang
Leveraging an Efficient and Semantic Location Embedding to Seek New Ports of Bike Share Services. CoRR (2020)
Caleb Davis, Denis R. Hirschfeldt, Jeffry L. Hirst, Jake Pardo, Arno Pauly, Keita Yokoyama
Combinatorial principles equivalent to weak induction. Comput. 9 (3-4) (2020)
Yuan Wang, Chenwei Wang, Yinan Ling, Keita Yokoyama, Hsin-Tai Wu, Yi Fang
Leveraging an Efficient and Semantic Location Embedding to Seek New Ports of Bike Share Services. IEEE BigData (2020)
Theodore A. Slaman, Keita Yokoyama
The strength of Ramsey's Theorem for Pairs and arbitrarily Many Colors. J. Symb. Log. 83 (4) (2018)
Emanuele Frittaion, Florian Pelupessy, Silvia Steila, Keita Yokoyama
The strength of SCT soundness. J. Log. Comput. 28 (6) (2018)
Yijia Chen, Moritz Müller, Keita Yokoyama
A parameterized halting problem, the linear time hierarchy, and the MRDP theorem. LICS (2018)
Emanuele Frittaion, Silvia Steila, Keita Yokoyama
The Strength of the SCT Criterion. TAMC (2017)
Emanuele Frittaion, Silvia Steila, Keita Yokoyama
The strength of the SCT criterion. CoRR (2016)
Alexander P. Kreuzer, Keita Yokoyama
On principles between ∑1- and ∑2-induction, and monotone enumerations. J. Math. Log. 16 (1) (2016)
Silvia Steila, Keita Yokoyama
Reverse mathematical bounds for the Termination Theorem. Ann. Pure Appl. Log. 167 (12) (2016)
Leszek Aleksander Kolodziejczyk, Keita Yokoyama
Categorical characterizations of the natural numbers require primitive recursion. Ann. Pure Appl. Log. 166 (2) (2015)
Silvia Steila, Keita Yokoyama
Reverse Mathematical Bounds for the Termination Theorem. CoRR (2015)
Yoshihiro Horihata, Keita Yokoyama
Nonstandard second-order arithmetic and Riemann's mapping theorem. Ann. Pure Appl. Log. 165 (2) (2014)
Kojiro Higuchi, W. M. Phillip Hudelson, Stephen G. Simpson, Keita Yokoyama
Propagation of partial randomness. Ann. Pure Appl. Log. 165 (2) (2014)
Shota Murakami, Takeshi Yamazaki, Keita Yokoyama
On the Ramseyan Factorization Theorem. CiE (2014)
Keita Yokoyama
-induction. Math. Log. Q. 59 (1-2) (2013)
Stephen G. Simpson, Keita Yokoyama
Reverse mathematics and Peano categoricity. Ann. Pure Appl. Log. 164 (3) (2013)
Makoto Fujiwara, Keita Yokoyama
A Note on the Sequential Version of Statements. CiE (2013)
Sam Sanders, Keita Yokoyama
The Dirac delta function in two settings of Reverse Mathematics. Arch. Math. Log. 51 (1-2) (2012)
Stephen G. Simpson, Keita Yokoyama
A Nonstandard Counterpart of WWKL. Notre Dame J. Formal Log. 52 (3) (2011)
Keita Yokoyama
Formalizing non-standard arguments in second-order arithmetic. J. Symb. Log. 75 (4) (2010)
Nobuyuki Sakamoto, Keita Yokoyama
The Jordan curve theorem and the Schönflies theorem in weak second-order arithmetic. Arch. Math. Log. 46 (5-6) (2007)
Keita Yokoyama
Complex analysis in subsystems of second order arithmetic. Arch. Math. Log. 46 (1) (2007)
Keita Yokoyama
and Riemann mapping theorem. Math. Log. Q. 53 (2) (2007)