• Journal for History of Mathematics
• /
• v.30 no.5
• /
• pp.261-287
• /
• 2017

De Zolt's axiom which is a precise formulation of Euclid's Common Notion 5, "the whole is greater than the part", for the notion of 'content' holds in any Hilbert plane. In this article, we study the history of de Zolt's axiom which has its origin in Euclid's Common Notions, and introduce an example of a plane geometry in which de Zolt's axiom does not hold. We show that there is no area function in this geometry and every square is equidecomposable with a square which is properly contained in the first one. From this we also show that there are two equidecomposable rectangles which have the same base and do not have the same altitude, and there is a rectangle which is equicomplementable with an emptyset.

• Education of Primary School Mathematics
• /
• v.15 no.3
• /
• pp.201-218
• /
• 2012

In this study, the following topics were investigated targeting elementary school students: Schema formed through precise notion of cognitive and the connection of the concepts when studying common divisor, common multiple, and the lowest common multiple, configuration ability and problem solving of the students when learning using a modified schema, how the schema of the student to advance to a higher level, and how the deformation of the schema is carried out student's configuration of concept and problem solving ability. As a result, it was found out that cognition about precise concept, schema and the modified schema are important factors when a primary concept was developed into a secondary concept, and play important roles when the connection and the formation of the modified schema created by cognition about the precise primary concept rather than by the formation of the secondary concept (formation of the secondary schema) created by the connection between the primary concept.

• Journal of the Korean Mathematical Society
• /
• v.40 no.5
• /
• pp.789-830
• /
• 2003

By forming completions of families of noncommutative polynomials, we define a notion of noncommutative continuous function and locally bounded Borel function that give a noncommutative analogue of the functional calculus for elements of commutative $C^{*}$-algebras and von Neumann algebras. These notions give a precise meaning to $C^{*}$-algebras defined by generator and relations and we show how they relate to many parts of operator and operator algebra theory.

• Proceedings of the Korean Society of Applied Pharmacology
• /
• 1997.04a
• /
• pp.102-102
• /
• 1997

The purpose of this study was to determine the behavioral interaction between glutamatergic and serotonergic receptors. In the present study, both the competitive (AP-5 and D-CPP) and the noncompetitive (MK-801, ketamine, dextrorphan and dextromethorphan) N-methyl-D-aspartate (NMDA) receptor antagonists markedly enhanced 5-HT(5-hydroxytryptamine)-induced selective serotonergic behavior, head-twitch response (HTR), in mice. These results suggest that the glutamatergic neurotransmission may modulate serotonergic function at the 5-HT receptor. The precise relationship between glutamatergic and serotonergic system is as yet undefined. However, these are the first data available regarding glutamatergic modulation of serotonergic function at the 5-HT receptor in intact mice, and the present results support the notion that the NMDA receptors may play important roles in the glutamatergic modulation of serotonergic function at the 5-HT receptor.

• Journal of Applied Tourism Food and Beverage Management and Research
• /
• v.14 no.1
• /
• pp.21-35
• /
• 2003

Cooking can be defined as the means displaying good edible foods at the table by enhancing the basic characteristics of foods through cooking and through cookery processes such as steaming, boiling, broiling, poaching, braising, roasting, frying, etc. In order to attain this goal, we have to apprehend the precise definition for the basic cooking methods and the taste. Base on this notion, this study try to show how cooking methods affect the taste and to present various cooking methods available to the characteristics of foods. Finally we hope this study will help understand how cooking methods affect the taste by analysing vaguely defined our taste into the elements having an influence on our senses of the taste.

• The Bulletin of The Korean Astronomical Society
• /
• v.44 no.2
• /
• pp.49.1-49.1
• /
• 2019

I present the mean metallicity distribution of stars in the Milky Way based on photometry from the Sloan Digital Sky Survey. I utilize an empirically calibrated set of stellar isochrones developed in previous work to estimate the metallicities of individual stars to a precision of 0.2 dex for reasonably bright stars across the survey area. I also obtain more precise metallicity estimates using priors from the Gaia parallaxes for relatively nearby stars. Close to the Galactic mid-plane (|Z| < 2 kpc), a mean metallicity map reveals deviations from the mirror symmetry between the northern and southern hemispheres, displaying wave-like oscillations. The observed metallicity asymmetry structure is almost parallel to the Galactic mid-plane, and coincides with the previously known asymmetry in the stellar number density distribution. This result reinforces the previous notion of the plane-parallel vertical waves propagating through the disk, which have been excited by a massive halo substructure such as the Sagittarius dwarf galaxy plunging through the Milky Way's disk. This work provides evidence that the Gaia phase-space spiral may continue out to |Z| ~ 1.5 kpc.

• Journal of KIISE:Software and Applications
• /
• v.26 no.10
• /
• pp.1247-1259
• /
• 1999

본 논문에서는 한국어 문장형성원리를 간결하게 제시할 수 있도록 X-바 이론의 중심어 개념을 도입한 한국어 자질기반 문법을 제안한다. 제안하는 문법은 어절에 관계없이 나타나는 한국어의 문법현상을 명확히 설명할 수 있도록 어절 대신 형태소를 기본단위로 한다. 그리고, 한국어의 구문범주가 지닌 의미정보와 기능정보를 자질을 이용하여 독립적으로 표현하며, 구문범주간의 결합관계를 바탕으로 하는 자질연산을 수행하여 문장을 분석한다. 또한, 한국어의 부분자유어순과 생략현상에 대해 견고하게 분석할 수 있도록 자질연산을 이진결합중심의 CNF(Chomsky Normal Form)로 제한한다. 이렇게 구성된 한국어 자질기반 문법은 규칙을 직관적이고도 간단하게 기술하며, 한국어의 다양한 문장들을 견고하게 분석한다. SERI Test Suites 97과 신문기사에서 746문장을 추출하여 실험한 결과 94%~99%의 적용율을 보였다.Abstract In this paper, we propose a Korean feature-based grammar(KFG) which adopts the X-bar theoretic notion of headedness for a precise representation of Korean syntactic structure. In order to explain various language phenomena in a given sentence, we use not the word but the morpheme as a constituent unit of KFG. We use features manifesting both the syntactic information and the semantic information of Korean syntactic categories, and feature operations based on the association relationship between two categories. In addition, we restrict feature operations to CNF(Chomsky Normal Form) binary form, which provides a robust representation for properties in Korean such as the frequent ellipsis and the partial free-order. The KFG is intuitive, simple, and versatile in representing most Korean sentences. The experimental result shows 94%~99% coverage on 746 sentences extracted from SERI Test Suites 97 and newspaper sentences.

• Publications of The Korean Astronomical Society
• /
• v.23 no.2
• /
• pp.65-71
• /
• 2008

It has been considered that 'exhausted eclipses' (日食旣) were total eclipses. However, modern precise calculations show that a significant fraction of such records are not realized to be total. Thus we doubt that the two concepts are equivalent. Here we investigate the meaning of 'exhausted eclipses' in the east-Asian history. We first find that eclipses of magnitude greater than 0.8 were regarded as 'exhausted eclipses' by a Korean astronomer of the 18th-century Choson dynasty. His notion was based upon the definition of 'exhausted eclipses' in the ephemerides of pre-modern Chinese dynasties. According to those ephemerides, the 'exhausted eclipses', whose magnitude is greater than 0.8, have the first contact at the western part of the solar disk and the fourth contact at the eastern part of the solar disk. A simple geometrical calculation shows that such cases really occur when the magnitude of eclipse is greater than 0.7. We pointed out that such an ancient definition might not be impractical for ancient astronomers, because the uncertainty of eclipse magnitude estimated by ancient Chinese ephemerides was 10% and the human sight has a spatial resolution of 1.2 arcmin, which is approximately one twentieth of the Sun's angular diameter.

• Journal of Korea Multimedia Society
• /
• v.12 no.4
• /
• pp.530-539
• /
• 2009

In this paper we introduce the notion of certificateless proxy re-encryption which enjoys the advantages of certificateless cryptography while providing the functionalities of proxy re-encryption. We give precise definitions for secure certificateless proxy re-encryption schemes and also present a concrete scheme from bilinear pairing. Our scheme is unidirectional and compatible with current certificateless encryption deployments, In addition, we show that our scheme has chosen ciphertext security in the random oracle model. Finally, we extend the proposed scheme for appling multiple KGC environment.

• Journal of the Korean Institute of Educational Facilities
• /
• v.19 no.5
• /
• pp.11-20
• /
• 2012

The student hall and its convenient facilities are hot-core space for various student activities in university campus. It has been for most of the student a place of sweet memories and romance imprinted by a positive image of a cozy atmosphere of unique eating establishments or student hectic activities that used to take place. However, it is questionable whether that facilities are open for all of the students and other users including the handicapped. Therefore, the purpose of this study is to evaluate student convenient facilities and to provide an improvement guideline for the wellbeing of students and other users, based on universal design concept. For that purpose, eight universities were selected for an investigation and 81 survey items were developed based on universal design concept; supportive, adaptable, accessible, and safety-oriented design. The analysis found that accessibility to main entry areas, main entry doors, stairs, and handicapped parking were positively evaluated, while information system for handicapped, handicapped public bath, and corridors lacked some notion of supportive and accessible design. Finally the study suggested some useful planning and design guidelines for an extensive and precise application of universal design concept.