• Journal for History of Mathematics
• /
• v.9 no.2
• /
• pp.1-9
• /
• 1996

This paper is a sequel to [26]. We investigate how the Axiom of Choice has been accepted after Zermelo introduced the Axiom in 1904. The response to the Axiom has divided into two groups of mathematicians, namely idealists and empiricists. We also investigate how the Zorn's lemma (1935) has been emerged. It was originally formulated by Hausdorff in 1909 and then by many other mathematicians independently.

• Journal of applied mathematics & informatics
• /
• v.1 no.1
• /
• pp.43-48
• /
• 1994

There are some difficulties in applying the Pearson's Chi-Square Test for the continuous distribution. The problems include how to form class intervals for the test of fit how to employ in the test when the estimators of parameters are obtained from the ungrouped sample so on. In order to solve these problems we use the generalized minimum Chi-Square technique which is a test free of the complications associated with the Peason's Chi-Square test. This paper show how to apply the goodness of fit tests based on generalized minimum Chi-Square technique to the extreme values.

• Journal of applied mathematics & informatics
• /
• v.1 no.1
• /
• pp.55-74
• /
• 1994

We consider an M/G/1 queueing system with multiple priority classes of jobs. Considered preemptive rules are the preemptive-resume preemptive-repeat-identical, and preemptive-repeat-different policies. These three preemptive rules will be analyzed in parallel. The key idea of analysis is based on the consideration of a busy period as composite of delay cycle. As results we present the exact Laplace-Stieltjecs(L.S) transforms of residence time and completion time in the system.

• Journal of applied mathematics & informatics
• /
• v.2 no.2
• /
• pp.75-82
• /
• 1995

4대의 제어점에 의해 정의되는 3차 Bezier 곡선을 구간적 (piecewise) 2차 Bezier 곡선으로 근사 하는 기하적인 알고리듬을 제시한다. 또한 제시한알고리듬의 오차해석을 통하여 수정된 알 고리듬을 구성한다. 분확방법을 동시에 사용하여 주어진 허용오차 이내의 구간적 2차 근사 곡선을 구할수 있다. 제시한 알고리듬은 오차해석을 이용하여 필요한 분활의 수행회수를 미 리 결정할수있는장점을 가지고있다.

• Journal of applied mathematics & informatics
• /
• v.2 no.2
• /
• pp.13-20
• /
• 1995

The goal of this paper is to show that the linear approxi-mation in evaluation of functions may be effectively replaced by the ex-ponential approximation formulas obtained by numerical quadratures and in the instance the relative errors can be estimated without know-ing the true values.

• Kyungpook Mathematical Journal
• /
• v.55 no.4
• /
• pp.1097-1104
• /
• 2015

In this paper, we study the geometry of indefinite generalized Sasakian space form $\bar{M}(f_1,f_2,f_3)$ admitting a lightlike hypersurface M subject such that the almost contact structure vector field ${\zeta}$ of $\bar{M}(f_1,f_2,f_3)$ is tangent to M. We prove a classification theorem of such an indefinite generalized Sasakian space form.

• Journal for History of Mathematics
• /
• v.10 no.1
• /
• pp.19-32
• /
• 1997

This paper deals with the relationship between the order structure and topological structure in the historical point of view. We first investigate how the order structure has developed along with the set theory and logic in the second half of the nineteenth century. After the general topology has emerged in the beginning of the twentieth century, two disciplines of the order theory and topology give each other a great deal of effect for their development via various dualities, compactifications by maximal filter spaces and Alexandroff's specialization order, which form eventually a fundamental setting for the development of the category theory or functor theory.

• Journal of applied mathematics & informatics
• /
• v.3 no.1
• /
• pp.101-115
• /
• 1996

In this paper we extend the best choice of subsample size m in the 2-stage sampling which suggested by Mohammad(1986) to the 3-stage sampling in cases of known and of unknown cost and variance ratio. We find the subsample size m.k which ensures more than the relative efficiency 90% Also we see that the choice of 3-stage subsample size depends on the design parameters using in 2-stage sampling.

• Journal for History of Mathematics
• /
• v.11 no.1
• /
• pp.27-35
• /
• 1998

As Chinese philosophy has developed by commentary for the original texts, the Nine Chapters has been greatly improved by the commentary given by Liu Hui and it was transformed from an arithmetic text to Mathematics. Comparing his commentary and Chinese philosophical development up to his date, we conclude that Liu Hui was able to make such a great leap by his thorough understanding of philosophical development.

• Journal for History of Mathematics
• /
• v.17 no.4
• /
• pp.45-64
• /
• 2004

The lambda calculus is a mathematical formalism in which functions can be formed, combined and used for computation that is defined as rewriting rules. With the development of the computer science, many programming languages have been based on the lambda calculus (LISP, CAML, MIRANDA) which provides simple and clear views of computation. Furthermore, thanks to the "Curry-Howard correspondence", it is possible to establish correspondence between proofs and computer programming. The purpose of this article is to make available, for didactic purposes, a subject matter that is not well-known to the general public. The impact of the lambda calculus in logic and computer science still remains as an area of further investigation.stigation.