HOMEアクチュアリー 数学 Pro forma financial statements 2026年3月27日 Pro forma analysis Probabilistic programming