宮部賢志（ミヤベケンシ）
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
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
News
25 Mar, 2025: The slide file was uploaded
Title
How to study mathematics in the era of generative AI
Type
Meiji University Affiliated Junior High School Collaborative Event
25 Mar, 2025
In Japanese
Download
slide
News
17 Mar, 2025: The slide file was uploaded
Title
Quantifier variations in Solovay reducibility
Type
Talk at MSJ Spring Meeting 2025 at Waseda University
with Kumabe Masahiro (Open Univ.) and Toshio Suzuki (TMU)
18 Mar, 2025
In Japanese
Download
mathsoc
Solovay-variation
News
10 Mar, 2025: The slide file was uploaded
Title
Algorithmic Information Theory
Type
Talk at Statistics Seminar at Sapporo
11 Mar, 2025
In Japanese
Download
Sapporo-miyabe