知識を獲得する場面
問題を考察して設定・構造を読み取る　
→　変数を設定する・条件を整理する・用語を定義する
→　満たすべき式を予想する(定式化)　→　計算や論理で証明する

知識を使う場面
問題を考察して設定・構造を読み取る　
→　未知数を設定に加える　→　知識を用いて満たすべき式をつくる　→　計算で要求にこたえる