• 비교문화연구
• /
• 제42권
• /
• pp.241-260
• /
• 2016

이 글의 목표는 현대 러시아 광고언어에 있어서 어떤 유형의 '언어유희'(игра слов) 현상이 나타나고 있으며, 이는 광고의 어떤 특징 때문에 연유하는지에 대해 밝히는 것이다. 이러한 목표를 달성하기 위해 광고의 정의 및 광고언어의 특징을 살펴보고, 광고의 효과를 극대화하기 위해 언어를 어떻게 이용하고 있는지를 밝힐 것이다. 광고 연구에 있어서 필요한 학문은 언어학을 비롯하여 경제학, 심리학, 사회학, 마케팅, 문학, 예술학, 음악 등으로 아주 다양하다. 이는 현대의 광고가 화면과 소리, 그리고 텍스트가 결합되는 기호학적 대상이기 때문이다. 본 연구에서는 비록 이렇게 다양한 부분을 한꺼번에 연구할 수 없지만 광고 텍스트들에서 나타나는 언어유희 현상을 중심으로 광고 기획자와 소비자가 인식하는 언어유희 현상에 대한 인식에 대해 밝히고자 한다. 광고는 언어학자들에 의해 그 해당 언어를 파괴하는 주범으로 인식되어 온 측면도 있는데, 이는 광고에 사용되어지는 비문법적인 문장 생성이나 비문법적인 단어 표현, 외국어의 남발 및 잘못된 외래어 표기, 비속어 및 은어의 잦은 사용, 맞춤법 등 어문규범의 파괴가 그 원인이다. 이러한 것들이 광고의 어떤 목적을 위해 이루어지는 것인지 밝히고자 한다.

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 1986년도 하계학술대회논문집
• /
• pp.486-489
• /
• 1986

The transition diagram, as well as the regular expression, can be used as a formal description for a language acceptable by a finite automaton or for the behavior of a sequential switching circuit. But, if we are given one of these two descriptions, we shall find that it is not easy to get the other counterpart description. This paper is to show an easy method to find the equivalet regular expression from the transition diagram, by the aid of a graph-transformation technique.

• 대한전자공학회:학술대회논문집
• /
• 대한전자공학회 2002년도 ITC-CSCC -2
• /
• pp.920-923
• /
• 2002

In this paper, we propose Class Diagram With Constraints (CDWC) as an object oriented modeling technique which makes validation possible in software development. CDWC is a simple and basic model for the object oriented analysis, and has a reasonable strictness for software developers. CDWC consists of class diagrams and constraints (invariant and pre/post conditions), using UML and a subset of OCL.. We introduce a method of validation of CDWC using the verification technique of algebraic formal specification language CafeOBJ.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2002년도 춘계학술발표논문집 (상)
• /
• pp.439-442
• /
• 2002

컴포넌트 명세는 컴포넌트와 클라이언트 사이의 계약으로 볼 수 있다. 하지만 현재의 컴포넌트 명세는 인터페이스 명세 언어(Interface Definition Language)와 정확성이 결여된 자연어로 작성된 명세에 의존하고 있다. 이러한 명세는 모호성, 불완전성, 모순등을 포함할 수 있다. 따라서 컴포넌트 명세는 이러한 점을 충분히 고려하여 진행되어야 하는데 본 연구에서는 EJB 컴포넌트의 코드 템플릿을 반영하여 요구사항을 Object-Z로 명세하고 이러한 명세로부터 컴포넌트를 구현하는 단계를 제시하였다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2005년도 가을 학술발표논문집 Vol.32 No.2 (1)
• /
• pp.511-513
• /
• 2005

하드웨어의 성능향상으로 임베디드 통신 소프트웨어의 복잡도가 크게 증가되고, 이에 따르는 추가적인 개발 비용이 발생하고 있다. 개발자들은 임베디드 통신 소프트웨어의 복잡도를 해결하는데 필요한 소프트웨어 도구와 기술을 필요로 하고 있다. 본 논문에서는 임베디드 통신 소프트웨어 개발에 효과적인 SDL(Specification Description Language) 기반의 통합 개발도구인 SDT(SDL Design Tool)를 사용하여 소프트웨어를 개발하는 절차에 대하여 기술한다. 그리고 통신 소프트웨어인 ITU-T V.76 프로토콜에 개발 절차를 적용하여, SDT를 사용한 개발 절차와 일반적인 임베디드 통신 소프트웨어 개발 절차를 비교, 분석한다. 그 결과, SDT를 사용한 개발 절차가 개발 효율성과 유지보수 효율성에서 더 좋은 성능을 보였다.

• 한국영어학회지:영어학
• /
• 제2권3호
• /
• pp.403-430
• /
• 2002

With a view to providing a unitary interpretation of a lexical item, even, this paper proposes that even be understood as a quantifier. To countenance this idea, the quantifier theories will be evaluated against the implicature accounts on the basis of conceptual and empirical evidence. With the help of Bach (1999), the quantifier theories of even are regarded as most viable and plausible. On the other hand, from among different quantifier approaches even will be viewed as a quasi-universal quantifier, which means that even is similar to the universal quantifier but still it is different from it. That is, even introduces a comparison set that is context-dependent and only the salient members of this comparison set will be taken into account when an even-sentence is to be uttered. This observation is based on the formal representation for a universal quantifier in general on the one hand and the truth-conditional contribution of even to the sentence containing it.

• 한국언어정보학회:학술대회논문집
• /
• 한국언어정보학회 2002년도 Language, Information, and Computation Proceedings of The 16th Pacific Asia Conference
• /
• pp.195-204
• /
• 2002

The purpose of this paper is to analyze the lexical-semantic structure of morphologically derived passive verbs in Korean based on Pustejovsky (1995)'s Generative Lexicon Theory (GL) and to explain the change of the root verb's lexical-semantic structure by means of passivization. Passivization in this paper is defined as the unaccusaztivization. In Argument Structure of derived passive verbs, the agent argument is deleted and the theme argument is realized as a syntactic subject. As for Event Structure, derived passives express left-headed event (achievement), whereas their roots denote right-headed event (accomplishment). In Qualia Structure, passive verbs and root ones have the same Fomal Role, but in Agentive Role of passive verbs, an act weakens to a process. Both Formal and Agentive Roles have the same theme argument.

• 영어어문교육
• /
• 제9권spc호
• /
• pp.99-112
• /
• 2003

This study investigated how different types of formal instruction affect the second language looming of English grammatical structure among Korean high-school students. The linguistic focus of the study was English present perfect, which often creates learning problems for Korean learners of English. Subjects were divided into a control group and an experimental group (Enhanced group). The input the subjects in the experimental group received was manipulated by visually enhancing (with highlighting of the target structures in a reading text). Learners' awareness of the rules throughout the treatment period, as well as accuracy of target structures was measured. Results indicated that subjects in the Enhanced group showed higher performance than the control group. Further, awareness of rules that learners developed over the treatment period did not provide any advantage in learning.

• 인지과학
• /
• 제2권1호
• /
• pp.15-32
• /
• 1990

자연언어 처리에 있어서 속성구조 간의 단일화를 핵심으로 하는 여러 단일화중심 문법론들이 근래속출하여, 각광을 받고 있다. 그러나, 속성구조간의 단일화 그 자체에 관해서는 뚜렷한 방법론이 제시되지 못하고, 구현하는 사람마다 나름대로 ad hoc 하게 단일화 모듈을 설계해 오고 있는 실정이다. 본 논문에서는 단일화를 지원하는 프로그래밍 언어 FUL 을 이용하여 효율적인 단일화 방법론을 제시하고, 대표적인 단일화중심 문법론들인 LFG,HPSG 에 있어서의 단일화 과정을 예시하였다.

• 한국영어학회지:영어학
• /
• 제1권2호
• /
• pp.211-225
• /
• 2001

The prepositional object (PO) of an active sentence in English can sometimes be passivized, becoming the subject of the corresponding passive sentence. In particular, the verb (V) and preposition (P) in the English prepositional passive (P-Passive) are assumed to be reanalyzed to form a single structural unit, giving the status of a verbal object to the PO to be passivized. However, not every V+P sequence can undergo reanalysis, permitting the passivization of POs. Thus, we have to explain what licenses the reanalysis of V and p. resulting in an acceptable P-Passive sentence. In this paper, I will identify the factors which determine the passivization possibilities of POs and explain how they interact with one another. The results of this study will illustrate how formal and functional factors work together to form a major syntactic construction and to determine its grammaticality and acceptability.