At present, most of school mathematical terms in elementary and secondary curriculums of Korea are Sino-Korean words. 1964 Mathematical Editing Material, which aimed to unify mathematical terms into mainly Sino-Korean words, was considered a key factor for this situation. 1964 Editing Material depended heavily on 1956 Mathematical Terminology, which contains a lot of Korean native words and displays the school mathematical terms after 1945. There are many Korean native words in the Second Mathematical Curriculum. This shows that Korean native words of mathematics had been consolidated to some extent at that time. In North Korea, a lot of Korean native words are still used in mathematics. Some Sino-Korean words were recently changed to Korean native words in South Korea. 1956 Mathematical Terminology tells the method to make Korean native words of mathematics and will be an excellent guide for making Korean native words.

In spite of important researches and translational works of the Joseon mathematical treatises in the 80's and on, these results were almost out of reach to the school teachers as well as students due to the antiquity of their contents and the terms used. In order to make our traditional mathematics approachable to the middle and high school students, it will be educationally meaningful to reinterpret them tuned at the student's level using modern terminology and symbols. In this study, we reinterpreted 9 problems from Cheukryang Dohae, which is one of the representative mathematical books of Joseon Dynasty. We used the terminology and symbols from the school curriculum. We also reconstructed two of them using modern metrologies adapted to modern situations adding illustrations and photos, so that they are useful at the teaching site.

The rule of the game of Chomp is simple and the existence of a winning strategy can easily be proved. However, the existence tells us nothing about what strategies are winning in reality. Like in Chess or Baduk, many researchers studied the winning moves using computer programs, but no general patterns for the winning actions have not been found. In the paper, we aim to construct practical winning strategies based on backward induction. To do this we develop how to analyze Chomp and prove and find the winning strategies of the simple games of Chomp.