semimeasureとは 意味・読み方・使い方

名詞

semimeasure (複数形 semimeasures)

1. (mathematics) A function that assigns a non-negative number to each element of a set that is subadditive.
   • 2015, T.F. Sterkenburg, “A generalized characterization of algorithmic probability”, in arXiv^[1]:

     A universal a priori semimeasure (also known as "algorithmic probability") is defined as the transformation, by a given universal monotone Turing machine, of the uniform measure on the infinite strings.