引数の確率で真を返すブール型関数の関数名に一智恵ください・・・