Title
At which points are functions differentiable?
Type
Talk at “Annual meeting of Mathematical Society of Japan” on 26-29 Mar 2012.
Abstract
Japanese abstract
Download
Slides
宮部賢志(ミヤベケンシ)
Title
At which points are functions differentiable?
Type
Talk at “Annual meeting of Mathematical Society of Japan” on 26-29 Mar 2012.
Abstract
Japanese abstract
Download
Slides
Title
Why the event with probability 0 happen
Type
Young-RICE: Young-Researchers for Improvements of College Education
20 Mar 2012
Abstract
Go to the Japanese page to see the abstract in Japanese.
Download
Japanese slide (3.1MB)
Title
L^1-computability and weak L^1-computability
Type
Talk at “Kyoto computable analysis Symposium 2012” on 24-27 Feb 2012.
Abstract
Computable functions are simple functions and
in Weihrauch approach computable functions are always continuous.
However there are some simple discontinuous functions such as the
floor function.
Therefore we need another mathematical notion to measure simplicity.
One candidate is L^1-computability, which was introduced by Pour-El
and Richard 1989.
In this talk I show you that more effectivised version of L^1-computability
has a strong connection with Schnorr randomness
and that some weaker versions of L^1-computability has connections
with some stronger randomness notions.
Download
slides
Title
Schnorr Layerwise Computability
Type
Talk at “Workshop on Proof Theory and Computability Theory 2012” on 20-23 Feb 2012.
Workshop website
Abstract
In order to formalize the notion of randomness mathematically,
the theory of algorithmic randomness uses computability theory.
Recent researches show that some notions in algorithmic randomness conversely
are useful to study computable analysis.
One example is layerwise computability defined by Hoyrup and Rojas 2009.
In this talk I introduce Schnorr layerwise computability,
which is a Schnorr-randomness version,
and explain why this is a more natural notion.
Download
slides
Title
An introduction to algorithmic randomness
Type
Talk at GCOE tea time on 10 Jan 2012.
Download
slides