News
28 Oct, 2017 The slide file was uploaded.
Title
Halting Probability $\Omega$
Type
A talk in Young gathering on mathematical founcations
Download
young
Face randomness by mathematics
News
7 Oct, 2017 The slide file was uploaded.
Title
Face randomness by mathematics
Type
A talk in Mathpower
Download
mathpower_miyabe
Solomonoff’s universal induction, or algorithmic probability
Turing degree
News
5-7 Aug, 2017. Summer School of mathematical foundations
Title
Turing degree
Type
A lecture at summer school of mathematical foundations (in Japanese)
Download
A resume in Japanese can be downloaded from the website.
Berry’s paradox
News
22 Apr, 2016. The slide file was uploaded
Title
Berry’s paradox
Type
Freshman seminar at math department of Meiji University
Download
Slide in Japanese