News
12 Dec, 2023: The slide was uploaded
Title
Strong Solovay reducibility
Type
Talk on Proof theory workshop@RIMS
Download
rims
Computable prediction
News
6 Nov, 2023: The slide was uploaded
Title
Computable prediction
Type
Talk on Mini-Workshop on Computability in Tokyo in English
Download
mini-workshop
Computability of reals
News
27 Sep, 2023: The slide was uploaded
Title
Computability of reals
Type
Lectures on Summer School on mathematical foundations in Japanese
Download
You can download the slide files on the website.
Solovay reducibility and signed-digit representation
Characterizations of Solovay reducibility via query restriction for signed-digit representation
News
21 Sep, 2023: The slide was uploaded
Title
Characterizations of Solovay reducibility via query restriction for signed-digit representation
Type
Talk on Mathematical Society of Japan
Download
mathsoc