4 décembre 2024
library(tidyverse)
set.seed(84735)
n = 10000
ggplot() + stat_function(fun = ~dbeta(.x, 9, 11))
x = data.frame(pi = rbeta(n, 9, 11)) |> mutate(y = rbinom(n, size = 50, prob = pi))
ggplot(x) + geom_point(aes(x = pi, y = y, color = (y == 30)))
posterior = x |> filter(y == 30)
ggplot(posterior) + geom_density(aes(x = pi))
ggplot(posterior) + geom_density(aes(x = pi)) + stat_function(fun = ~dbeta(.x, 39, 31), color = "red")
posterior |> summarise(mean(pi), sqrt(var(pi)))
mean(pi) sqrt(var(pi)) 1 0.5549714 0.05779086
mean = 39 / (39 + 31) sd = sqrt((39 * 31) / ((39 + 31) ^ 2 * (39 + 31 + 1))) mean
[1] 0.5571429
sd
[1] 0.05895029