| 研究課題/領域番号 |
21K12157
|
|---|
| 研究種目 |
基盤研究(C)
|
| 配分区分 | 基金 |
|---|
| 応募区分 | 一般 |
|---|
| 審査区分 |
小区分62030:学習支援システム関連
|
|---|
| 研究機関 | 福岡教育大学 |
|---|
研究代表者 |
藤本 光史 福岡教育大学, 教育学部, 教授 (20270241)
|
|---|
| 研究期間 (年度) |
2021-04-01 – 2025-03-31
|
| 研究課題ステータス |
交付 (2023年度)
|
| 配分額 *注記 |
4,160千円 (直接経費: 3,200千円、間接経費: 960千円)
2024年度: 650千円 (直接経費: 500千円、間接経費: 150千円)
2023年度: 1,040千円 (直接経費: 800千円、間接経費: 240千円)
2022年度: 1,560千円 (直接経費: 1,200千円、間接経費: 360千円)
2021年度: 910千円 (直接経費: 700千円、間接経費: 210千円)
|
|---|
| キーワード | ユーザインタフェース / WebAssembly / GeoGebra / React / Webアプリケーション / 数学ソフトウェア / マルチプラットフォーム / 手書き図形入力 / 手書きインタフェース / 手書き数式入力 / 初等幾何証明支援 / 数式処理システム |
|---|
| 研究開始時の研究の概要 |
中学・高校での「図形の証明問題」は，教師も生徒も苦手意識が高く，教えにくく学びづらい分野になっており，両者を支援するシステムが求められている．本研究では，既存の手書き数式インタフェースを応用して，授業者と学習者が共に活用できる図形・命題の手書き入力インタフェースを作成すると共に，図形の証明問題学習に対応したマルチプラットフォーム教育支援システムを開発する．そして，証明問題の学習プロセスの「命題の理解」だけでなく「真偽の判定」や「証明の作成」の活動までサポートすることを目指す．
|
| 研究実績の概要 |
本研究では既存の手書き数式インタフェースを応用して、授業者と学習者が共に活用できる図形・命題の手書き入力インタフェースを作成すると共に、図形の証明問題学習に対応した教育支援システムを実現することを目指している。令和5年度はユーザインタフェースと数式処理エンジンの実装手法に関する研究を推進した。
これまで取り組んできたWebAssemblyを用いた数学学習のためのWebアプリケーションの実装手法を発展させ、ユーザインタフェースの作成にReactとGeoGebraを、計算エンジンの作成にC言語とWebAssemblyを用いる実装手法を提案し、その実装例として数学パズルのライツアウトアプリgeo-lightsを開発した。
ReactによるリッチなUIコンポーネントと動的幾何ソフトウェアのGeoGebraを用いることで高機能な対話型数学インタフェースが作成できる。また、C言語がWebアプリで利用できるようになれば、既存の高機能な数式処理システムと連携できるようになることが期待される。
この研究成果の一部は京都大学数理解析研究所講究録や統計数理研究所共同研究リポートに掲載されると共に、RIMS共同研究「数学ソフトウェアとその効果的教育利用に関する研究」、統計数理研究所共同研究「動的幾何学ソフトウェアGeoGebraの整備と普及」、Risa/Asir Conference 2024の各研究集会で発表された。
|
| 現在までの達成度 (区分) |
現在までの達成度 (区分)
2: おおむね順調に進展している
理由
手書きを活かした初等幾何教育支援システムの実現に必要な数学インタフェースの研究を推進し、上記「研究実績の概要」で記述した結果を得た。そして、研究論文2篇を出版し、研究集会で3件の研究発表を行った。
|
| 今後の研究の推進方策 |
2024年度は昨年度に提案した実装手法を用いて、初等幾何命題の入力インタフェースの研究を行う。特に次の2点に注力して研究を進める。
1.【入力図形からの情報抽出】入力図形から幾何命題を構成する関係式を自動抽出するアルゴリズムの研究を行う。
2.【命題の真偽判定機能】図形情報を連立多項式で表現してグレブナー基底計算で命題の真偽判定を行う機能を実装する。
|
