住民票取得の衝突可能性
ふたりの人間が秒単位で同じ時刻にコンビニで住民票を取得するとエラーになるらしい
秒単位の時刻をファイル名に利用していたらしいので
e.g. 20230510123456.pdfみたいなファイル名を使ってたとか?
1年間で9万件の利用があったそうだが、こういう不具合が発生した確率はどれぐらいだろうか?
total = 356 * 24 * 60 * 60
total = total
2人が衝突しない可能性: 1-(total-1)/total
3人が衝突しない可能性: 1-(total-1)/total * (total-2)/total
....
10000人が衝突しない可能性
v=1; for(i=0;i<10000;i++){ v *= (total-i)/total }
1-v
10万人だと確率は100%だ!