seed
で乱数生成器にシードを与えます。
// マイクロ秒で表した時間によりシード function make_seed() { list($usec, $sec) = explode(' ', microtime()); return (float) $sec + ((float) $usec * 100000); } mt_srand(make_seed()); $randval = mt_rand(); |
mt_rand()
,
mt_getrandmax()
,
srand()
,
rand()
,
getrandmax()
も参照下さい。