• The Mathematical Education
• /
• v.32 no.2
• /
• pp.151-155
• /
• 1993

The purpose of this study is to point out and improve problems about proposition in the fifth curriculum and to present the direction of revision for the sixth curriculum. The method taken in this study was the analysis of written questions.

• Communications of the Korean Mathematical Society
• /
• v.12 no.4
• /
• pp.865-868
• /
• 1997

Let R be a ring with a unity and let M be a unitary left R-module. In this paper, we establish [5, Proposition 2.8] by showing the proof of it. Moreover, from the above result, we obtain some properties of direct projective modules which have the summand sum property.

• Journal of Educational Research in Mathematics
• /
• v.25 no.3
• /
• pp.367-379
• /
• 2015

The existence of mathematical objects was considered through diorism which was used in ancient Greece as conditions for the existence of the solution of the problem. Proposition I-22 of Euclid Elements has diorism for the existence of triangle. By discussing the diorism in Elements, ancient Greek mathematician proved the existence of defined object by postulates or theorems. Therefore, the existence of mathematical object is verifiability in the axiom system. From this perspective, construction is the main method to guarantee the existence in the Elements. Furthermore, we suggest some implications about the existence of mathematical objects in school mathematics.

• Annual Conference on Human and Language Technology
• /
• 2012.10a
• /
• pp.99-103
• /
• 2012

의미 역 결정 (Semantic Role Labeling)은 문장 내의 술어-논항 요소들의 의미 관계를 결정하는 과정이다. 이를 위해서는 의미 표지 부착 말뭉치가 필요하지만 한국어의 경우 이 데이터가 매우 부족한 상황이다. 본 논문에서는 한국어 Proposition Bank(이하 PropBank) 말뭉치와 세종 용언 격틀 말뭉치 구축을 위한 의미 표지 부착 작업에 대해 설명한다. 표지 부착 작업은 말뭉치의 의존 관계를 사람이 파악하여 적절한 의미 역 태그를 다는 과정이고, 이 과정으로부터 얻은 말뭉치는 의미 역 결정을 위한 기계 학습 방법론의 훈련 자료로 이용된다. 이 과정에서 필요한 구문 표지 부착 밀뭉치로는 한국전자통신연구원의 구문표지 부착 말뭉치를, 그리고 언어자원으로는 한국어 PropBank의 frame file과 세종 용언 격틀 사전을 사용한다.

• Annual Conference on Human and Language Technology
• /
• 2012.10a
• /
• pp.35-39
• /
• 2012

의미역 결정에 있어 의미 표지 부착 말뭉치는 필수적이지만 한국어 의미 표지 부착 말뭉치는 영어나 중국어와 같은 언어에 비하여 구축이 미비한 상황이다. 본 논문에서는 한국어 의미 분석을 위한 한국어 Proposition Bank(이하 PropBank)와 세종 의미 표지 부착 말뭉치의 구축을 위한 소프트웨어 도구를 개발하였다. 본 논문에서 구현한 도구는 문장 성분의 의존관계를 이용하여 주어진 술어에 대한 논항을 찾아주고, PropBank 프레임 파일과 세종 용언 격틀 사전을 활용하여 사용자가 능률적으로 한국어 PropBank와 세종 의미 표지 부착 말뭉치를 구축할 수 있도록 하였다.

• Journal of the Korean Society of Costume
• /
• v.38
• /
• pp.101-122
• /
• 1998

The purpose of this study is to define the fundamentals of one symbolic concept, so calles vestment-sign, based on the logical relationship of sign system about the trichotomy by charles S. Peice's sign concept for the communication system of meaning in the non-linguistic image domain. To prove the argument of vestment-sign, I selected 3 type of vestment language by styliste, Elsa Schiaparel-li. The third image vestmental chosen here, titled“Larme-Illusion(1938)”,printed by Salvad-or Dali will produce one symbolic proposition as a logical result which is generated and developed through the interpretation of other images. First of all the text, which is manifested by Elsa Schiaparelli's first image vestmental, tit-led“Notation Musical(1937)”and is symbolized as one category in the representation of the form, is regarded symbolic and metaphorical from a standpoint that the title and the meaning is connected to the form. The second image vestment, titled“Ruches Noirs(1938)”represents externally splendid feminity man-ifested by the symbolic and metaphorical expression. And the purity of sensitivity aiming to humanity in the detail of the poetic feeling of naturalism makes us imagine the battle fild of furious sensitivity. Like as the result of the battle, the third image stimulated our eyesight with the“absence”of dressing function. The proposition of the text,《Death》which the third image delivers, constructs sign system to bring up a meaning with the disappearance of physical“signifier”. This establishment of the symbolic concept presents the etymological authority of symbol generation called“Design”.

• Atmosphere
• /
• v.18 no.1
• /
• pp.43-53
• /
• 2008

A new proposition on the definition of the tropical cyclone (TC) which influences the Korean Peninsula (KP) is presented. The definition is based upon the TC track and intensity, 34 wind swath considering the TC size, and the line of 200 nautical mile (NM) from the KP shore which is the boundary of the official warning of Korea Meteorological Administration. Four types are proposed. First type is TC that hits the KP inland. Second is TC that falls within the 200-NM boundary. Third type is TC that passes outside the 200-NM boundary but large enough to significantly influence the KP. Last, the cases for a TC which are downgraded to the midlatitude cyclone and hit the KP are included. 30-year reanalysis reveals that 21 tropical cyclones should be included in the TC list that influenced the KP during the period from 1977 to 2006, which corresponds to 3.93 TCs per year. Among them, number of type I, II, III and IV TCs turn are to be 36, 47, 10, and 16, respectively. The net increase found in the current reanalysis is 2, 5, 7, and 7 for each type.

• Honam Mathematical Journal
• /
• v.5 no.1
• /
• pp.45-69
• /
• 1983

The hermitian structures on complex manifolds have been studied by several mathematicians ([1], [2], and [3]), and the Kähler structure on hermitian manifolds have been so much too ([6], [12], and [15]). There has been some gradual progress in studying the invariant forms on Grassmann manifolds ([17]). The purpose of this dissertation is to prove the Theorem 3.4 and the Theorem 4.7, with relation to the nature of complex Grassmann manifolds. In $\S$ 2. in order to prove the Theorem 4.7, which will be explicated further in $\S$ 4, the concepts of the hermitian structure, connection and curvature have been defined. and the characteristic nature about these were proved. (Proposition 2.3, 2.4, 2.9, 2.11, and 2.12) Two characteristics were proved in $\S$ 3. They are almost not proved before: particularly. we proved the Theorem 3.3 : $G_{k}(C^{n+k})=\frac{GL(n+k,C)}{GL(k,n,C)}=\frac{U(n+k)}{U(k){\times}U(n)}$ In $\S$ 4. we explained and proved the Theorem 4. 7 : i) Complex Grassmann manifolds are Kahlerian. ii) This Kähler form is $\pi$-fold of curvature form in hyperplane section bundle. Prior to this proof. some propositions and lemmas were proved at the same time. (Proposition 4.2, Lemma 4.3, Corollary 4.4 and Lemma 4.5).

• Journal for History of Mathematics
• /
• v.21 no.3
• /
• pp.143-156
• /
• 2008

In this study, we divided the teaching and learning of proof into three steps in the demonstrative geometry of the middle school mathematics. And then we surveyed the student's difficulties in the teaching and learning of proof by using of questionnaire. Results of this survey suggest that students cannot only understand the meaning of proof in the teaching and learning of proof but also they cannot deduce simple mathematical reasoning as judgement for the truth of propositions. Moreover, they cannot follow the hypothesis to a conclusion of the proposition It results from the fact that students cannot understand clearly the meaning and the role of hypotheses and conclusions of propositions. So we need to focus more on teaching students about the meaning and role of hypotheses and conclusions of propositions.

• Journal of Korean Institute of Industrial Engineers
• /
• v.41 no.6
• /
• pp.530-539
• /
• 2015

A business model (BM) can be developed based on a business model framework (BMF) consisting of key components such as value proposition, customers, and resources. To systematically generate and analyze emerging BMs such as healthcare BM, an integration of diverse BMF components is needed. The present study is to establish a comprehensive BMF and evaluate its applicability to healthcare BMs. Based on a review of eight BMF studies, ten BMF components were identified and classified into five major components (value proposition, resources, organizing model, customers, and revenue model) and five minor components (technology, service platform, delivery, competitive strategy, and growth/exit) by analyses of frequency and functional importance. Lastly, the BMs of three emerging healthcare companies (WellDoc, Inc., CFW Shops, and Aravind Eye Care System) were analyzed and compared in terms of the proposed BMF components. The comprehensive BMF components presented in the study can be of help for developing new BMs and analyzing the strengths and weaknesses of BMs.