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: 黒木 亮汰 [kɯɾokʲi ɾʲoːta]
Interests: constructive algebra
Email: kuroki-ryota128 [at] g.ecc.u-tokyo.ac.jp
news
| Dec 09, 2026 | I will attend 証明論・計算論シンポジウム 2026, Ookayama (Japan), 07-09 December 2026. |
|---|---|
| Nov 27, 2026 | I will attend Trends in Logic XXVI, Sendai (Japan), 23-27 November 2026. |
| Nov 04, 2026 | I will attend Categories in Tokyo 第3回集会, Ginza (Japan), 02-04 November 2026. |
| Oct 31, 2026 | I will attend 異分野異業種研究交流会 2026, Komaba (Japan), 31 October 2026. |
| Oct 18, 2026 | I will talk about inductive definitions of Noetherian rings at 数学基礎論若手の会2026, Sendai (Japan), 16-18 October 2026. |
| Oct 08, 2026 | I will attend Symbolic Logic and Computer Science (SLACS) 2026, Ginza (Japan), 05-08 October 2026. |
| Sep 18, 2026 | I gave a talk on entailment relations in constructive algebra and a short talk on inductive definition of Noetherian rings at Autumn school “Proof and Computation” 2026, Fischbachau (Germany), 13-19 September 2026. |
| Sep 11, 2026 | I gave a short talk on inductive definitions of Noetherian rings at Proof Society 2026, Aussois (France), 7-11 September 2026. |
| Aug 23, 2026 | I talked about automorphisms of the universe at ユニバースオフ (Offline meeting on universes),, Tokyo (Japan), 23 August 2026. |
| Aug 21, 2026 | I attended Logic Summer School 2026: Large cardinals, Shizuoka (Japan), 18-21 August 2026. |