• Cross-Cultural Studies
• /
• v.42
• /
• pp.241-260
• /
• 2016

The purpose of this article is to represent the types of advertising in the modern Russian language as 'Play of Words' (игра слов). The causal reason for this phenomenon is studied from the result of certain characteristics of advertising. The definition and characteristics of the language of the advertisement are analyzed in achieving the goal, as these factors reveal how language is used to maximize the effectiveness of the advertising. Academic research is needed in the collaborative fields of linguistics, psychology, economics, sociology, marketing, literature, art, and music. Modern advertisement is mixed with semiotic objects that consist of display, sound, and texts. While this study is not complete, the acknowledgement of the phenomenon 'Play of Words' between the creators of advertising and the consumer is undeniable. On one hand, advertising is recognized by linguists as the main factor that destroys the literary language. It represents the distortion of a standard language norm, as opposed to formal linguistic means used in advertising. In this research, we pay attention to the frequent use of foreign language borrowings and incorrect representation of foreign words, slang and jargon, that occur in misspelled usage of literary norms. The features that are revealed in this article are helpful to understand the purpose of advertising.

• Proceedings of the KIEE Conference
• /
• 1986.07a
• /
• 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.

• Proceedings of the IEEK Conference
• /
• 2002.07b
• /
• 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.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2002.04a
• /
• pp.439-442
• /
• 2002

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

• Proceedings of the Korean Information Science Society Conference
• /
• 2005.11a
• /
• pp.511-513
• /
• 2005

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

• Korean Journal of English Language and Linguistics
• /
• v.2 no.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.

• Proceedings of the Korean Society for Language and Information Conference
• /
• 2002.02a
• /
• 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.

• English Language & Literature Teaching
• /
• v.9 no.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.

• Korean Journal of Cognitive Science
• /
• v.2 no.1
• /
• pp.15-32
• /
• 1990

In the area of natural language processing, a lot of unification-based grammar formalisms have been issued and are highlighted. The core of the formalisms is an unification of feature stutures. But few formal unification methodologies have been developed. Therfore, implementers of the formalisms could not help adopting an ad hoc design strategy for the unification module. In this paper, we suggest an efficient unification methodology using FUL, a programming language whic supports the unification. For the exeample, we will trace the unification processes in LFG and HPSG, the representative unification-based grammar formalisms, with FUL.

• Korean Journal of English Language and Linguistics
• /
• v.1 no.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.