Ryota Kuroki

Graduate student
Graduate School of Mathematical Sciences, The University of Tokyo,
3-8-1 Komaba, Meguro-ku, Tokyo, 153-8914, Japan

Name in Japanese: 黒木 亮汰

Interests: constructive algebra

E-mail: kuroki-ryota128 [at] g.ecc.u-tokyo.ac.jp

news

Mar 20, 2026 I will attend Dagstuhl Seminar 26121: Proof Systems in Actual Practice: Reasoning and Computation, Wadern (Germany), 15th to 20th March 2026.
Feb 20, 2025 I talked about the quantitative general Nullstellensatz at Logic Winter School III, Wako (Japan), 17th to 21st February 2025. Slides.
Feb 18, 2025 I attended FoPM 2nd International Symposium, Hongo (Japan), 17th to 19th February 2025. My poster.
Dec 19, 2024 I talked about the general Nullstellensatz for Jacobson rings at Computer Algebra – Foundations and Applications, Kyoto (Japan), 18th to 20th December 2024. Slides.
Nov 24, 2024 I attended Categories in Tokyo 第1回集会, Chiyoda (Japan), 23rd and 24th November 2024.

some papers

  1. A quantitative general Nullstellensatz for Jacobson rings
    Ryota Kuroki
    2025
  2. A constructive counterpart of the subdirect representation theorem for reduced rings
    Ryota Kuroki
    2024
  3. A constructive proof of the general Nullstellensatz for Jacobson rings
    Ryota Kuroki
    2024