http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
김정택(Kim, Jung-taek),고희선(Ko, Hee-sun) 대한철학회 2012 哲學硏究 Vol.124 No.-
본 논문은 도가철학의 모순적, 역설적, 변증법적 사유방식에 대한 분석 심리학과 현존재분석적 고찰을 통해 인간의 모순적 속성을 심리학적•철학적으로 좀 더 잘 이해하고자 하는데 그 목적이 있다. 인간은 모순적 존재이다. 의식과 무의식이라는 동전의 양면과도 같은 인간의 정신 현상 속에는 상반상보적(相反相補的)인 정신의 모순적 속성이 공존하고 있다. 그리고 온전한 인간이해에의 시선은 이러한 정신의 전일성(全一性) 혹은 전체성에 대한 이해를 전제로 한다. 분석심리학에서 인간의 본질로 바라보는 정신의 전체성 또는 전일성은 자기 (Self)를 통해 나타난다. 연구자들은 이러한 인간 정신의 전체성 혹은 전일성을 가능케 하는 분석심리학에서의 자기원형의 작동원리를 통해 노자{老子)의 무위자연사상(無寫自然思想)에 입각한 한 존재의 자연화과정을 한 개체중심적인 분석심리학적으로 먼저 살펴보고, 이를 바탕으로 주제와 타자, 그리고 사회의 자연화과정을 현존재분석적으로 좀 더 확장하여 탐색하였다. 즉 본 논문은 무의식의 의식화과정을 통한 분석심리학에서의 자기실현과정 과 그 맥을 같이 하는 노자(老子)의 무위 자연사상(無寫 自然思想、)을 염군평의 『老子指歸』를 중심으로, 한 주체중심적인 분석섬리학적으로 먼저 살펴보고, ‘현존재의 공존성’을 바탕으로 한 한 주체의 자연화과정을 둘러싼 주체와 타자, 그라고 사회의 자연화과정에의 가능성을 현존재분석적으로 살펴봄으로써, 모순적 인간 속성 속에서도 상호 조화를 이루며 ‘따로 또같이’ 살아갈 수 있는 주체와 타자, 그리고 사회적 역학관계에 관한 철학적 주제를 심리학적 방법론을 통해 좀 더 실천적으로 탐색해보고자 하는데 그 목적이 있다. This thesis arms at a better psychological and philosopical understanding about human contradictory characteristics through the analytic psychology and Dasein analytic consideration about the contradictory, paradoxical, and dialectical thinking way of the Lao-tzu philosophy. Human Beings are contradictory. In the human mental phenomenon like two sides of the same coin coexist contrary but complementary mental characteristics, and the perfect understanding of human being is based on that of human mental wholeness or allness. Mental allness or wholeness viewed by the human essence in the analytic psychology appears through the Self. The researchers looked into the Subject's naturalization process which agrees with the Lao-tzu's thought that leaves nature as it is through the Archetypus des Selbst of analytic psychology that makes possible human being's psychological allness or wholeness, and then expanded it to the Subject's, the Object's, and the society's naturalization process by the way of Dasein analysis. In other words, this thesis aimed to explore philosophical theme more practically by the psychological way on the Subject's, the Object's and the society's dynamics which makes us live independently and together in spite of the contradictory characteristics of humans in psychological way, through looking into the Lao-tzu's thought which complies with self-realization process in the way of one Subject-oriented analytic psychology and looking into the possibility of the Subject's, the Object's and the society's naturalization process which encompass one subject's naturalization process of one subject's in the basis of Dasein's coexistence.
김정택(Jung-Taek Kim),이광근(Kwangkeun Yi) 한국정보과학회 2000 정보과학회논문지 : 소프트웨어 및 응용 Vol.27 No.3
이 논문의 목적은 ML 프로그램의 소스(source)를 수정하여 ML의 예외상황 처리기의 수행속도를 개선하고자 하는 것이다. ML은 함수를 값으로 주고받을 수 있으며 타입을 이용하여 프로그램을 검사해 주는 언어이다. 이러한 ML의 예외상황 처리부분을 사용함으로서 프로그래머는 쉽게 자신의 프로그램의 예외적인 동작을 기술할 수 있다. 하지만, 이러한 예외상황을 처리하기 위해서는 많은 계산이 필요하기 때문에, 예외상황을 처리하는 프로그램 부분이 병목 현상을 일으키는 경우가 많다. 프로그램의 소스를 바꾸어서 예외상황 처리부분이 존재하지 않는 같은 동작을 하는 다른 프로그램으로 바꾸는 방법은 이미 알려져 있지만, 도리어 수행시간이 느려진다. 위의 바꾸는 방법은 “나중에 할 일을 넘겨주는 방식(Continuation Passing Style)”이라고 부르는 방식으로 프로그램의 소스를 바꾸는 방법을 조금 수정하여, 예외상황을 처리하는 부분을 위의 “나중에 할 일(continuation)”과 같은 방식으로 넘겨주어 예외상황 처리부분이 모두 사라지게 된다. 그러나, 이러한 방식은 모든 프로그램내 표현(expression)을 모두 위와 같은 방식으로 바꾸기 때문에, 이로 인해 발생하는 계산이 예외상황을 처리하는 계산보다 더 많아지게 된다. 이 논문에서는 이러한 단점을 개선하여 프로그램내에서 예외상황 처리부분을 없애는데 꼭 필요한 표현 만을 정적분석을 사용하여 골라내어 이를 선택적으로 변환하는 방법을 사용한다. ML's exception handling makes it possible to describe exceptional execution flows conveniently. Sometimes, current implementation of exception handling introduces unnecessary overhead. Our goal is to reduce this overhead by source-level transformation. To this end, we transform source programs into variant of continuation-passing style(CPS), replacing handle and raise expressions by continuation-catching and throwing expressions, respectively. CPS-transforming every expression, however, introduces a new cost. We therefore use an exception analysis to transform expressions selectively: if an expression is statically determined to involve exceptions then it is CPS-transformed; otherwise, it is left in direct style. In this article, we formalize this selective CPS transformation, prove its correctness, and present possible improvement for our transformation.