関数係数はローカルで定義されていて、それらが微分形式として貼り合わさればOK