全域が晴れる確率とは