• 교통기술과정책
• /
• 제10권3호
• /
• pp.56-62
• /
• 2013

• 한국수학교육학회지시리즈A:수학교육
• /
• 제32권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.

• 대한수학회논문집
• /
• 제12권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.

• 대한수학교육학회지:수학교육학연구
• /
• 제25권3호
• /
• pp.367-379
• /
• 2015

고대 그리스에서 '수학적 대상이 존재하기 위한 조건'으로 사용된 diorism을 통하여 수학적 대상의 존재성에 대하여 살펴본다. Diorism이 제시된 대표적 예인 "유클리드 원론" I권 정리 22를 중심으로 삼각형의 존재성을 "원론"이 어떻게 다루었는지에 대하여 논의한다. 정의한 대상의 존재성을 공준이나 명제로 증명하는 "원론"의 구조를 통하여 수학적 대상의 존재성은 인식가능성이고 공리체계 내에서 증명가능성임을 밝힌다. 이러한 관점에서 작도는 "원론"에서 존재성을 보증하는 주요 방법이다. 또한 diorism의 맥락에서 전개도가 다면체를 구성할 수 있음을 살펴보았다. 이러한 내용을 바탕으로 수학적 대상의 존재성에 대해 학교수학에서 시사하는 점을 논의하였다.

• 한국정보과학회 언어공학연구회:학술대회논문집(한글 및 한국어 정보처리)
• /
• 한국정보과학회언어공학연구회 2012년도 제24회 한글 및 한국어 정보처리 학술대회
• /
• pp.99-103
• /
• 2012

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

• 한국정보과학회 언어공학연구회:학술대회논문집(한글 및 한국어 정보처리)
• /
• 한국정보과학회언어공학연구회 2012년도 제24회 한글 및 한국어 정보처리 학술대회
• /
• pp.35-39
• /
• 2012

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

• 복식
• /
• 제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”.

• 대기
• /
• 제18권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.

• 호남수학학술지
• /
• 제5권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).

• 한국수학사학회지
• /
• 제21권3호
• /
• pp.143-156
• /
• 2008

본 연구에서는 중학교 2학년 도형의 성질 단원의 증명학습을 세 단계로 나누어 설문을 통하여 학생들이 증명학습에서 겪는 어려움을 조사하였다. 설문 분석 결과 학생들은 증명학습에서 증명의 의미를 이해하지 못해 명제의 참을 판단하는 정도의 간단한 추론도 하지 못할 뿐만 아니라 제시된 증명을 읽고 그것이 증명하려는 명제의 가정과 결론을 파악하지 못한다. 이는 학생들이 명제의 가정과 결론의 의미와 역할을 명확히 이해하지 못하는데서 비롯된다. 따라서 학생들에게 명제의 가정과 결론의 의미와 역할에 대한 지도에 좀 더 역점을 두는것이 필요하다.