被圧滞水層を掘る(荒川横断シールド工事)