@MISC{DIST_1.MIZ,
  AUTHOR = {Okazaki, Hiroyuki},
  TITLE = {Probability on Finite and Discrete Set and Uniform Distribution},
  SECTION1 = {Probability on Finite and Discrete Set},
  SECTION2 = {Uniform Distribution},
  DAY = {05},
  MONTH = {May},
  YEAR = {2009},
  ADDRESS1 = {Shinshu University\\ Nagano, Japan},
  SUMMARY = {A pseudorandom number generator plays an important 
  role in practice in computer science. For example: computer 
  simulations, cryptology, and so on. A pseudorandom number generator 
  is an algorithm to generate a sequence of numbers that is 
  indistinguishable from the true random number sequence. 
  In this article, we shall formalize the ``Uniform Distribution" 
  that is the idealized set of true random number sequences. 
  The basic idea of our formalization is due to \cite{CINTA}.}}

