문화개방과 애니메이션

최승락,최영철,Choi, Seung-Rak,Choi, Young-Chul 한국만화애니메이션학회 2005 만화애니메이션연구 Vol.- No.9

라틴어의 '영혼', '정신', '생명' 혹은 '활력'에서 유래한 용어인 '애니메이션', 그 오리지널의 의미는 인위적 조작을 통해서 가동성을 제공하는 것으로서 무생물, 비기존의 실체에 생명의 생성 혹은 활력의 편입과 다소 관계가 있었다. 애니메이션 생산에 관계하는 자, 영역을 관련지은 전문가는 활력소로 불린다. 애니메이션 생산의 현재의 세계적인시장은 막대하게 진보하고 있어 확대되고 있다. 국내의 애니메이션 시장은 전면적인 퀄리티로부터 제 3의 세계에서자리 매김 되고 있지만, 실제는 글로벌 시장에서 외국의 애니메이션 제품과 경쟁할 수 있는 고품질 제품이 거의 없다고 하는 것이다. 이 문제는 국내의 애니메이션 기술 및 생산이 현재의 시스템과 함께 이 논문으로 한층 심의 있게 외국·국내의 애니메이션상의 문학 데이터의 비교 분석의미가 있다. 이것은 국제적으로 경쟁력 높은 애니메이션제작의 생산적기지가 될 수 있는 근거일 수 있다. The term 'animation' derived from the Latin 'anima' meaning spirit, life, or vitality. Although its original meaning was somewhat related to creation of life or incorporation of vitality into an inanimate or nonexisting entity by providing mobility through artificial manipulation, it is now used in a rather narrow sense to define collectively the cartoon-based films or tape-recordings and specialists who are involved in animation production or related areas are called animators. The current worldwide market for animation production is progressing and expanding enormously. Although the domestic animation market is ranked as third in the world in terms of overall quantity, the reality is that there are few high quality products that can compete with foreign animation products in the global markets. This issue is further discussed in this paper along with the current status of the domestic animation technology and production. This investigation concerns the comparative analysis of literature data on foreign and domestic animation, which can be a basis for the production of internationally competitive animation work.

괴델의 불완전성 정리가 양진주의의 근거가 될 수 있는가?

최승락,Choi, Seungrak Korean Association for Logic 2017 論理硏究 Vol.20 No.2

양진주의는 참인 모순이 존재한다는 입장이다. 필자는 이 글에서 괴델 정리가 양진주의의 근거라는 프리스트의 논변이 설득력이 없음을 논할 것이다. 이는 괴델 증명이 우리에게 주는 교훈은 임의의 충분히 강한 산수에 관한 이론이 완전하면서 일관적일 수 없다는 것이기 때문이다. 다음으로 필자는 프리스트의 비일관적이고 완전한 산수에서 모순이 도출될 수 있음을 설명할 것이다. 그리고 괴델 문장이 비일관적이고 완전한 산수이론에 적용되어 양진주의에 관한 대안논변을 제시할 수 있음을 소개하고 이 경우에는 순환성의 문제가 있음을 논할 것이다. 요약해서, 필자는 괴델 정리 및 그와 관련된 정리는 완전한 이론들과 일관적인 이론들 간의 관계를 보여줄 뿐임을 주장할 것이다. 괴델 문장의 적용을 통해 도출된 모순이 중간값과 같은 참인 문장의 값을 지닐 수 있는 것 역시 산수에 관한 비일관 모형에서일 뿐이다. 비일관성이나 완전성에 관한 가정을 하지 않는다면, 괴델 문장의 적용이 참인 모순을 이끌어 낼 수 없으며 그렇기에 괴델 정리 및 그와 관련된 정리는 양진주의의 근거가 될 수 없다. Dialetheism is the view that there exists a true contradiction. This paper ventures to suggest that Priest's argument for Dialetheism from $G{\ddot{o}}del^{\prime}s$ theorem is unconvincing as the lesson of $G{\ddot{o}}del^{\prime}s$ proof (or Rosser's proof) is that any sufficiently strong theories of arithmetic cannot be both complete and consistent. In addition, a contradiction is derivable in Priest's inconsistent and complete arithmetic. An alternative argument for Dialetheism is given by applying $G{\ddot{o}}del$ sentence to the inconsistent and complete theory of arithmetic. We argue, however, that the alternative argument raises a circularity problem. In sum, $G{\ddot{o}}del^{\prime}s$ and its related theorem merely show the relation between a complete and a consistent theory. A contradiction derived by the application of $G{\ddot{o}}del$ sentence has the value of true sentences, i.e. the both-value, only under the inconsistent models for arithmetic. Without having the assumption of inconsistency or completeness, a true contradiction is not derivable from the application of $G{\ddot{o}}del$ sentence. Hence, $G{\ddot{o}}del^{\prime}s$ and its related theorem never can be a ground for Dialetheism.

에니어그램을 활용한 사이코패스 캐릭터 분석

최승락(Choi, Seung Rak),김현기(Kim, Hyun Ki) 한국디지털디자인협의회 2013 디지털디자인학연구 Vol.13 No.3

사이코패스는 사람들에게 더욱 큰 공포와 두려움이 되었고 이러한 시너지효과를 얻고자 영화의 범죄, 스릴러 장르에서 사이코패스라는 요소가 하나의 영화소재로 쓰여 지게 되었다. 하지만 영화 속에 나타난 사이코패스 캐릭터의 성격에 대하여 구체적인 연구가 많이 되어 있지 않다. 본 연구자는 사이코패시라는 성격의 장애에 주목하며, 사이코패스 주요 행동과 특징을 분석하고 영화속 캐릭터와 비교 분석하였으며, 사람들이 사이코패스와 정신장애의 차이점을 인지하지 못하는 점에서 성격분석 도구 에니어그램을 활용하여 자세한 성격을 알아보았다. 살펴 본 결과 사이코패스 캐릭터는 건강하지 않는 범위의 성격을 갖고 있으며, 사이코패스라고 하더라도 캐릭터의 성격 유형이 다르다는 것을 알 수 있다. 그리고 사이코패스와 정신장애 캐릭터의 대인관계에서 현저하게 다르다는 점을 확인할 수 있다. Psychopath has given people much fear and panic. With this, Psychopath has been used as a movie material to get these synergy effects in the criminal and thriller genre. However, there aren’t many further studies of the characters of the movies. I carefully examined the characters by using Enneagram, focusing on the mental handicap, analyzing its major behaviors and features, and comparing these with the characters of movies as people aren’t able to figure out the differences of Psychopath and Mental trouble. After above researches, we can understand the characters of Psychopath have unhealthy and different personalities. Also, we can recognize the personal relationship of Psychopath and mentally defective person is different.

고차원 벡터 공간에서 k - 최근접 검색에 관한 분석

최승락(SeungLak Choi),곽태영(TeaYeong Kawk),신봉근(BongKeun Shin),이윤준(Yoon Joon Lee),김명호(Myoung Ho Kim) 한국정보과학회 1998 한국정보과학회 학술발표논문집 Vol.25 No.2Ⅰ

지금까지 제시된 최근접 질의 알고리즘은 다소간의 차이는 있으나 기본적으로 질의 점과 MBR간의 최소 거리에 기반한 분기와 한정 기법을 이용하고 있다. 그러나 차원이 증가함에 따라 질의 구와 겹치는 노드가 급속히 증가하기 때문에 최근접 질의 알고리즘의 성능은 매우 비효율적이다. 이러한 문제를 해결하기 위해서 MBR 간의 중첩을 줄이고 MBR 내에 가급적 많은 점을 포함할 수 있는 다양한 다차원 색인 구조가 제시되었다. 그러나 우리의 실험에 의하면 이러한 방법이 근본적인 해결책이 되지 못함을 알 수 있다. 고차원 벡터 공간 모델이 가지는 문제로써 임의의 질의 점으로부터 모든 데이터 점들까지의 거리가 차원이 올라감에 따라 유사해지는 현상 때문에 비효율적인 성능이 나옴을 본 논문에서 지적한다.

상전환 공정에 의한 폴리설폰막의 제조에 있어 제막용액에 첨가된 톨루엔의 영향

최승락 ( Seung Rag Choi ),박소진 ( So Jin Park ),서범경 ( Bum Kyoung Seo ),이근우 ( Kune Woo Lee ),한명진 ( Myeong Jin Han ) 한국공업화학회 2008 공업화학 Vol.19 No.6

구약 인용의 수사학

최승락(Choi, Seungnack) 한국복음주의신약학회 2011 신약연구 Vol.10 No.2

In this article, we try to compare Christopher Stanley (representing a post-modern voice) with John Calvin (representing a pre-modern voice) in regard to Apostle Paul's use of the Old Testament. Christopher Stanley, depending on Gillian Lane-Mercier's view of 'parodic use of quotations,' argues that the deconstructive and reconstructive act of quoting is led by a strategic purpose to reinforce the authority or reputation of the quoting author. So the author tries to assert power over the audience as well as the source text. To illustrate this process clearly, Stanley distinguishes the audience into three supposed groups of informed audience, competent audience and minimal audience. The effect of quotation is different in force and in manner according to the capability of the audience. Stanley's view, however, does not properly distinguish between the effect of perlocutions and that of illocutions. Or more technically, he does not consider how the concealed strategic speech-acts (perlocutions) operate by means of illocutionary successes, as J. Habermas clearly shows. Paul does not just impose his power (or concealed strategic purposes) by quoting the Old Testament verses, especially over the uninformed Gentile audience. He is very careful about the propositional content of the quoted texts, as he respects the author of the word and so tries to be responsible for both the author and the text. When we examine specific cases in which Stanley's view is applied, we can see more clearly the shortcomings of his view. So we select 1 Cor. 10:1-11 and 2 Cor. 3:6-18 and compare Stanley's assessment of Paul's rhetorical success in Old Testament quotations with Calvin's focus on the scope or consilium of the quoted texts. For Calvin, he is very keen in rhetorical contexts of Paul and the effects of the quoted texts over his audience, but not in expense with the propositonal, exegetical-theological content of the texts. In this way, he examplifies a model of a hermentutic of respect, which includes the respect of authorial communicative purpose, the respect of propositional content of the text, and the respect of illocutionary effect for the audience. In the context of post-modern literary criticism, the issue of intertextuality could be both an ally and an enemy for the biblical interpretation. It could prove to be a help for us if we do not exclude the old voices like John Calvin to focus more on the purpose of God with respect, not just on the human rhetorical purposes.

괴델의 불완전성 정리가 양진주의의 근거가 될 수 있는가?

최승락 ( Seungrak Choi ) 한국논리학회 2017 論理硏究 Vol.20 No.2

Dialetheism is the view that there exists a true contradiction. This paper ventures to suggest that Priest`s argument for Dialetheism from Godel`s theorem is unconvincing as the lesson of Godel`s proof (or Rosser`s proof) is that any sufficiently strong theories of arithmetic cannot be both complete and consistent. In addition, a contradiction is derivable in Priest`s inconsistent and complete arithmetic. An alternative argument for Dialetheism is given by applying Godel sentence to the inconsistent and complete theory of arithmetic. We argue, however, that the alternative argument raises a circularity problem. In sum, Godel`s and its related theorem merely show the relation between a complete and a consistent theory. A contradiction derived by the application of Godel sentence has the value of true sentences, i.e. the both-value, only under the inconsistent models for arithmetic. Without having the assumption of inconsistency or completeness, a true contradiction is not derivable from the application of Godel sentence. Hence, Godel`s and its related theorem never can be a ground for Dialetheism.

테넌트의 자기지시적 역설에 관한 가설과 그에 대한 고전적 반례

최승락 ( Seungrak Choi ) 한국논리학회 2021 論理硏究 Vol.24 No.1

In his paper, “On paradox without self-reference”, Neil Tennant proposed the conjecture for self-referential paradoxes that any derivation formalizing self-referential paradoxes only generates a looping reduction sequence. According to him, the derivation of the Liar paradox in natural deduction initiates a looping reduction sequence and the derivation of the Yablo's paradox generates a spiral reduction. The present paper proposes the counterexample to Tennant's conjecture for self-referential paradoxes. We shall show that there is a derivation of the Liar paradox which generates a spiraling reduction procedure. Since the Liar paradox is a self-referential paradox, the result is a counterexample to his conjecture. Tennant has believed that classical reductio has no essential role to formalize paradoxes. As our counterexample applies the rule of classical reductio, he may reject the counterexample. In this sense, it will be briefly argued that classical reductio and his rules for the liar sentence share some inferential role. If classical reductio should not be used in paradoxical reasoning, neither should be his rules for the liar sentence.

거짓말쟁이 유형 역설과 직관주의 자연연역체계

최승락 ( Seungrak Choi ) 한국논리학회 2018 論理硏究 Vol.21 No.1

It is often said that in a purely formal perspective, intuitionistic logic has no obvious advantage to deal with the liar-type paradoxes. In this paper, we will argue that the standard intuitionistic natural deduction systems are vulnerable to the liar-type paradoxes in the sense that the acceptance of the liar-type sentences results in inference to absurdity (⊥). The result shows that the restriction of the Double Negation Elimination (DNE) fails to block the inference to ⊥. It is, however, not the problem of the intuitionistic approaches to the liar-type paradoxes but the lack of expressive power of the standard intuitionistic natural deduction system. We introduce a meta-level negation, □s, for a given system S and a meta-level absurdity, □, to the intuitionistic system. We shall show that in the system, the inference to ⊥ is not given without the assumption that the system is complete. Moreover, we consider the Double Meta-Level Negation Elimination rules (DMNE) which implicitly assume the completeness of the system. Then, the restriction of DMNE can rule out the inference to ⊥.

선언적 삼단논법을 지닌 1차 고전 자연연역 체계의 정형화 정리

최승락 ( Seungrak Choi ) 한국논리학회 2021 論理硏究 Vol.24 No.2

In the present paper, we prove the normalization theorem and the consistency of the first-order classical logic with disjunctive syllogism. First, we propose the natural deduction system S_CD for classical propositional logic having rules for conjunction, implication, negation, and disjunction. The rules for disjunctive syllogism are regarded as the rules for disjunction. After we prove the normalization theorem and the consistency of S_CD, we extend S_CD to the system S_PCD for the first-order classical logic with disjunctive syllogism. It can be shown that SPCD is conservative extension to S_CD. Then, the normalization theorem and the consistency of S_PCD are given.