• Korean Journal of Logic
• /
• v.19 no.1
• /
• pp.1-49
• /
• 2016

In the Tractatus, 'logical space' raises the several puzzles as follows. What are logical space, logical coordinates and logical place? What is the point of such analogies and what do they refer to exactly in the Tractatus? And what do occupy logical space? Can facts, proposition, propositional sign, situation and contradiction occupy it respectively? Or is it impossible to reconcile the remarks concerning logical place in the Tractatus? Futhermore, why did Wittgenstein need the concept of logical space? What is the problem that he tried to solve through this concept? In this paper, I will endeavor to answer to these problems. Logical space in the Tractatus is the system of propositions with senses. And it is the concept which Wittgenstein contrived by making model of Hertz's configuration space. Wittgenstein's fundamental coordinates are in some ways similar to geometrical ones. On the other hand logical coordinates are completely different from geometrical ones. Hence attempts to understand logical space by a kind of geometrical spaces cannot be right at all.

• Journal of the Korean association of regional geographers
• /
• v.14 no.5
• /
• pp.480-491
• /
• 2008

Recent globalization and de-industrialization have caused intensive competition among places; hence, cities worldwide are pursuing regeneration and enhanced competitiveness through cultural strategies. Focusing on the cultural strategies of local cities in Japan, this paper reveals that the concept of "being-a-region" is key to cultural strategies, and explores what logic is inherent in such regional developments. Since the period of rapid economic growth, Japanese local cities have played the role of "Furusato(home) for Japanese." With the recent decentralization, "being-a-region" is now emerging as a powerful discourse for the cultural strategies of local cities. This idea of "being-a-region" can be largely defined as a region's special character or even an existential sense of place, but in fact it is political relationships among agencies that define the region. "Being a region" in Japan appears to extend to "being a nation." Thus, it would be necessary to focus on the power relationships that surround the concept of "being a region" when we deal with the meaning of region in relationships to cultural strategies of local cities.

• Journal of the Korea Institute of Information and Communication Engineering
• /
• v.9 no.2
• /
• pp.445-453
• /
• 2005

The design process of a relational database system consists of requirement analysis, conceptual design using ER diagram, logical design, and physical design. In logical design process, the conceptual schema is transformed to relational schema, and relational schema is normalized. This traditional design process is hard to applied in real database design process, since there is an ambiguity in conceptual design process. In this paper, we suggest a new design process, which provides more structural design steps by removing the conceptual design process. In new approach, we produce the data flow diagram by the structural methodology. From the attributes in the data store of data flow diagram, we construct relational table schema, and we normalize relational schema. Finally we produced table relationship diagram in order to figure out relationships between tables.

• Review of KIISC
• /
• v.20 no.1
• /
• pp.39-46
• /
• 2010

정보 통신의 발전으로 인하여 모든 장소에서 인터넷, 인트라넷을 적용하여 외부와의 업무 연속성을 활용하고 있다. 그러나 이러한 환경은 계속적인 기업 내의 정보 유출에 대한 위험으로 내부 정보보호를 위해업무 영역과 개인 영역으로 구분된 환경을 조성하고 있다. 이를 위한 망 분리는 IT기술의 발전으로 물리적인 망 분리에서 가상화를 접목한 논리적 망 분리가 제시되고 있다. 업무 환경의 보호를 위한 망 분리에 대한 다양한 방안과 그에 대한 장단점을 소개하도록 한다.

• Proceedings of the Korean Information Science Society Conference
• /
• 1999.10a
• /
• pp.510-512
• /
• 1999

개발환경이 고정된 장소에서 분산된 장소로 점차 변함에 따라서 프로젝트나 프로그래밍에 관련된 주변인들 사이에 발생할 수 있는 정보 공유와 교환이 어려워지고 있다. 인터넷과 인트라넷의 급격한 증가로 인해 개발자들은 분산된 환경에서 작업을 수행하는 일이 많아지면서 기존의 HTML을 이용한 문서의 공유나 교환은 HTML의 제한점들로 인해 많은 부담이 된다. 본 논문에서는 분산환경에서 정보공유와 교환을 위해 HTML의 제한점들을 보안하여 확장성이 뛰어나고, 사용자 정의 태그를 지원하며, 문서의 논리적인 정보를 제공할 수 있는 XML을 이용하여 급격한 사용자 증가를 얻고 있는 Java 프로그램을 대상을 하는 정보 공유와 교환에 필요한 정보들을 각 모듈별로 제안하고, 제안된 정보에 대한 HML DTD를 설계한다.

• Korean Journal of Logic
• /
• v.19 no.3
• /
• pp.401-435
• /
• 2016

Can a proposition that a sentence like "It is raining" represents be sometimes itself? or is it always ? This is known as the debate between Eternalism and Temporalism and belongs to the sub-category of the wider debate between Classical Propositionalism and Non-classical Propositionalism. Regarding this matter, Cappelen and Hawthorne(2009), supporting Eternalism[Classical Propositionalism], raise interesting objection to anaphoric 'that' argument that is one of the famous arguments supporting Temporalism. In this paper, I try to show how difficult it is to advocate Classical Propositionalism by refuting what Cappelen and Hawthorne claim.

• Proceedings of the Korean Institute of Information and Commucation Sciences Conference
• /
• 2003.10a
• /
• pp.615-618
• /
• 2003

The design process of a relational database system consists of requirement analysis, conceptual design using ER diagram, logical design, and physical design. In logical design process, the conceptual schema is transformed to relational schema, and relational schema is normalized. This traditional design process is hard to applied in real database design process, since there is an ambiguity in conceptual design process. In this paper, we suggest a new design process, which provides more structural design steps by removing the conceptual design process. In new approach, we produce the data flow diagram by the structural methodology. From the attributes in the data store of data flow diagram, we construct relational table schema, and we normalize relational schema. Finally we produced table relationship diagram in order to figure out relationships between tables.

• The Journal of the Korea Contents Association
• /
• v.13 no.7
• /
• pp.158-167
• /
• 2013

This research examines the legal liability of place-shifting of TV contents by the use of the Slingbox. The place-shifting of TV contents is fair use because it is a non-commercial private use based on the relevant case law regarding time-shifting and device-shifting such as Sony, RIAA and Napster. But the sharing of place-shifting function is likely to be liable for copyright infringement. And place-shifting may not be fair use based on the cases which denied fair use of time-shifting and space-shifting because the consumers' convenience for the use of the copyrighted work is against the purpose of legislation of copyright law. Place-shifting is unlikely to have a significant effect on the potential market for TV contents because it presents lucrative new platforms to disseminate TV contents to computers and mobile devices. However it is likely to have negative effect because various devices can be the follow-up marketplaces of the copyright holders of TV contents. This study proposes the "innovative medium defense," a new doctrine to analyze liability of innovative media.

• The Journal of the Korea institute of electronic communication sciences
• /
• v.14 no.6
• /
• pp.1129-1138
• /
• 2019

Since substations are structurally complex due to the concentration of protection coordination facilities with substation facilities for long distance power transmission, it is difficult to design a protection coordination system to minimize the spreading effect of the fault when a fault occurs on transmission line or distribution line. Therefore, in this paper, the bus configuration and the basic logic of protection coordination that have a major influence on the reliability of substation power supply were analyzed, and the substation protection coordination logic to detect internal and external faults was developed based on EMTP-RV. As the basic logic of substation protection coordination, the percent differential protection relay logic for substation internal fault detection and the overload protection relay logic for inference of external failure were modeled. Finally, the 154kV substation including the protection coordination logic was modeled using EMTP-RV, and the effectiveness of the protection coordination design methodology was confirmed through the several fault simulation cases based on EMTP-RV.

• The Journal of Information Technology and Database
• /
• v.5 no.1
• /
• pp.13-37
• /
• 1998

인터넷 등의 컴퓨터 통신 네트워크의 발달로 인하여 분산된 정보자원의 공유를 통한 자원에 대한 재사용성의 필요성이 대두되었다. IRD(Information Resource Dictionary)는 조직 내에서 관련된 모든 정보에 대한 데이터가 논리적으로 중앙화된 정보저장소(repository)이다. IRD 내의 데이터는 다른 데이터를 기술하므로 이른바 메타 데이터라고 하기도 한다. IRD의 사전(dictionary) 요소는 정보자원의 종류, 정보자원의 의미, 정보자원의 논리적 구조, 정보자원의 위치, 그리고 정보자원의 접근방법 등을 기술한다. FIPS ANSI의 IRDS는 이항 관계를 이용하여 무결성 제약조건을 표현하므로 제약조건 규칙의 표현과 일반적인 추론 규칙의 표현이 제한되어 있으며, 다양한 형태의 무결성 제약조건의 표현과 IRD와 관련된 여러 정보의 도출 또는 추론 및 관리에 관한 사항은 IRD 응용 고유의 문제로 간주하여 언급하고 있지 않다. 한편, FIPS IRDS는 사용자가 SQL 및 IRD에 대한 전문적 지식이 없이는 사용자 질의 작성이 어려운 점등에 대한 문제점을 안고 있다. 본 논문은 FIPS IRDS의 기본모델에서 정보자원 표현, 정보자원들간의 관계, 정보자원의 관리 정보 구분을 명확히 하기 위해 정보자원 모델을 정보자원 표현요소와 정보자원 관리요소의 두 부류로 나누어 구분하고, 각 부류에 대한 자격 질의(competency question)를 통하여 유추된 요소들을 FIPS ANSI IRDS 기본 모델의 스키마 기술 레벨과 스키마 레벨에 첨가함으로써 그 기본 모델을 확장한다. 그리고, FIPS ANSI IRDS가 제공하는 IRD 기술과 관리 기능을 그대로 포함하면서 앞에서 문제점으로 지적된 제약조건 표현과 추론규칙 표현을 위하여 확장된 기본 모델을 중심으로 각 레벨의 구성 요소들의 형식적 의미(formal semantics)와 레벨 내 혹은 레벨 구성요소들간의 관계성(relationship), 그리고 제약조건의 표현과 질의 추론 규칙들을 식별하여 FOPL(First Order Predicate Logic)로 표현한다. 또한, 본 논문은 FOPL로 표현된 predicate들과 규칙들을 구현하기 위하여 Prolog로 변환하기 위한 이론적 방법론을 제시하고 정보자원 관리를 위한 기본 함수들과 스키마 진화(schema evolution)를 위한 방법론을 제안한다.