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
Quantifier Variations in Solovay Reducibility
News
2 May, 2025: New page
Title
Quantifier Variations in Solovay Reducibility
Type
American Mathematical Society 2025 Spring Western Sectional Meeting
San Luis Obispo, CA – California Polytechnic, San Luis Obispo, CA
May 3-4, 2025 (Saturday – Sunday)
Special Session on Logic and Analysis, III