• The Korean Publising Journal, Monthly
• /
• s.154
• /
• pp.6-7
• /
• 1994

소크라테스는 진리를 언어 밖에서 찾으라고 말했다. 플라톤은 언어를 어떤 모방의 형식이라고 생각했다. 미메시스 개념에 기초한 언어관 때문이다. 따라서 그들에 의하면, 책이란 진리의 시체 통조림이자 영혼을 망쳐놓는 흉물에 불과하다. 그러나 아리스토텔레스의 "오르가논"은 언어를 상징의 형식으로 이해하면서 책을 진리의 잔치마당으로 여긴다.

• Communications of the Korean Mathematical Society
• /
• v.17 no.2
• /
• pp.189-205
• /
• 2002

본 요약논문에서는 리만다양체에서 정의되는 L$^2$조화미분 형식의 성질과 존재성에 대하여 알아보고 그 응용으로 유클리드 공간의 극소초평에서 L$^2$조화미분형식과 위상구조와의 관계를 살펴본다.

• Health and Mission
• /
• s.5
• /
• pp.30-44
• /
• 2006

인간의 본래적 성품과 유식불교에서 분류하는 인간의 마음의 세가지(집착, 관계, 완성)존재형식으로부터 초월적인 존재를 전제하고 있는 영성은 오히려 불교에서는 법성, 각성, 자성,불성의 용어로 표현되어 진다.

• Korean Architects
• /
• no.12 s.118
• /
• pp.17-20
• /
• 1978

• 한국ITS학회:학술대회논문집
• /
• 2008.11a
• /
• pp.463-466
• /
• 2008

기존의 교통상황판운영에 사용하는 지도는 2D를 기본으로 하는 전자지도를 중심으로 표준노드링크의 속성을 반영하는 형태이다. 2D형태의 교통전자지도는 그래픽형식에 운영자에게 실시간으로 교통상황을 직관적으로 판단하는데 도움을 제공 하였으나 2D형식이라는 한계가 존재할 수밖에 없었다. 점차적으로 IT기술의 고도화, 하드웨어, 통신기술의 발달 등으로 과거에 다룰 수 없었던 대용량데이터처리가 원활해지고, 다양한 도로이용자의 고급화된 교통수요에 대응하기 위해서는 점차적으로 교통관리자나 운영자들이 교통정보관련 장비들이나 운영시나리오에 대해 다각적으로 분석을 할 수 있는 방안이 강구되어야 한다. 이에 위도, 경도, 고도를 제공하는 3D형식의 전자지도에 실시간적으로 교통정보를 제공하는 4D형식의 교통상황판이 운영될 수 있도록 하는 방안을 제공할 수 있는 기술적 내용과 교통시나리오를 제공하고자 한다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2000.10b
• /
• pp.1227-1230
• /
• 2000

본 연구는 서로 다른 형식(format)으로 작성된 무선인터넷 문서들간의 상호 변환(reformatting)을 다루고 있다. 무선인터넷에 접속하는 단말기는 보통 하나의 형식만을 지원하는데 비해서, 무선인터넷 문서를 작성하는데 필요한 마크업 언어(markup language)로는 WML, HDML, mHTML 등 다양한 형식들이 존재하고 있다. 이에 본 연구에서 지식 기반 시스템(knowledge based system)과 XML(extensible Markup Language)을 이용하는 문서 형식 변환 기술을 제공하여, 무선인터넷 컨텐츠 구축시 특정 형식에 구애받지 않도록 하였다.

• Journal of Korean Philosophical Society
• /
• v.141
• /
• pp.187-202
• /
• 2017

The aim of this paper is to clarify the difference between the concept of deduction-induction and Aristotle's concept of syllogismos-epagoge. First, Aristotle does not use the expression 'invalid syllogismos'. But a valid deduction is distinguished from a invalid deduction in modern logic. Second, from Aristotle's point of view syllogismos is paralleled by epagoge. Because syllogismos is equivalent to epagoge in logical form. But a disturbing lack of parallelism exists between deduction and induction by which the standards for establishing inductive conclusions are more demanding than those for deductive ones. Third, instructors in introductory logic courses ordinarily stress the need to evaluate arguments first in terms of the strength of the conclusion relative to the premises. Accordingly, students may be told to assume that premises are true. But Aristotle does not assume that premises are true. A syllogismos start from the conceptually true premise and a epagoge start from the empirically true premise.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.16 no.3
• /
• pp.232-247
• /
• 1991

This paper proposes a new classification algorithm using characteristic and structural information of printed Hanja as preliminary stages of Hanja-character recognition. Hanja is difficult for not only recognition but classification as many character and complicated structure. In this paper, to solve thie problem, extracted common subpattern in classified pattern after processing type classification fot Hanja pattern. First, we extracted subpattern, after we process preprecessing about input of character pattern, extracting directional segment, labeling on 4-directional pattern and 12 type classified using structural information based on the subpattern existing region of character pattern. Though the experiment, this study obtained that classified rate of Hanja is 93.07% on 1800 character of educational Hanja and 90.12% on 4888 character of KS C5601 standard TRIGEM LBP Hanja font and saw that as extracting subpattern at classified data was this paper possibly applied to the recognition.

• Journal of KIISE:Software and Applications
• /
• v.30 no.3_4
• /
• pp.202-211
• /
• 2003

Abstract Formal definitions of syntax and semantics for the static and dynamic models in Object Oriented methods are already defined. But the behavior of interacting objects is not formalized. In this paper, we defined the common behavior of interacting objects in terms of process algebra using sequence diagram in UML and regularized properties of interacting objects. Based on the results, we can develop a formal specification by. using of the object interaction instead of the existence dependency suggested by M. Snoeck and G. Dedene[9].

• Proceedings of the Korean Society for Information Management Conference
• /
• 1999.08a
• /
• pp.255-259
• /
• 1999

본 연구는 웹상에 존재하는 메타데이터의 통합이나 그 활용성을 증진시키기 위해서 RDF를 활용하여 상이한 메타데이터 형식에 정의된 기술요소간의 어의적인 연계성을 확보하기 위한 방안에 대한 연구이다. 이를 위해 RDF스키마를 기반으로 연계성 확보의 기반이 되는 공통스키마를 설계하고, 이 스키마의 해당 클래스를 rdf： domain속성값으로 메타데이터 스키마를 설계함으로써 결과적으로 공통스키마를 기준으로 메타데이터 형식상호간 연계성을 갖도록 하였다.