Lee, Sang-Hyuk(1810-\ulcorner) said that Cha-Geun-Bang means algebra come from the West. In the chapter 'Che-Lyu' of the second volume of his book Cha-Geun-Bang-Mong-Gu, he gave the list of questions which could be expressed by the equation of one variable and explained the solution for them. All questions were formulated by equations of degree 2, 3, 4 which have terms on both sides of equal sign and they mostly have natural number solutions. The explanation of each question describes the procedure to make the equation in detail, but only presents the solution with few step to solve.

We survey the development of cryptography from the ancient to the present as a mathematical point of view, and recent results of public key cryptosystems.

The problem of mathematical rigor is that of giving an objective definition of a rigorous proof. But standards of rigor have changed in mathematics and the notion of proof is not absolute. There are different versions of proof or rigor, depending on time, place, and other things. In this paper we will briefly trace that evolution.

This study is to analyze the differences between the 6th curriculum and the 7th curriculum in elementary mathematics, and also to suggest how to use our research result, when it's needed in managing differentiated curriculum.

It is an undecidable problem to determine whether a given equation logically follows from a given set of equations. However, it is possible to give the answer to many instances of the problem, even though impossible to answer all the instances, by using rewrite systems and completion procedures. Rewrite systems and completion procedures can be implemented as computer programs. The new equations such a computer program generates are theorems that hold in the given equational theory. For example, a completion procedure applied on the group axioms generates simple theorems about groups. Mathematics students' teaming to know the existence and mechanisms of computer programs that prove simple theorems can be a significant help to promote the interests in abstract algebra and logic, and the motivation for studying.

In this paper we analyze the variety of outlook on the mathematical education as in the history of modern mathematical education and suggest the direction of outlook on the mathematical education in the future.

This paper aims to analyze the phenomena of eighteenth-century mathematics and to find the "metaphysics" of the period which made them possible. It shows that mathematics in eighteenth-century was "mixed" and result-oriented and that eighteenth-century metaphysics emphasized the real and natural.he real and natural.

When teaching the linear regression analysis in the class, the power transformation must be introduced to fit the linear regression model for nonlinear data. Box and Cox (1964) proposed the attractive power transformation technique which is so called Box-Cox transformation. In this paper, an effective algorithm selecting an appropriate value for Box-Cox transformation is developed which is considered to find a value minimizing error sum of squares. When the proposed algorithm is used to find a value for transformation, the number of iterations needs to be considered. Thus, the number of iterations is examined through simulation study. Since SAS is one of most widely used packages and does not provide the procedure that performs iterative Box-Cox transformation, a SAS program automatically choosing the value for transformation is developed. Hence, the students could learn how the Box-Cox transformation works, moreover, researchers can use this for analysis of data.

The paper deals with compressed historical developments of certain invariant characterization of ${\lambda}$-nuclearity including approximable property of ${\lambda}$-nuclear representation and the normality of ${\lambda}$ by means of $C_0$-permanence.

Observing that for any compact space X, the minimal basically disconnected cover ${\bigwedge}Λ_X$ : ${\bigwedge}Λ_X{\leftrightarro}$ is ${\sigma}Z^#$-irreducible, we will show that the projective objects in the category of compact spaces and ${\sigma}Z^#$-irreducible maps are precisely basically disconnected spaces.