• Annual Conference on Human and Language Technology
• /
• 2007.10a
• /
• pp.254-260
• /
• 2007

음성은 컴퓨터로 대변되는 기계와 사람 그리고 기계를 매개로 한 사람과 사람의 상호작용에서 가장 쉽고 직관적인 인터페이스로 널리 활용되고 있다. 인간에게 음성정보를 제공하는 음성합성 분야에서는 합성결과의 자연스러움과 인식성이 시스템의 주요 평가요소로 활용되고 있는데 이러한 자연스러움과 인식성은 합성결과의 정확성뿐만 아니라 발화환경이나 발화자의 발화특징 혹은 감정상태 등에 의해 많은 영향을 받게 된다. 담화표지는 문장의 명제 내용에는 직접 관여하지 않으면서 화자의 발화 의도나 심리적 태도를 전달하는 구성 요소를 말하는데 본 논문에서는 담화표지가 포함된 대화 음성 데이터를 수집하여 담화표지의 음성언어적인 특징을 분석하고 분석된 결과를 음성합성 시스템에 활용하는 표현방식에 대해 논의한다.

• The Mathematical Education
• /
• v.55 no.1
• /
• pp.91-106
• /
• 2016

The aim of this study was to analyze characteristics of teachers' knowledge about reductio ad absurdum. In order to achieve the aim, this study conducted didactical analysis about reductio ad absurdum through examining previous researches and developed a questionnaire with reference to the results of the analysis. The questionnaire was given to 34 high school teachers and qualitative methods were used to analyze the data obtained from the written responses by the participants. This study also elaborated the framework descriptors for interpreting the teachers' responses in the light of the didactical analysis and the data was elucidated in terms of this framework. The specific features of teachers' knowledge about reductio ad absurdum were categorized into five types as a result. This study raised several implications for teachers' professional development for effective mathematics instruction related to reductio ad absurdum.

• Korean Architects
• /
• s.503
• /
• pp.78-83
• /
• 2011

지구라는 한정된 자원을 사용하며 살아가는 인류에게 지구의 온난화와 에너지원의 고갈 등은 인류의 미래를 보장 할 수 없는 단계에 이르렀다. 몇 번의 오일쇼크와 오존층의 파괴 등 지구환경의 변화는 이제 남의 일이 아니다. 세계적인 관심사가 이제야 친환경으로 모아지는 것은 오히려 늦은 감이 있다. 건축계에서도 친환경 및 지속가능한 건축이란 명제가 화두가 된지도 몇 해가 지났다. 그러나 아직도 구체적인 실천이 미흡한 것도 사실이다. 그 이유로는 막연한 개념과 건축에의 구체적인 적용방법의 이해 부족에서 기인한 점도 적지 않다고 본다. 이에 "건축사"지에서는 우리협회의 "친환경건축설계아카데미 건축강좌"의 내용의 일부를 선정하여 요약, 연재함으로써 친환경건축에 대한 회원들의 이해를 돕고, 친환경 건축이 활성화 될 수 있도록 하고자 한다. 실무에 도움이 될 수 있었으면 하는 바람이다.

• Annual Conference on Human and Language Technology
• /
• 2023.10a
• /
• pp.95-100
• /
• 2023

끊임없이 재생산되는 혐오 표현의 정확한 탐지를 위해서는 혐오란 무엇인가에 대한 본질적인 이해가 필요하다. 본 연구에서는 화용론에서 사용되는 적정성 조건이라는 분석 틀을 활용하여 모델이 '혐오하기' 화행을 어떻게 인식하고 있는지 평가하고자 했다. 혐오 화행의 적정성 조건을 명제 내용 조건, 예비 조건, 성실성 조건, 본질 조건으로 나누어 분석하였으며, 이를 진위형, 연결형, 단답형, 논술형 문항으로 구성했다. 그 결과 모든 문항 유형에서 50점이 넘는 점수를 받았으나 비교적 고차원인 사고 능력을 측정하는 단답형과 논술형 문항 유형의 점수가 가장 낮게 나타났다.

• Journal for History of Mathematics
• /
• v.21 no.2
• /
• pp.55-70
• /
• 2008

This study is about the Data which is one of Euclid's writing. It dealt with the organization of contents, formal system and mathematical meaning. First, we investigated the organization of contents of the Data. Second, on the basis of this investigation, we analyzed the formal system of the Data. It contains the analysis of described method of definition, proposition, proof and the meaning of 'given'. Third, we explored the mathematical meaning of the Data which can be classified as algebraic point of view, geometric point of view and the opposite point of view to 'The Elements'.

• 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.

• KDI Journal of Economic Policy
• /
• v.18 no.3_4
• /
• pp.129-181
• /
• 1996

산업구조변화의 일반적인 추세는 나라마다 비슷한 모습을 보인다. 그러나 국가별, 산업별로 관찰해 보면 구조변화의 방향과 경로가 상당히 다양할 뿐 아니라 구조조정의 성과도 다르게 나타나고 있다. 본고(本稿)에서는 한국의 산업구조변화가 산업특성별로 어떻게 다른 모습을 보이고 있으며, 선진국들과 비교할 때 어떤 다른 특징이 관찰되는지를 검토함으로써 구조조정의 내용과 성과를 평가하고 정책적 시사점을 도출하고자 한다. 구조조정의 성과에 대한 평가의 근간은 "경제발전의 원동력은 혁신능력에 있다"는 "슘페터"의 명제에 두고 있다. 혁신집약적 산업활동의 비중변화를 기준으로 산업구조조정의 성과를 분석함에 있어 다음의 두가지 문제에 봉착하게 된다. 첫째, 혁신집약적 산업활동을 측정하기 위해 어떤 지표를 사용할 것인가, 둘째 혁신집약적 산업활동을 어떤 수준으로 분류할 것인가이다. 본고(本稿)에서는 산업별 연구개발 집약도를 혁신집약적 산업활동의 대용변수로 사용하여 혁신집약도의 정도에 따라 산업을 첨단기술산업, 중간기술산업, 재래기술산업의 세가지로 나눈 다음 수출구조변화, 생산 고용 부가가치 구조변화, 생산성 변화를 분석하였다. 제조업 수출에서 차지하는 첨단기술산업의 비중을 기준으로 한다면 구조고도화는 매우 빠르게 진전되었다. 첨단기술산업은 수출비중도 높지만 수입침투율도 가장 높다. 특히 수출주도의 고성장이 이루어졌던 1986~88년, 1994~95년 기간에 수출구조의 고도화도 급격히 이루어졌다는 사실은 해외경쟁에 노출되어 있는 수출부문이 제조업 구조고도화를 선도하고 있음을 시사하고 있다. 이에 비해 국내수요를 포함한 한국 제조업 전체의 생산, 고용, 부가가치 구조를 분석해 보면 수출부문에 비해 구조조정 성과가 상대적으로 낮은 것으로 평가된다.

• Communications of Mathematical Education
• /
• v.24 no.1
• /
• pp.221-234
• /
• 2010

So far, around 370 various verification of Pythagorean Theorem have been introduced and many studies for the analysis of the method of verification are being conducted based on these now. However, we are in short of the research for the study of the generalization for Pythagorean Theorem. Therefore, by abstracting mathematical materials that is, data(lengths of sides, areas, degree of an angle, etc) which is based on Euclid's elements Vol 1 proposition 47, various methods for the generalization for Pythagorean Theorem have been found in this study through scrutinizing the school mathematics and documentations previously studied.

• Journal for History of Mathematics
• /
• v.24 no.1
• /
• pp.15-29
• /
• 2011

This study was carrying out research on the geometry of Sulbas${\={u}}$tras as parts of looking for historical roots of oriental mathematics, The Sulbas${\={u}}$tras(rope's rules), a collection of Hindu religious documents, was written between Vedic period(BC 1500~600). The geometry of Sulbas${\={u}}$tras in ancient India was studied to construct or design for sacrificial rite and fire altars. The Sulbas${\={u}}$tras contains not only geometrical contents such as simple statement of plane figures, geometrical constructions for combination and transformation of areas, but also algebraic contents such as Pythagoras theorem and Pythagorean triples, irrational number, simultaneous indeterminate equation and so on. This paper examined the key features of the geometry of Sulbas${\={u}}$tras and the geometry of Sulbas${\={u}}$tras for the construction of the sacrificial rite and the fire altars. Also, in this study we compared geometry developments in ancient India with one of the other ancient civilizations.

• School Mathematics
• /
• v.14 no.4
• /
• pp.469-493
• /
• 2012

The purpose of this study is find the relation between students' concept and types of proof construction. For this, four undergraduate students majored in mathematics education were evaluated to examine how they understand mathematical concepts and apply their concepts to their proving. Investigating students' proof with their concepts would be important to find implications for how students have to understand formal concepts to success in proving. The participants' proof productions were classified into syntactic proof productions and semantic proof productions. By comparing syntactic provers and semantic provers, we could reveal that the approaches to find idea for proof were different for two groups. The syntactic provers utilized procedural knowledges which had been accumulated from their proving experiences. On the other hand, the semantic provers made use of their concept images to understand why the given statements were true and to get a key idea for proof during this process. The distinctions of approaches to proving between two groups were related to students' concepts. Both two types of provers had accurate formal concepts. But the syntactic provers also knew how they applied formal concepts in proving. On the other hand, the semantic provers had concept images which contained the details and meaning of formal concept well. So they were able to use their concept images to get an idea of proving and to express their idea in formal mathematical language. This study leads us to two suggestions for helping students prove. First, undergraduate students should develop their concept images which contain meanings and details of formal concepts in order to produce a meaningful proof. Second, formal concepts with procedural knowledge could be essential to develop informal reasoning into mathematical proof.