24 Dect, 2017 The slide file was uploaded.
A hierarchy of functions corresponding randomness hierarchy
A talk in RIMS workshop “Proof theory and proving”
13 Dec, 2017 The slide file was uploaded.
What is mathematics at all?
A lecture in Meiji University Meiji High School at 6 Dec, 2017.
8 Oct, 2017.
The theme of this wordpress changed to twenty seventeen.