結果 : formal problem solving methods