情報処理学会 第76回全国大会講演要旨

数学教員の支援ツールとして, 計算量がコントロールされた連立方程式の問題と模範解答を自動生成するシステムを開発した. ユーザーに指定された条件を満たす連立方程式の問題を, 解の次元から導く独自の手法を用いることで, 計算量のコントロールを可能とした. このシステムによって, 教材・試験問題作成を自動化することで, 数学教員の手間大きく省き, 教育指導により多くの時間を割けるようになることが期待される.