パターン認識 stan モデル 時系列分析 最適化 因果推論 数理モデル 数理最適化 ベイズ統計 回帰分析 MCMC kaggle データサイエンス 数理統計学 データサイエンティスト データマイニング