@MISC{DIST_2.MIZ,
  AUTHOR = {Okazaki, Hiroyuki},
  TITLE = {Posterior Probability on Finite Set},
  NOTE = {This work is supported by JSPS KAKENHI 2124000101.},
  SECTION1 = {Equivalent Distributed Finite and Distributed Sample Spaces},
  SECTION2 = {Probability Measure of Equivalent Distributed Finite and Distributed Sample Spaces},
  SECTION3 = {Sampling and Posterior Probability},
  DAY = {4},
  MONTH = {July},
  YEAR = {2012},
  ADDRESS1 = {Shinshu University, Nagano, Japan},
  SUMMARY = {In \cite{DIST_1.ABS}, we formalized probability and
  probability distribution on a finite sample space.
  In this article first we  propose a
  formalization of the class of finite
  sample spaces whose element's probability distributions
  are equivalent with each other. Next we formalize the
  probability measure of the class of sample spaces we have
  formalized above. Finally then, we formalize the sampling and
  posterior probability.}}

