CCRがテレビに!

CCRがテレビで放映されたようです.
行けなくて本当に残念です.
http://thinktechhawaii.com/bounding-rationality-with-computation/

Separation of randomness notions in Weihrauch degrees

履歴
2015年10月2日 要旨アップロード

タイトル
Separation of randomness notions in Weihrauch degrees

種類
Dagstuhl Seminarでの黒板での短い講演

要旨
If someone says that a function is “computable”, it sometimes means that it is programmable with a programming language with a random generator. Computability with a random set can be paid more attension. In this talk we will consider whether we can make a random set more random. In other words, we will consider randomness notions in Weihrauch degrees and see some separation of them.
This is a joint work with Rupert Hölzl.