Research on an education support system for elementary geometry based on handwriting behavior

本研究では既存の手書き数式インタフェースを応用して、授業者と学習者が共に活用できる図形・命題の手書き入力インタフェースを作成すると共に、図形の証明問題学習に対応した教育支援システムを実現することを目指している。令和4年度は入力インタフェースと数式処理エンジンとの連携に関する研究を推進した。C言語で実装した数式処理エンジンをWebAssemblyを用いてJavaScriptから呼び出せるようにし、Webアプリとして構築した入力インタフェースとデータを送受信できるようにした。使用した数式処理エンジンは複数のプログラムから構成されたものであるが、EmscriptenのMODULARIZE機能を利用してモジュール化することにより、Webアプリから同時実行できるようにした。既存の数学ソフトウェア（特に数式処理システム）はC言語やC++で開発されプラットフォーム依存のものが多く、それらのマルチプラットフォーム対応が課題となっているが、本手法を用いることにより既存数学ソフトウェアをWebアプリ化できる可能性がある。さらに、計算エンジン部とGUI部を切り離して開発できるというメリットもある。この成果の一部は書籍「数学ソフトウェアの作り方」として共立出版より出版された。また、第148回日本数学会九州支部例会における特別講演、日本数学会ワークショップ「数学ソフトウェアとフリードキュメント34」、およびRisa/Asir Conference 2023で発表した。

本研究では既存の手書き数式インタフェースを応用して、授業者と学習者が共に活用できる図形・命題の手書き入力インタフェースを作成すると共に、図形の証明問題学習に対応した教育支援システムを実現することを目指している。令和4年度は入力インタフェースと数式処理エンジンとの連携に関する研究を推進した。C言語で実装した数式処理エンジンをWebAssemblyを用いてJavaScriptから呼び出せるようにし、Webアプリとして構築した入力インタフェースとデータを送受信できるようにした。使用した数式処理エンジンは複数のプログラムから構成されたものであるが、EmscriptenのMODULARIZE機能を利用してモジュール化することにより、Webアプリから同時実行できるようにした。既存の数学ソフトウェア（特に数式処理システム）はC言語やC++で開発されプラットフォーム依存のものが多く、それらのマルチプラットフォーム対応が課題となっているが、本手法を用いることにより既存数学ソフトウェアをWebアプリ化できる可能性がある。さらに、計算エンジン部とGUI部を切り離して開発できるというメリットもある。この成果の一部は書籍「数学ソフトウェアの作り方」として共立出版より出版された。また、第148回日本数学会九州支部例会における特別講演、日本数学会ワークショップ「数学ソフトウェアとフリードキュメント34」、およびRisa/Asir Conference 2023で発表した。