微分形式による粘性流体の定式化