数学協働プログラム「気象学におけるビッグデータ同化の数理」