News
24 Dect, 2017 The slide file was uploaded.
Title
A hierarchy of functions corresponding randomness hierarchy
Type
A talk in RIMS workshop “Proof theory and proving”
Download
rims
宮部賢志(ミヤベケンシ)
News
24 Dect, 2017 The slide file was uploaded.
Title
A hierarchy of functions corresponding randomness hierarchy
Type
A talk in RIMS workshop “Proof theory and proving”
Download
rims
News
13 Dect, 2017 The slide file was uploaded.
Title
Computation at random points
Type
A talk in IPA Math 2017
Download
IPAmath
News
13 Dec, 2017 The slide file was uploaded.
Title
What is mathematics at all?
Type
A lecture in Meiji University Meiji High School at 6 Dec, 2017.
Download
math
News
28 Oct, 2017 The slide file was uploaded.
Title
Halting Probability
Type
A talk in Young gathering on mathematical founcations
Download
young
8 Oct, 2017.
The theme of this wordpress changed to twenty seventeen.