[1L3] ヒューマンインタフェース・教育支援-教育・学習支援(3)

[1L3-01] 数学証明問題を用いた論理的思考力育成システムの開発

〇川本 佳代^1,2、古谷 美夏¹、宮脇 綾子¹、内田 智之¹、平嶋 宗²、林 雄介² (1. 広島市立大学、2. 広島大学)

キーワード：論理的思考力育成支援システム、数学証明問題、アンドロイドタブレットアプリ

現代社会において，論理的思考力は最も重要な能力の1つである．高等学校学習指導要領解説においても，論理的な思考力の育成は重視されており，特に高校の数学教育において数学証明を扱うことが論理的思考力の育成に役立つと述べられている．本稿では，数学の証明論法の中でも背理法と対偶法に絞り，数学的な表現力および構成力の習得を通して，表現力を含む論理的思考力の育成を目指した論理的思考力育成システムを提案する。さらに，Android Tablet上に実装したシステムを用いた評価実験により提案システムの有用性を示す．