An examination of Japanese curriculum materials through quantitative and covariational reasoning: the treatment of linear functions | Synapse