• Journal for History of Mathematics
• /
• v.21 no.3
• /
• pp.31-52
• /
• 2008

The concept of infinity, as with other scientific concepts, has a history of evolution. In the present work we intend to discuss the subject matter with regard to Bolzano since he is considered to be the first to accept the idea of actual infinity not just from a metaphysical perspective but from a mathematical one. Like modem platonists, Bolzano defended the infinite set itself regardless of the construction process; this is based on the principal of comprehension and unicity of denotation regarding all concepts. In addition, instead of considering as paradoxical the fact that a one-to-one correspondence existed between an infinite set and its parts, he regarded it in a positive way as a special characteristic. While the Greek era recognized the existence of only one infinity, Balzano acknowledged the existence of various types of infinity and formulated a logical definition for it. The question of infinity is a touchstone of constructive method which holds an increasingly important role in mathematics. The present study stops with just a brief reference to the subject matter and we will leave further in-depth investigation for later.

• 제어로봇시스템학회:학술대회논문집
• /
• 2002.10a
• /
• pp.41.2-41
• /
• 2002

The stereo correspondence of two retinal images is one of the most difficult problems in stereo vision because the reconstruction of 3-D scene is a typical visual ill-posed problem. So far there still have been many unsolved problems, one of which is to reconstruct 3-D scene for a monochromatic surface because there is no clue to make a correspondence between two retinal images. We consider this problem with two layered self-organization neural network to simulate the competitive and cooperative interaction of binocular neurons. A...

• Bulletin of the Korean Mathematical Society
• /
• v.54 no.2
• /
• pp.375-382
• /
• 2017

We exhibit a one-to-one correspondence between 3-colored graphs and subarrangements of certain hyperplane arrangements denoted ${\mathcal{J}}_n$, $n{\in}{\mathbb{N}}$. We define the notion of centrality of 3-colored graphs, which corresponds to the centrality of hyperplane arrangements. Via the correspondence, the characteristic polynomial ${\chi}{\mathcal{J}}_n$ of ${\mathcal{J}}_n$ can be expressed in terms of the number of central 3-colored graphs, and we compute ${\chi}{\mathcal{J}}_n$ for n = 2, 3.

• Journal of Society of Preventive Korean Medicine
• /
• v.4 no.2
• /
• pp.93-107
• /
• 2000

Korea follows the Korea standard classification of disease and causes of death according to the ICD(international classification of disease) Oriental medicine began to of officially follow the classification of disease for using the Korean classification of diseases in 1972. The classification of OM(oriental medicine) has changed in shape experiencing two amendments. The largest difficulty was to overcome the different names of diseases between OM and ICD. A one-to-one correspondence of the name of a disease between OM and ICD is impossible So in the primary stage one-to-one and one-to-many correspondence was made. During the first amendment the international disease names were re-classified on the oriental medicine disease name's basis and at the same time the classification of OM was corresponded on a one-to-one basis to the ICD . During the second amendment this changed to many-to-many correspondence . Analyzing the history of classification of OM during the first and second amendments, it was discovered that establishment of the standards of classification, the unification of oriental medical terms, and overcoming the difference of disease names between the OM and ICD is necessary Also th classification and standardazation of OM must not stop as a single round. It must go on for a long time. The hosts of this project Korean oriental medical society and AKOM(association of korean oriental medicine) need to build a independant department which will supervise the classification project and monitor any problems to come up. Also a route through which suggestions can be taken in and new solutions can be brought up needs to be secured and an atmosphere in which studies can take place about the basis of classifications needs to be developed.

• The Journal of Korea Robotics Society
• /
• v.17 no.3
• /
• pp.373-380
• /
• 2022

This paper considers a method of fast correspondence matching for iterative closest point (ICP) algorithm. In robotics, the ICP algorithm and its variants have been widely used for pose estimation by finding the translation and rotation that best align two point clouds. In computational perspectives, the main difficulty is to find the correspondence point on the reference point cloud to each observed point. Jump-table-based correspondence matching is one of the methods for reducing computation time. This paper proposes a method that corrects errors in an existing jump-table-based correspondence matching algorithm. The criterion activating the use of jump-table is modified so that the correspondence matching can be applied to the situations, such as point-cloud registration problems with highly curved surfaces, for which the existing correspondence-matching method is non-applicable. For demonstration, both hardware and simulation experiments are performed. In a hardware experiment using Hokuyo-10LX LiDAR sensor, our new algorithm shows 100% correspondence matching accuracy and 88% decrease in computation time. Using the F1TENTH simulator, the proposed algorithm is tested for an autonomous driving scenario with 2D range-bearing point cloud data and also shows 100% correspondence matching accuracy.

• Journal of Physiology & Pathology in Korean Medicine
• /
• v.33 no.6
• /
• pp.322-333
• /
• 2019

The purpose of this thesis is to show the historical context of tongue-viscera correspondence scheme based on as wide investigation as possible. For this purpose, we collected and investigated 35 books related to tongue diagnosis. As a result, we faound the following: There were some tentative trials to associate viscera or viscera meridians with tongue areas since shown in the Effective formulae of inherited medical works (世醫得效方, 1337). The main stream of tongue-viscera correspondence scheme was the form in which the apex, the center, and the root of tongue are associated with Heart, Spleen (and Stomach), and Kidney. On the viscera correspondence to the sides of tongue, there had been two streams. The first one is originated from the Upper-most Book on Shanghan (傷寒第一書, 1780), in which the sides of tongue are assumed to be associated with Liver and Gall-bladder. The second one is originated from the Ikeda Family's Chant on the Tongue (池田家舌函口訣, 1807), in which the left side and the right side of tongue are assumed to be associated with Liver and Lung separately. The former type have been accepted as the standard form in modern traditional Asian medicine education. In addition to the above types, three other correspondence schemes were also existed, but have disappeared now. These days, some new correspondence schemes are being suggested based on new approaches.

• The Bulletin of The Korean Astronomical Society
• /
• v.40 no.2
• /
• pp.29.3-30
• /
• 2015

We introduce an advanced one-to-one galaxy correspondence method that populates dark matter halos with galaxies by tracing merging histories of most bound member particles (MBPs) identified in simulated virialized halos. To estimate the survival time of a satellite galaxy, we adopt several models of tidal-destruction time derived from an analytic calculation, isolated galaxy simulations, and cosmological simulations. We build mock galaxy samples for each model by using a merging tree information of MBPs from our new Horizon Run 4 N-body simulation from z = 12 to 0. For models of galaxy survival time derived from cosmological and isolated galaxy simulations, about 40% of satellites galaxies merged into a certain halo are survived until z = 0. We compare mock galaxy samples from our MBP-galaxy correspondence scheme and the subhalo-galaxy scheme with SDSS volume-limited galaxy samples around z = 0 with $M_r-5{\log}h$ < -21 and -20. Compared to the subhalo-galaxy correspondence method, our method predicts more satellite galaxies close to their host halo center and larger pairwise peculiar velocity of galaxies. As a result, our method reproduces the observed galaxy group mass function, the number of member galaxies, and the two-point correlation functions while the subhalo-galaxy correspondence method underestimates them.

• Korean Journal of Mathematics
• /
• v.19 no.3
• /
• pp.263-272
• /
• 2011

In the paper [1], an explicit correspondence between certain cubic irreducible polynomials over $\mathbb{F}_q$ and cubic irreducible polynomials of special type over $\mathbb{F}_{q^2}$ was established. In this paper, we show that we can mimic such a correspondence for quintic polynomials. Our transformations are rather constructive so that it can be used to generate irreducible polynomials in one of the finite fields, by using certain irreducible polynomials given in the other field.

• Herbal Formula Science
• /
• v.30 no.3
• /
• pp.183-189
• /
• 2022

Objective : This study aims to analyze the current use of body part terminology in Korean medicine formula data by comparing with ICD-11 body part terminology as a criteria. Methods : Body part terminology was extracted from the main treatment data within the Korean Medicine formula ontology and was analyzed in comparison with the ICD-11 body part terminology. Results : Out of 113 body part terminologies in Korean medicine, 92 were corresponded with ICD in a one-to-one, one-to-multi, or multi-to-one relation. Also, most body part terminologies were corresponded to superordinate concepts of ICD while 21 terminologies were not able to be corresponded to ICD. Conclusion : A majority of body part terminology in formula data could be corresponded to ICD but mostly refered to superordinate concepts. Results showed various types of corresponding relation which requires further study for precise and detailed correspondence. Also, study showed some terminologies were not applicable for correspondence which were mostly a unique body part concept of Korean medicine which requires further study to present Korean Medicine knowledge accurately in the language of ICD.

• Communications of the Korean Mathematical Society
• /
• v.18 no.2
• /
• pp.215-223
• /
• 2003

Parks [7] showed that there is an one to one correspondence between good pairs of subgroups in G and irreducible monomial characters of G. This provides a useful criterion for a group to be monomial. In this paper, we study relative monomial groups by defining triples in G, and find relationships between the triples and irreducible relative monomial characters.