リーマン計量のための共変微分形式