この資料をSMS送信: Bayesian inference with certifiable adversarial robustness