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
| Mar 03, 2027 | I will attend 鈴木信行先生退職記念研究集会, Shizuoka (Japan), 02-03 March 2027. |
|---|---|
| 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 22, 2026 | I will attend (online) AI for Math勉強会 第3回, Ginza (Japan), 22 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. |