授業概要

アルゴリズム的ランダムネスの理論では,科学の基本概念であるランダムについて,計算論を使って厳密な定義を与え,その性質を調べる。本講義では,計算論の再帰定理やTuring次数などの概念の復習から始める。その後,MLランダムネスの定義といくつかの性質を見る。特に,ランダムな列の構成技術に焦点を当てて解説する。

授業内容

以下の講義ノートの中から,上記の話題の部分を取り出して,黒板に板書する形で進める.IDとパスワードは講義中に伝える.

講義ノート(2017年5月24日版)

レポート課題とその解答(2017年7月8日版)