News
22 Sep, 2025: New page
Title
Randomness with respect to c.e. semimeasures
Type
A talk at
Twenty-Second International Conference on Computability and Complexity in Analysis (CCA2025)
Download
CCA2025
Variation of weakly computable reals in Solovay reducibility
News
6 Sep, 2025: New page
Title
Variation of weakly computable reals in Solovay reducibility
Type
A contributed talk at
18th Asian Logic Conference (ALC)
Download
ALC-miyabe
ALC-summary
Solovay reducibility for computably approximable reals
Can AI be a mathematician?
News
26 Aug, 2025: New page
Title
Can AI be a mathematician?
Type
Summer seminar organized by the School of Science and Technology, Meiji University, for Meiji University affiliated schools.
Monday, August 25, 2025 @ Meiji University Ikuta Campus
Download
summer2-small
Solovay reducibility for computably approximable reals
News
14 June, 2025: New page
Title
Solovay reducibility for computably approximable reals
Type
CCR 2025 : Computability, Complexity and Randomness & Journées Calculabilités
16-20 Jun 2025 Bordeaux (France)
invited talk
Download
ccr2025-summary
ccr2025-slide