高等学校数学科における学習方略習得のためのKBCPフレームワークを用いた授業設計の検討