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
| 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. |
| Jun 05, 2026 | I talked about a quantitative Hilbert’s basis theorem and the constructive Krull dimension at 第37回可換環論セミナー (Seminar on Commutative Ring Theory), Chiba (Japan), 02-05 June 2026. |
| May 30, 2026 | I attended CCC 2026: Continuity, Computability, Constructivity – From Logic to Algorithms, Kyoto (Japan), 27-30 May 2026. |
| Apr 20, 2026 | I attended Taming the Infinite: Logic, Algebra, and Constructive Mathematics, Verona (Italy), 20 April 2026. |
| Apr 17, 2026 | I attended 7th Workshop on Formal Topology, Venice (Italy), 13-17 April 2026. |