国営くじの完全クローズドソース乱数生成を信用すべきかという問