• Genomics & Informatics
• /
• 제9권1호
• /
• pp.5-11
• /
• 2011

Treating genomes just as languages raises the possibility of producing concise generalizations about information in biological sequences. Grammars used in this way would constitute a model of underlying biological processes or structures, and that grammars may, in fact, serve as an appropriate tool for theory formation. The increasing number of biological sequences that have been yielded further highlights a growing need for developing grammatical systems in bioinformatics. The intent of this review is therefore to list some bibliographic references regarding the recent progresses in the field of grammatical modeling of biological sequences. This review will also contain some sections to briefly introduce basic knowledge about formal language theory, such as the Chomsky hierarchy, for non-experts in computational linguistics, and to provide some helpful pointers to start a deeper investigation into this field.

• 인문언어
• /
• 제5권
• /
• pp.221-264
• /
• 2003

This paper takes issue with the idea of language as a 'serial-time structure' as opposed to the 'real-time event' of speech, an idea entrenched in Chomskyan model of linguistic theory. The discussion centers around the leitmotif question: Is language constructed entirely from a finite set of apriori discrete symbol types, as the 'competence vs performance' dichotomy implies\ulcorner A set of linguistic patterns examined in this study, largely with regard to phonological considerations, points to the evidence to the contrary. That is, while the patterns may be said to be linguistically distinct, they are not discretely, different, i.e. not different enough to be reliably differentiated. It is demonstrated that much of current research in phonology, including the most recent Optimality Theory, is misdirected in that it falsely presupposes a discrete universal phonetic inventory. The main thrust of the present study is that there is no sharp boundary between 'competence' defined as the formal, symbolic, discrete time domain of language and human cognition on the one hand and 'performance' as the continuous, fuzzy, real-time domain of human physiology on the other.

• 한국언어정보학회:학술대회논문집
• /
• 한국언어정보학회 2007년도 정기학술대회
• /
• pp.42-53
• /
• 2007

Looking back the history of formal treatment of linguistics, we cannot disregard the contribution of possible world semantics. Intensional logic of Montague semantics, DRT (Discourse Representation Theory), mental space, and situation theory are closely related to or compared with the notion of possible world. All these theories have commonly clarified the structure of belief context or uncertain knowledge, employing hypothesized worlds. In this talk, I firstly brief the pedigree of these theories. Next, I will introduce the recent development of modal logic for the representation of (i) knowledge and belief and (ii) time, in which belief modality is precisely discussed together with the accessibility among possible worlds. I will refer to BDI (belief-desire-intention) logic, CTL (computational tree logic), and sphere-based model in belief revision. Finally, I will discuss how these theories could be applied to the further development of analyses of natural language.

• 영어어문교육
• /
• 제15권3호
• /
• pp.199-222
• /
• 2009

As great attention is given to a high quality of English education in Korea, more and more in-service and pre-service English teachers are looking for an opportunity to study in an English speaking country to become better qualified teachers. However, after receiving a degree in an English speaking country, many teachers fail to apply what they have learned to their own teaching due to their tensions of identity, beliefs, knowledge, and professionalism within the changes of sociocultural settings. By using sociocultural theory as a theoretical framework, this paper explores how formal training and Ph.D. studies in the U.S. have influenced a Korean teacher educator in applying theory to practice in relation to her identity, beliefs, knowledge, and professionalism during 30 years of her teaching experience. Rather than facing tensions, the teacher educator has been willing to change her roles, broaden and deepen her beliefs in teaching and knowledge about theory of teaching and learning, and continue her professional development. Limitations and implications of the study are provided.

• 인문언어
• /
• 제1권1호
• /
• pp.33-63
• /
• 2001

This article does not deal with a theory or theories in the usual sense of the term but rather harks back to its etymological source, theorein ' to look at.' The phrase 'theory of language' thus purports a 'view of language' and does not carry the force of scientific explication of language. In fact, the word ' scientific' or 'science' per se originates from scire 'to know' and is here to be considered not so much in regard to some kind of positivistic methodology as a form of knowledge. If this exposition sounds unduly ingenious, that is because one is caught up in all kinds of presuppositions about the words under consideration. Sometimes, when we come to grips with an issue that strikes our mind as truly important, our language, by the light of which we hope to proceed safely, plays the will-o'-the-wisp instead and leaves us in the middle of a murky maze, twisting what was at first blush a mere cinch into a Gordian knot. On such occasions, etymology comes along the way and sends us back to itself as its own principle: Resort to etymos logos 'original, true word'! The main thrust of the present study is that alongside the quantitative, positivistic thought there is another equally valuable mode of qualitative and humanistic thinking that makes a whole gamut of new and concrete investigations possible, that an integrated theory of language is Possible by way of a happy amalgamation of diversified, humanistic views of language. With this idea as the leitmotif we explore two models of theory which typically set themselves up for a 'scientific' approach to language: analytic philosophy that delves into what it calls logical simples, and contemporary linguistics that stubbornly teeters around some formal rigor or other. It is argued that they are both characterized by a looking away from the fluid, ill-definable aspects of language, giving a preference to segments and isolated facts as a means to avoid those larger wholes and totalities which if they had to be seen would in the long run lead to an uncomfortable state of mind. Language, in the final analysis, is a Protean entity: so capricious and multifarious, and yet so noetic and prophetic, that we should catch sight of its picturesque images in their entirety to give form to an integrated theory of language.

• 영어어문교육
• /
• 제10권1호
• /
• pp.1-22
• /
• 2004

The primary purpose of this study is to investigate the applicability of content and formal schemata for processing the scientific texts which encompass the human knowledge of the physical world. In general, schema theory is based on the culture-oriented background of a text. From this point of view, the problem as to whether both content and formal schemata are applicable to the comprehension of a scientific text deserves a focal attention in terms of information processing modes. The results of empirical study indicate that whereas the universality of general knowledge content about the natural world attenuates the tenets of schema theory, the rhetorical organization of scientific texts encourages the application of the schema-based approach; the reader's familiarity with the structural patterns of a text facilitates his reading comprehension.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제35권12호
• /
• pp.800-807
• /
• 2008

프로그래밍 언어의 구문 구조(syntax)와 메타이론을 정형화(formalization)하고 관련된 명세(specification)의 증명을 자동화(automatization)하는 과정에서 일어날 수 있는 모든 종류의 변수 묶기(variable binding)를 정형적(formal)으로 구현, 해결하는 방식을 개략적으로 소개한다. 또한 함수언어(functional language)의 기본으로 사용되는 Lambda calculus와 연계해서 POPLmark Challenge와 관련된 시도들의 공통점, 차이점 및 각각의 특성을 증명보조 툴인 Coq에서 구현된 간단한 예제들을 통해 보여준다.

• 비교문화연구
• /
• 제19권
• /
• pp.251-270
• /
• 2010

The subject of the paper is to discern the validity of the translation theory put forward by the ESIT(Ecole Sup?rieur d'Interpr?tes et de Tranducteurs, Universit? Paris III) and how it differentiates from the other translation theories. First, the paper will analyze the theoretical aspects put forward by examining the equivalence that may be discerned between the french and korean translation in relation to the original english text that is being translated. Employing the equivalence in translation may shed new insights into the unterminable discussions we witness today between the literal translation and the free translation. Contrary to the formal equivalence the dynamic equivalence by Nida suggests that the messages retain the same meanings whether it be the original or a translated text to the/for the reader. In short, the object of the dynamic equivalence is to identify the closest equivalence to the suggested source language. The concept of correspondence and equivalence defined by theoriticians of translation falls to the domain of dynamic equivalence suggested by Nida. In translation theory the domain of usage of language and the that of discourse is denoted separately. by usage one denotes the translation through symbols that make up language itself. In contrast to this, the discourse is suggestive of defining the newly created expressions which may be denoted as being a creative equivalence which embodies the original message for the singular situation at hand. The translator will however find oneself incorporating the two opposing theories in translating. Translation falls under the criteria of text and not of language, thus one cannot regulate or foresee any special circumstances that may arise in translation of discourse, the translation to reflect this condition should always be delimited. All other translation should be subject to translation by equivalence. The interpretation theory in translation (of ESIT) in effect is relative to both the empirical and philosophical approach and is suggestive of new perspective in translation. In conclusion, the above suggested translation theory is different from the skopos theory and the polysystem theory in that it only takes in to account the elements that are in close relation to the original text, and also that it was developed for educational purposes opening new perspectives in the domain of translation theories.

• 인문언어
• /
• 제1권2호
• /
• pp.107-121
• /
• 2001

This paper examines the way in which the idea of language has been introduced in architectural discourse since the late 1960s. The paper reviews the works of Robert Venturi, Charles Jencks, Peter Eisenman, Alan Colquhoun, and Mario Gandelsonas, which explore the analogy between linguistic and architectural form. All of the writers above are responsive to each other's theoretical positions, sometimes implicitly and sometimes explicitly. A system of signs can be approached by asking how the lexicon and syntax are proportioned. The same question may be posed to architecture: can architecture be understood as a lexicon or as a relational structure, such as language is\ulcorner Two perspectives are presented by architectural theorists. The first advocated by Venturi and Jencks posit architectural form as a problem of signs. The problem with this perspective is that, it reduces architecture into popularized iconography in favor of the representational aspects of architectural form. The second perspective, developed by Eisenman, explores the possibility of finding new formal constructs in the abstract relationship of formal properties. Eisenman's theory, however, has its own problems for, in highlighting syntactic structure, it minimizes the distinction between the perceptual and the pragmatic dimensions. Yet both perspectives address crucial problems of contemporary architecture and expand architectural discourse into the broader realm of humanistic studies.

• 영어영문학
• /
• 제54권1호
• /
• pp.3-29
• /
• 2008

Ian Watt, author of The Rise of the Novel, maintained that the novel originated in modern England, came from prose discourses such as the news, political essays and journalistic writing which propagated the Enlightenment, and the novels represent formal realism. The main point of this paper is to examine Watt's theory of the rise of the novel on the basis of the criticism of antinomy of the Enlightenment and "the public sphere" in Habermas' terms. At first, I will criticize formal realism, which is not a new literary species, but a formally renovated realistic form that represented capitalism and protestantism. And, then, I will show that formal realism is a kind of antinomy because it turned away from the voices and reality of the low-class and women though the novel concentrated on common people, not the aristocrats. Secondly, I will inquire into the antinomy of the Enlightenment in the aspects of reason, freedom, individualism and women. In my view, as soon as the high-middle class acquired their political rights, these values were no more encouraged and the result revealed antinomy of the Enlightenment more explicitly. Thirdly, I'd argue that "the public sphere" had positive meanings to everyone when the bourgeosie were fighting against the Absolutism and the aristocracy. I'll also insist that the high-middle class and the intellectuals were in "the public sphere" in which Habermas argues that rationality and equality were thought to have been realized, while the low-middle class and most women were de-enlightened and disciplined by reading the novel privately. In conclusion, formal realism is not the rise of the novel, but the opening of the novel peculiar to bourgeosie parliamentarism from the middle-eighteenth century to the middle-twentieth century.