プリミティブ方程式に対するナッジング型データ同化の数学的側面について