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
| Nov 04, 2026 | I attended Categories in Tokyo 第3回集会, Ginza (Japan), 02-04 November 2026. |
|---|---|
| Oct 31, 2026 | I attended 異分野異業種研究交流会 2026, Komaba (Japan), 31 October 2026. |
| Oct 22, 2026 | I attended (online) AI for Math勉強会 第3回, Ginza (Japan), 22 October 2026. |
| Oct 17, 2026 | I talked about inductive definitions of Noetherian rings at 数学基礎論若手の会2026, Sendai (Japan), 16-18 October 2026. Slides. |
| Oct 08, 2026 | I attended 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), 07-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. |
| Jun 26, 2026 | I attended Symposium on Advances in Mathematical Logic (SAML) 2026, Kyoto (Japan), 23-26 June 2026. |