計算機を利用した問題の表現と解法に関する研究