SIREN 乱数

SIREN の乱数要素について記す．

牧野粗戸の石川家内にあるラジカセについて
ラジカセの番号は 4 桁となっていて，再生，早送り，早戻しによって番号が増減する．最小値は 0000，最大値は 0999 である．
番号の初期値は，2 回のシナリオセレクトを含む 332 回の試行によると，左から 2 桁目は 0-4 を，3 桁目は 0-6 を，4 桁目は 0-7 をとる．したがって，最小値は 0000，最大値は 0467 である．また，各値が出る確率はほぼ等しいと思われる．

高遠学校における校内放送後の配置について
校内放送のムービー後の，１階廊下を巡回している鎌屍人と春海の位置はランダムで決定される．春海が女子トイレの個室内にいて屍人が巡回しているパターン（"Harumi" と呼ぶことにする），春海が図書室にいて屍人が巡回しているパターン（"Nobody" と呼ぶ），春海が図書室にいて屍人が女子トイレの個室内にいるパターン（"Shibito" と呼ぶ）の 3 つがある．
1 回のシナリオセレクトと 99 回のチェックポイントからのリトライを合わせた計 100 回の試行によると，それぞれの確率はおよそ次の通りである．
Harumi：0.4
Nobody：0.4
Shibito：0.2