柳子厚詩雲：「空齋不語坐高舂。」薛能詩雲：「隔江遙見夕陽舂。」或雲見舂米大非也。《淮南子》雲「日至於虞淵是謂高春。」注雲：「虞淵，地名。高舂時始成，民碓舂時也。」「至於連石，是謂下舂。」注雲：「連石，西山名，言將暝下，民悉春，故曰下舂。」