In the study of mathematics, learning process to reach a conclusion from a given set of inferences is important. Focusing on the study of inference process of mathematical proofs, the authors are working on the development of a GUI (Graphical User Interface) application to facilitate understandings of the derivation process. In general, mathematical proofs are described in natural language one-dimensionally. On the other hand, mathematical proofs have more complex logical structures, such as deriving a consequence from multiple premises, making it difficult for learners to understand the whole proof in natural language. Therefore, in this research, an application has been developed to support learners’ understandings by presenting flow chart-looking diagrams utilizing directed graphs. In the previous research, the usefulness using this diagram was shown, and its fundamental parts of GUI were proposed and evaluated. At present, we have aimed to improve the application by making it possible to create diagrams by more intuitive manipulation. In this presentation, what has been modified so far will be reported, along with the result of assessment and future improvement.
抄録全体を表示