• Journal of the Korean Geographical Society
• /
• v.33 no.spc
• /
• pp.709-719
• /
• 1998

오늘날 세계는 물질적으로 풍요롭게 되었지만, 생태위기의 발생과 더불어 환경문데를 둘러싼 불평등이 감소하기 보다는 오히려 증대하고 있다. 21세기를 위한 새로운 패러다임으로서 생태학은 이러한 불평등을 극복하기 위한 지식 및 실천으로서 '환경정의'의 개념 또는 이론을 필요로 한다. 진정한 환경정의론은 한편으로 생태학의 규범적 측면들을 발전시키면서 다른 한편으로 이의 이데올로기의 동원을 막을 수 있는 이론적 및 실천적 토대가 될 것으로 기대된다. 환경정의에 관한 개념적 연구는 주로 사회정의에 관한 철학적 전통, 특히 자유론, 공리주의, 계약론을 포괄하는 자유주의적 정의론, 맑스주의적 정의론 및 포스트모던 정의론 등에서 도출된 주요 개념들을 자연환경에 확대시키고자 한다. 환경정의에 관한 몇몇 학자들, 대표적으로 벤쯔(Wenz), 하비(Harvey), 로와 그리슨 (Low and Gleeson) 등은 다양한 전통을 위에서 제시한 (환경)정의론들을 면밀히 고찰하여, 이들 각각의 한계를 제시하거나 문제점들을 지적하고, 나아가 이들을 종합하고자 했다. 이들의 연구는 환경정의에 관한 다양한 이론들의 특성을 이해하는데 많은 도움을 주지만, 그 자체로 일관성 있는 이론으로 발전하지는 못했다. 이 글에서 제시되는 환경정의론은 인간들 간의 관계, 자연과 인간들 간의 물질적 관계, 그리고 상징적 관계 등에 상응하도록 정의를 3가지 차원, 즉 분배적 정의, 생산적 정의, 승인적 정의로 구분하고자 한다. 이들은 각각 필요의 원칙, 노동의 원칙, 그리고 의사소통의 원칙에 기초하며, 또한 각각 자유주의적, 특히 롤즈의 정의론, 맑스주의 정의론, 그리고 비판이론이나 포스트모던 정의론에서 많은 시사점들을 얻을 수 있다.

• Journal for History of Mathematics
• /
• v.24 no.1
• /
• pp.63-73
• /
• 2011

This paper analyses conceptual change from Euclid's dictionary definition to Hilbert's mathematical definition about primitive terms in Geometry. Realism, conceptualism, nominalism about mathematical objects are related to this conceptual change.

• The Journal of the Convergence on Culture Technology
• /
• v.8 no.5
• /
• pp.315-320
• /
• 2022

This study intends to deal with the flow of posthumanism after humanism, which views humans from the same dimension as other living things, and the problem of transhumanism, which originated from it, but on the contrary, dreams of augmented humans through science and technology. After that, this study intends to examine how the modern theory of justice can evaluate the situation about these two extremes. In particular, the guide we have chosen in relation to the theory of justice, is Michael Sandel, and by passing the problem of future post/transhumanism into this discussion, we propose how we can evaluate the flow of future anthropology from the standpoint of the traditional theory of justice. Post/transhumanism and its various events are approaching as our inevitable fate. However, along with this inevitable situation, many discussions are still needed in order to pass the theory of justice and to be accepted as valid.

• Proceedings of the Korean Information Science Society Conference
• /
• 2003.04c
• /
• pp.25-27
• /
• 2003

재공학 방법론의 메타 모델은 재공학을 위해 수반된 다양한 범위의 여러 기술들 간의 관계성을 식별하고 추상화 함으로써, 재공학 방법론 개발자들이 일관성 있게 적용할 수 있는 방법론 개발 원칙을 정립할 수 있다. 따라서, 본 논문에서는 레거시 시스템의 재공학을 위한 체계적인 방법론 개발을 위해 메타 모델을 정의하고, 이를 바탕으로 실제 레거시 시스템을 새로운 시스템 환경으로의 변환 및 통합을 지원하기 위한 아키텍쳐 기반의 컴포넌트화 방법론인 마르미-RE를 개발한다. 이를 위해 재공학 기술의 체계를 분석하고 방법론을 구성하는 기술 요소들을 정의하기 위한 기술적 메타 모델과, 방법론을 구성하는 업무 단위를 정의한 프로세스 메타 모델을 정의한다. 그리고, 프로세스 메타 모델에 따라 기술적 메타 모델을 전개시킴으로써 마르미-RE의 세부 단계와 활동, 작업등을 개발한다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2003.10b
• /
• pp.349-351
• /
• 2003

Statecharts는 UML에서 시스템의 행위를 표현하기 위한 핵심적인 언어로서 다양한 분야에 응용되고 있다. 그 의미론은 수학적인 방법으로 기술되어 있으나 실제로 응용하여 구현하는데에는 상당히 많은 과정을 거쳐야 한다. 본 논문에서는 UML Statecharts와 유사한 언어인 SyncCharts로 정의한다. SyncCharts는 Esterel의 정형명세 언어에 기반한 도식적인 언어로서 그 의미론은 물론 내장형 시스템의 코딩을 위해 잘 정의되고 진화된 언어이다. 본 논문에서는 SyncCharts를 이용하여 Statecharts의 의미론을 정의한다. 특히 실시간적인 행위 측면에서의 동기적 시간 의미론과 비동기적 시간 의미론을 모두 정의한다. 이렇게 함으로써 UML Statecharts의 실시간과 관련된 의미론을 정의한다. 그에 더하여 SyncCharts의 명세를 통해 어떻게 구현이 가능한지를 보임으로서 실제 Statecharts를 이용한 검증 및 구현 과정을 보인다.

• 한국노년학
• /
• v.30 no.4
• /
• pp.1045-1058
• /
• 2010

Based on Rawl's Justice Theory, the author examines the rationales for educating older adults and advocates for their needs for just distributions of educational resources and opportunities. The author also seeks policy implications for establishing just educational systems for older citizens. On the basis of Rawl's Justice Theory, the essential principles for realizing social justice are presented. The author points out the Veil of Ignorance and Rational Indifference. As the practical methods for achieving social justice, the author presents Exclusion of Coincidence, Difference Principle, Democratic Equality, and Common Asset. Implications for establishing just education systems for older adults include: 1) The least advantaged groups such as older adults, females, and the disabled should not be discriminated in the distribution of educational resources; 2) People with higher capacities are obliged to serve less capable people; and 3) Older adults should mobilize all resources to empower themselves and to develop their potentials. The author concludes that Rawl's Justice Theory can be tapped into as a useful ideological framework in order to expand educational resources and opportunities for older adults.

• Journal of the Korean association of regional geographers
• /
• v.11 no.4
• /
• pp.476-496
• /
• 2005

This paper considers some significances and limitations in application of Rawls' liberal theory of justice to conceptualization of environmental and ecological justice. It first reviews Rawls' liberal theory of justice, then examines how his theory of justice considers natural resources and can be applied to develop distributive theory of environmental justice, and finally explores what kinds of problems would be generated when Rawls' theory of justice is to be extended to animals and other natural components. In Rawls' theory of justice the status of natural resources is described as a objective condition for justice, but it is argued that natural resources should be seen as a substantial component of just production and distribution. It also can be stressed that his theory of justice does not secure a just result of resource distribution, even though it has a great significance for just procedure of distribution. Finally, it seems hardly possible to extend Rawls' theory of justice to animals and other natural components to develop a Rawlsian theory of ecological justice, because liberalism and Western tradition of science on the basis of which Rawls' theory of justice has developed presuppose an ontological dualism of human beings and other natural components, and hence cannot recognize the inherent value of nature.

• Proceedings of the Korean Operations and Management Science Society Conference
• /
• 2004.05a
• /
• pp.722-725
• /
• 2004

기업의 비즈니스 프로세스는 날로 변화하여 다양해지고 있으며, 특히 e-비즈니스의 활성화로 인하여 더욱 복잡해지고 전문화되었다. 워크플로우 관리시스템은 이러한 비즈니스 프로세스를 실행, 운영, 통제하는 시스템으로서 발전해왔다. 이러한 워크플로우 관리 시스템의 장점을 이용하기 위해서는 반드시 프로세스의 분석과 모델링을 통하여 워크플로우 정의가 입력되어야 한다. 본 연구에서는 프로세스를 비교하는 척도를 개발함으로써 다수의 모델간의 차이를 분석할 수 있는 방법을 제시하며, 이를 통하여 협력적으로 워크플로우 정의를 설계하는 방법론을 제시한다. 즉, 프로세스의 속성을 분류하고 이 속성의 단계적 척도를 개발하여 다수 모델간의 차이를 분석함으로써, 워크플로우 정의를 설계할 때 다수의 모델간에 협의가 가능한 방법론을 제시하는 것을 목표로 한다. 본 연구에서 제시하는 방법론은 다음과 같은 장점이 있다. 먼저 프로세스 정의에 있어 그룹 다이나믹스 방법을 도입하여 보다 정확하고 비용이 적은 프로세스 설계 방법론을 제시하였다. 또한 비즈니스 프로세스간 차이를 비교할 수 있는 척도를 통하여 기존의 프로세스 모델간 또는 설계되는 프로세스 모델의 비교가 가능하다는 장점이 있다. 이러한 본 연구의 방법론을 통하여 워크플로우 관리 시스템에 보다 효율적이고 정확한 프로세스 정의가 가능할 것이다.

• Korean Journal of Logic
• /
• v.3
• /
• pp.27-51
• /
• 2000

이글의 기본적인 목적은 2치를 포함한 다치 논리 체계들간의 관계를 검토하는 데 있다. 이를 위하여 여기서는 명제를 대상으로 한 형식 의미 해석체계들 간에 고러해야 할 의미론적 확장 개념을 분명히 하였다. 구체적으로 다음의 두 작업이 수행되었다 첫째로 2치와 다치 논리 또는 다치 논리들간에 적용될 만한 의미론적 확장 개념을 의미해석의 바탕을 이루는 진리치 함수와 진리연산에 맞게 정의하였다. 둘째로 정의의 적합성을 확장, 비확장 사례 증명을 통해 예증해 보였다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2003.11b
• /
• pp.793-796
• /
• 2003

B2B 전자상거래와 같이 XML을 이용한 정보교환이 확산되고 있으며 이에따라 상호 교환되는 정보에 대하여 체계적이고 안정적인 저장 관리가 요구되고 있다. 이를 위해 XML 응용과 데이터베이스 연계를 위하여 다양한 연구가 XML DTD와 관계형 데이터베이스 중심으로 수행되었다. 그러나 XML DTD가 다양한 데이터 타입 및 표현의 한계 때문에 관계형 데이터베이스와 원활한 연계가 불가능하게 되었다. 그러므로 다양한 데이터 타입과 데이터 표현에 강력한 XML Schema에 대한 연구가 필요하게 되었다. 또한 계층구조를 2차원 정보로 변환하는 방법에 의해서 각 구조화된 정보를 관계형 데이터베이스로 저장하기 위한 데이터 모델링과 XML schema 모델링이 요구된다. 본 논문에서는 XML schema로 정의된 XPDL 정의 스키마를 UML로 변환하는 방법론과 UML을 RDB 스키마로 변환하는 방법론을 제시함으로써, 워크플로우 정의 언어인 XPDL 정의 스키마를 토대로 관계형 데이터베이스의 스키마를 확정하는 방법론을 제안하였다.