本研究では数学の証明学習に着目し，推論過程の学習を促進するためのWebアプリケーションを開発している．現在までに，自然言語で記述された数学証明の論理構造をフローチャート様の論理構造図で表現するための作図ツールが実装された．本発表では，論理構造図による理解を自然言語記述の原文による理解へ転移させることを志向し，原文および論理構造図内における命題間の対応関係を提示する機能及びインタフェースを開発する．また学習者対象の実験を行い，学習ログの収集・分析結果から証明学習に対する本機能の貢献の有無・程度を考察した上で改善に繋げる．さらに学習・指導場面における本アプリケーションの活用方法を提案する．