|
本研究では学習者が概念理解のための教材を自ら作成して学ぶことが可能となる環境を利用して，論理的思考能力の育成を図る数理科学教育のシナリオ作成を試みた。シナリオ作成のププラットフォームとしては主としてビジュアルプログラミング環境でありながらJavascriptのプログラムを実行できるSnap!を採用した。本研究では計算論，ホーア論理およびモデル検査のシナリオを作成するとともに，定理証明支援系のCoqを利用した論理教育についても調査した。以上の成果は「論理的思考能力育成のための次世代数理科学教育の研究」資料集 Snap!(BYOB)による計算機数学入門としてまとめ公開した。
|
