• Korean Journal of Logic
• /
• v.7 no.1
• /
• pp.23-40
• /
• 2004

실체 유물론과 인과 결정론이 개인의 자유와 동일성을 실질적으로 열어주려면 사건 원인 외에 행위자 원인의 여지를 허용해야 한다. 그 두 가지 원인은 법칙적 일반적 결정의 개념과 합리적 개성적 결정의 개념을 지니고 있다. 개성의 인과적 역할은 법칙화할 수 없는 물질성의 여지를 남긴다. 바로 그 가능성이 인간의 자유와 동일성의 실질적 복권의 가능성이다.

• Proceedings of the Korean Society for Quality Management Conference
• /
• 2007.04a
• /
• pp.229-234
• /
• 2007

반도체 산업에서 동일제품을 여러 라인에서 생산하는 것은 일반적이다. 모든 라인에서 생산된 제품의 품질수준의 동일 여부는 반도체 공정 계측데이터의 동일성 여부로 결정된다. 이러한 의사결정에 앞서 계측데이터를 생산하는 라인간 계측시스템의 동일성 검정은 필수적이다. 일반적인 두 집단의 동일성검정 방법은 동일시료를 두 집단에서 반복 측정하여 측정값의 차이를 비교하는 방법이다. 그러나, 반도체 계측특성은 동일시료를 반복 측정할 때, 물리적 영향 등에 의해 시료가 변화하여 반복측정이 난해한 특징을 가지고 있어 일반적인 반복측정 방식의 동일성 검정방법은 적합하지 않다. 본 연구에서는 반복측정이 난해한 반도체 계측 특성 하에서 가설검정을 이용한 라인간 계측 동일성 검정방법을 제시하고 실제 반도체 공정에 적용한 사례를 소개하고자 한다.

• Korean Journal of Logic
• /
• v.19 no.2
• /
• pp.253-293
• /
• 2016

In Wittgenstein's Tractatus, the concept of 'identity' gives rise to several puzzles as follows. What is an equation(Gleichung) in the Tractatus? Is an equation identical with so called an identity statement? Frege asserts that identity is not a relation between signs but one between objects or of a thing to itself. Then how does Wittgenstein criticize this Frege's conception? Furthermore Wittgenstein explicitly criticizes about Russell's definition of identity. Then What is the point of such Wittgenstein's critique? In a nutshell, what is early Wittgenstein's idea on the nature of identity? In this paper, I will endeavor to answer these questions.

• Proceedings of the KAIS Fall Conference
• /
• 2012.05a
• /
• pp.166-168
• /
• 2012

브랜딩(branding) 또는 브랜드 마케팅이란 브랜드를 타사의 것과 차별화하는 과정으로 이해하는 경우가 많다. 포지셔닝(Positioning)의 두 가지 축은 동일성(Point of parity)과 차별성(Point of difference)이다. 동일성에 대한 연상을 소비자에게 심어주고 그 바탕위에서 차별성을 심어주어야 하는 것이다. 차별화와 동일성 양자는 모두 중요하며, 이것은 적절하게 조화를 이루어야 하는 것이다.

• The Journal of the Korea Contents Association
• /
• v.6 no.11
• /
• pp.202-216
• /
• 2006

A number of process algebras are not well suitable for real-time navigation/delivery systems due to the following reasons: 1) lack of representation of process distributivity over some geographical space and 2) the indistinction of representation of process mobility from process distributivity over the space. To make the process algebra suitable to the systems, it seems to be necessary to separate the space representation from the mobility representation. This paper presents a formal method for this purpose, namely, Calculus of Abstract Real-Time Distribution, Mobility, and Interaction (CARDMI). For analysis and verification of behavioral properties, CARDMI defines a set of the spatial, temporal and the interactive deduction rules and a set of equivalence relations. The rules and equivalences can be abstracted hierarchically due to the spatial abstraction, too. CARDMI can be applied to virtual navigation/delivery system for contents, too.

• Korean Journal of Logic
• /
• v.21 no.2
• /
• pp.207-231
• /
• 2018

The identity theory of truth insists that a truth bearer is identical with a fact. First, I will consider how we can make the thesis intelligible. For this, I classify the identity relation which the identity theory discusses into two kind; trivial and non-trivial relation. And I show that the trivial one is not adequate to be qualified to be applied to the identity theory. The non-trivial relation can be adopted in robust or modest way. I argue that the robust kind of identity theory is incoherent itself. Then, I explain why we should compare the modest identity theory with the deflationism. From this comparing, I will draw the consequence that two choices are left to the modest theory. If they choose one way, there is no reason for us to prefer the identity theory to deflationism. On the other hand, in case that they choose the other way, I argue what kinds of interesting problem is left to be solved by the modest theorists. Finally, I will evaluate the limit and prospect of the result of the problem in case that the identity theorists achieve their goal.

• Proceedings of the Korean Information Science Society Conference
• /
• 2000.10a
• /
• pp.418-420
• /
• 2000

절차지향 프로그램으로부터 객체지향 프로그램으로 제공학 과정은 여러 단계를 거친다. 재공학은 객체 추충, 클래스 추출, 상속성 추출, 지속성 추출, 코드생성, 테스트등의 과정을 거친다. 변환 과정을 정당화하기 위해 테스트 단계에서 두 프로그램의 의미적 동일성이 검증되어야 한다. 이러한 검증과정이 없이는 변환이 무의미하다. 본 논문에서는 두 프로그램의 의미적 동일성의 의미와 검증에 대한 방법론을 제안한다.

• Culinary science and hospitality research
• /
• v.15 no.3
• /
• pp.94-111
• /
• 2009

Franchise restaurants in Korea are making efforts to improve service quality by developing and following service quality manuals to provide uniform services. This study was conducted to verify the fact that such efforts to provide uniform services would increase customer satisfaction and influence customers' decision to revisit. After setting up research models and hypotheses, the survey was conducted for 30 days from April 1 to 30, 2008 and a total of 279 copies were analyzed. The result of this study includes three findings. First, among the independent variables pertaining to the influence of uniform service quality on customer satisfaction, service uniformity, brand uniformity, and space arrangement uniformity were most influential. Also, among the brand image variables, service uniformity was most influential on customer satisfaction. Second, it was found that uniform service quality had positive influence on customers' behavioral intentions and that menu was the most influential factor. Third, it was found that higher customer satisfaction had greater influence on customers' behavioral intentions.

• Proceedings of the Korean Information Science Society Conference
• /
• 2007.06b
• /
• pp.47-52
• /
• 2007

소프트웨어의 유지 보수에 대한 필요성이 커짐에 따라 서로 다른 소프트웨어 사이의 동일성에 대한 검증이 중요한 문제가 되었다. 본 논문에서는 새로운 패러다임을 적용해 변환된 프로그램과 기존의 프로그램 사이의 행위, 기능, 제어 측면의 비교를 통해 두 프로그램 사이의 동일성을 검증하는 방법을 제시한다.

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

지리 정보 서비스에 대한 요구가 증가하면서 서로 다른 공간 데이터베이스를 통합하여 사용하기 위한 연구가 증가하고 있다. 그러나 공간 데이터베이스에 존재하는 이질성으로 인하여 통합 작업은 단순화 관계를 갖는 네트워크간의 인스턴스 동일성 확인에 대한 연구를 기술한다. 네트워크 구조의 공간 데이터베이스는 위치 정보와 위상 정보를 명시적으로 포함하고 있으며, 도로, 수도, 배전 등 많은 응용분야를 갖고 있다. 본 연구의 결과는 이러한 네트워크 구조의 공간 데이터베이스 통합에서 기본이 되는 인스턴스의 동일성 확인을 용이하게 할 수 있을 것으로 기대된다.