• Communications of Mathematical Education
• /
• v.9
• /
• pp.1-13
• /
• 1999

수학 교육에서 수학 지식의 추상적 특성으로 인하여 수학 학습에 중요한 발생적 측면으로서 “concrete“ 에 대한 학습론적인 연구가 부족하였다. 또한 구체적 감각 조작 단계에서 형식적 추상적 조작 단계로의 아동의 인지 발달을 강조하다보니 ”concrete“와 ”abstract“의 통상적인 의미가 이분화 됨으로서 수학 학습에서 모든 연령과 수준에 무관한 상보적이고 상호 작용하는 가치를 수학 교육 연구에서 잊고 있었다. 본 논문은 발생적인 그리고 구성주의적 수학 학습에서 ”concrete”가 가져야 할 새로운 의미를 제안하였다. 새로운 의미의 “concrete“는 다양한 경험과 사물 그리고 지식과의 관계 맺음을 의미하는 ”connected“와 같은 맥락을 갖는다고 보고 몇 가지 수학교육에 관련된 의의와 중요성을 제시하였다.

• KIPS Transactions on Computer and Communication Systems
• /
• v.12 no.5
• /
• pp.157-164
• /
• 2023

Specifying the semantic structure for functional interfaces and lambda expressions, which are the latest features of Java, can be referenced when designing similar functions in the future, and is also required in the process of standardizing or implementing an optimized translator. In this study, action equation 3.0 is newly proposed to express the static and dynamic semantic structure of functional interfaces and lambda expressions by modifying and upgrading the existing expressions to express the semantic structures of java functional interfaces and lambda expressions. Measure the execution time of java programs by implementing the semantic structure specified in action equation 3.0 in java, and prove that action equation 3.0 is a real semantic structure that can be implemented through simulation. The superiority of this action equation 3.0 is to be confirmed by comparing the action equation 3.0 specified in the four areas of readability, modularity, extensibility and flexibility with the existing representative semantic expression methods.

• Annual Conference on Human and Language Technology
• /
• 1999.10e
• /
• pp.280-287
• /
• 1999

동사의 애매성이란 동일 동사 내부에서 공기하는 명사의 상충적 의미의 분포에 의해 발생한다. 이는 동일한 동사라 하더라도 명사의 상위개념, 흑은 개개의 명사에 따라 동사의 의미가 달라진다는 것을 의미한다. 동사의 애매성 해소를 위한 구문의미사전은 동사가 갖는 격틀과 논항에 오는 명사의 단어 집합에 의해 구성된다. 기계용 사전에서의 동사의 애매성이란 명사의 상위개념, 혹은 개개의 명사에 관한 정보가 결여될 때 나타난다. 지금까지의 구문의미사전은 개개의 동사가 갖는 격틀을 중심으로 논합명사의 예만을 제시하거나 명사의 상위개념을 기술하는 형식으로 구성되어 왔다. 이는 형식적인 패턴의 추출에는 유용하지만 대역어 선정을 위한 구문의미사전과 같은 섬세한 의미 정보를 필요로 하는 사전에서는 거의 효력을 발휘하지를 못한다. 다국어를 전제로 한 동사 대역어의 추출을 목적으로 하는 구문의미사전에서는 동사와 공기하는 논항명사의 철저한 추출과 검증에 의한 명사목록의 구축이 애매성 해소와 정확한 동사 대역어의 선정에 전제가 된다. 본 논문에서는 KAIST Corpus를 기반으로 현재 구축 중인 한국어 구문의미사전의 개요와 구축 과정에서 얻어진 방법론을 소개한다. 이 연구개발 결과는 과학기술부 KISTEP 특정연구개발과제 핵심소프트웨어개발 국어정보처리기술개발 중 "대용량 국어정보 심층 처리 및 품질 관리 기술 개발"의 지원을 받았다.

• Journal of Korean Philosophical Society
• /
• v.116
• /
• pp.1-31
• /
• 2010

This Article studies a meaning of geometrical-mathematical spatial idea in the source of modern theories of space. Modern theories of space elucidated a relation of human and space through the geometrical terms; point, line, plane and extension etc. Descartes and Newton identified space as a natural realty, Leibniz and Kant elucidated space as a subjective idea or form. It is the result of modern spatial theories that space is lied nearly in human. In the meaning of natural space, space is empirically unfolded with a shape of measuring in front of human's eyes. In the meaning of cognitional space, space is a method or subjective cognitional form that human understands nature and constitutes world. Modern theories of space would be divided into four patterns. In Newton's theory space is absolutely prior to things. In Leibniz' theory space is a co-existence order of Monads. In Descartes's theory space is identified with extension. In Kant's theory space is cognitional form of subject. They all are confronted with each other in the source of space. In their confrontation they reflected on the relation of human and space in their own standpoint. We classify their particularly differential concepts of space into natural space and cognitional space. And then we analyze a difference of spatial meanings, and then investigate foundations of meaning of modern theories of space. On the one hand they are become to the source of alienation of human from space. But on the other they are contributed to get space familiar with human through a wakening for the correlation of human and space. The natural space indicates that with measurable shape space is extended really in front of human's experiential eyes. But the cognitional space elucidates that space is only a subjective idea or form with which human understands nature and constructs world. In the former it is embossed that space is independent to human, and is able to be measured and to be treated according to natural raws. In the latter it is evidenced that space is not separated to human, and that space is not without human, and a correlation existed between human and space. Humanist ideal is declared in them. It was a declaration of human sovereignty to nature. But this declaration is caused to alienate human beings from space.

• Cartoon and Animation Studies
• /
• s.32
• /
• pp.141-158
• /
• 2013

Comics are a genre that convey meaning through compositional arrangements of dialogue and images as well as through the flow of panels across a page. Communicating that meaning to readers through a combination of language and visual lexicons is the essential process of drawing comics, a process that in itself is significant. The semiotics of comics is a field of scholarship grounded in the broader discipline of semiotic theory in which all the components of comics, both visual and verbal, are the subject of study and research. By adopting a semiotic approach we are able to objectively analyze and understand the symbolic, social and ideological meanings embedded in the signs and sign processes expressed in comics. The fundamental pedagogical mission of teaching comics is to cultivate human nature through the study of theory as well as through the production and completion of original works that explore new modes of expression. To go further, interpreting those embedded meanings in the context of comics fosters effective and creative skills of expression that go beyond a mere fascination for the genre itself. In short, because the semiotic approach to understanding visual communication is the essence teaching comics, we can expect that the act of reading and creating comics plays a significant role in understanding visual communication.

• Proceedings of the Korea Society for Simulation Conference
• /
• 2000.11a
• /
• pp.22-27
• /
• 2000

이산사건 시뮬레이션 기법이 최근 들어 통신망, 각종 제조시스템 등 다양한 분야에 응용되고 있으며 군사용 시뮬레이터 개발을 위한 방법론으로도 활용이 증가하고 있다. 그러나, 군사용 전략 시뮬레이터는 모델간 대규모 상호 작용을 요구하는 속성을 가지고 있으므로 모델간의 사건 전달 방법을 적용한 시뮬레이터를 구현하는 경우에 시뮬레이션을 위한 계산량이 과도하게 요구되어 대규모의 시나리오를 시뮬레이션하는데 어려움이 있다. 본 논문에서는 이산사건 시뮬레이션을 위한 이론적 기반을 모두 갖춘 DEVS 형식론을 개선하여 군사용 전략 시뮬레이터를 개발하기 위한 Framework을 소개한다. 개발되는 시뮬레이션 환경을 DEVS 의미론에 기반한 모델링 환경을 제공하지만 시뮬레이션 속도 개선을 위해 여러가지 방법들을 고려한다. 또한, GIS 기반의 시뮬레이션 애니메이션을 위한 모델 관리 방법 및 데이터 전송 방법을 기술한다.

• Language and Information
• /
• v.4 no.1
• /
• pp.92-100
• /
• 2000

본 논문에서는 컴퓨터를 이용하여 문장을 분석하기 위해 통합기반법이 구현된 PATR라는 문법형식을 살펴보고, 국어문장분석을 지원해 주는 사전을 계승메니카니즘이 가능한 형태로 구축하여 사전의 효율적인 구성을 제시하고, 사전과 구문분석기사이의 인터페이스가 어떻게 가능할 수 있는 지를 보여주고자 한다.

• Proceedings of the Korean Society for Language and Information Conference
• /
• 2000.06a
• /
• pp.92-100
• /
• 2000

본 논문에서는 컴퓨터를 이용하여 문장을 분석하기 위해 통합기반문법이 구현된 PATR라는 문법형식을 살펴보고, 국어문장분석을 지원해 주는 사전을 계승메카니즘이 가능한 형태로 구축하여 사전의 효율적인 구성을 제시하고, 사전과 구문분석기사이의 인터페이스가 어떻게 가능할 수 있는 지를 보여주고자 한다.

• Annual Conference on Human and Language Technology
• /
• 2006.10e
• /
• pp.109-116
• /
• 2006

자연 언어의 각 어휘는 서로 관계를 가지고 계층적 입체적 모델로 존재한다. 이러한 전제에서 출발한 연구 가운데 대표적인 것이 의미 계층이다. 본고에서는 한국어 형용사의 의미 계층을 추출하는 것을 목표로 하여, 형식적 객관적 방법론을 정립하고, 결과를 비교적 신속하고 정확하게 이끌어 낼 수 있는 전산적 처리 도입하였다. 우선 전체 구축에 필요한 절차를 세우고 각 단계에서 필요한 방법과 휴리스틱을 정리하였다. 이를 바탕으로 사전 뜻풀이말을 이용하여 반자동으로 작업하였으며, 일부 코퍼스를 활용하였다 최종 알고리즘으로는 Top-Down 방식을 택하였다. 이렇게 추출된 한국어 형용사 의미 계층은 226개의 최상위어에서 시작하여 총 3,792개의 표제어를 망라한다. 또한 수직적 계열 관계만을 명시했을 경우 나타날 수 있는 한계를 보완하기 위해, 동의어 반의어와 같은 수평적 의미 관계와 공기 명사와 같은 결합 관계 등을 함께 기술하였다. 한편 표제항을 뜻풀이말의 공기 명사를 이용하여 의미별로 분류하고 각 분류마다 별도의 의미 계층을 수립하였다.

• Korean Journal of Cognitive Science
• /
• v.4 no.2
• /
• pp.29-51
• /
• 1994

This paper presents a new approach to describing the meanings of English relative clauses with the theoretical framework of Conceptual Structure Theory (henceforth CST)which builds on the pionerring work of Sowa.And this paper aims at proposing some extensions to his work. CST describes the conceptual structrures of sentences with conceptual graphs(henceforth CG). which have begun to be used as an intermediate language in natural language processing and machine translation of computer.CGs are composed of concept types and conceptual relation types. They are a system of logic for semantic representation of sentences. This paper focuses on showing the differences of the CGs according to the functions of English relative clauses. English relative clauses are divided into restrictive and nonrestrictive uses.And this paper describes a restrictive clause with a CG including a expression.which derives from the viewpoint of Montague-semantics and Nom-S Analysis.This paper deals mainly with the relative clauses of double restroction as an example of restrictive relative clauses.The description of a nonrestrictive relative clause does not need any-expression, for it doesn's involve the meaning of set.And this paper links the CG of an appositive relative clause,which is a kind of nonrestrictive clauses,to the concept of the antecedent in the main clause.The description of a nonrestrictive relative clause with adverbial meaning is strated with two CGs for the main clause and the relative clause.They are linked with an appropriate intersentential conceptual relation type according to the contextual realtions between them.This paper also presents a CG of a sentential relative clause,which gives a comment on the main clause.