カード選択を利用した証明問題解決支援システムの開発

抄録

証明問題の学習方法として，穴埋め方式と記述方式があげられるが，前者は細かい部分を，後者は全体を対象としているため学習者にとって差分が大きい．そこで，本研究では，カード選択を利用した証明問題の解決支援システムの開発を行っている．本システムでは，証明問題における仮定や条件が書かれたカードを学習者が取捨選択することにより，証明を構築しており，証明問題の構造を対象とした学習が可能となると考えている．