データ同化の数理と応用:理論モデルとデータをつなぐデータサイエンス