アルゴリズム的ランダムな無限列
algorithmically random sequence
アルゴリズム情報理論
K自明集合
https://ja.wikipedia.org/wiki/アルゴリズム的ランダムな無限列