News
24 Feb, 2018 The slide file was uploaded.
Title
Continuity of limit computable functions at 1-generic points
Type
A talk in a seminar with Suzuki lab(in Japanese)
Download
tmu
A hierarchy of functions corresponding randomness hierarchy
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
Computation at random points
News
13 Dect, 2017 The slide file was uploaded.
Title
Computation at random points
Type
A talk in IPA Math 2017
Download
IPAmath
What is mathematics at all?
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
Halting Probability $\Omega$
News
28 Oct, 2017 The slide file was uploaded.
Title
Halting Probability $\Omega$
Type
A talk in Young gathering on mathematical founcations
Download
young