• Annual Conference on Human and Language Technology
• /
• 한국정보과학회언어공학연구회 2016년도 제28회 한글 및 한국어 정보처리 학술대회
• /
• pp.27-32
• /
• 2016

한글 입력 방식은 글쇠배열과 더불어 추가적인 낱자들을 입력하기 위한 결합 규칙이라는 형태로 정의할 수 있다. 그런데 이 규칙을 토대로 입력 방식을 실제로 구현해 보면 겹낱자를 결합하거나 음절이 바뀌는 과정에서 모호성 같은 문제가 발생할 수 있다. 초성과 종성을 문맥에 따라 구분해야 하는 두벌식, 모바일 환경처럼 매우 적은 글쇠, 수십 종류의 낱자들을 조합해야 하는 옛한글이라는 조건이 더해지면 입력 방식을 기술하고 분석하는 난이도가 더욱 높아진다. 본 논문에서는 한글 낱자의 결합 규칙을 대결합과 소결합으로 구분해서 기술하는 체계를 제안하며, 이를 토대로 입력 방식의 예상 동작을 분석해 주는 프로그램을 소개하였다. 그리고 모바일용 삼성 천지인과 KT 나랏글 한글 입력 방식을 동일 프로그램으로 기술하고 분석한 결과를 제시하였다.

• English Language & Literature Teaching
• /
• 제8권1호
• /
• pp.103-124
• /
• 2002

For the current study, five Asian English teachers participated in their case studies to investigate an in-depth understanding of their beliefs about teaching and learning English as a foreign language. Data were collected through structured and unstructured interviews, written documents, observations of teacher-participants' micro teaching, a research methodology journal and a self-reflection journal. This study described the beliefs that Asian English teachers brought to the teacher preparation program and examined to see if these teacher-participants who were involved in case studies perceived change in their beliefs. The study found that formal and informal learning experiences greatly shaped the way teacher-participants' beliefs about the way learning and teaching ought to be. In addition, early experiences of learning and teaching influenced teacher-participants' change in beliefs.

• Communications of Mathematical Education
• /
• 제23권4호
• /
• pp.1131-1148
• /
• 2009

Algebra is one of the important subjects that not only mathematics but many science major students should know at least at the elementary level. Unfortunately abstract algebra, specially, is seen as an extremely difficult course to learn. One reason of difficulties is because of its very abstract nature, and the other is due to the lecture method that simply telling students about mathematical contents. In this paper we study about the teaching and learning abstract algebra in universities in corporation of a programming language such as ISETL. ISETL is a language whose syntax closely imitates that of mathematics. In asking students to read and write code in ISETL before they learn in class, we observe that students can much understand and construct formal statements that express a precise idea. We discuss about the classroom activities that may help students to construct and internalize mathematical ideas, and also discuss about some barriers we might overcome.

• Language and Information
• /
• 제2권1호
• /
• pp.116-156
• /
• 1998

This paper is an HPSG approach to agreement phenomena involving the Korean honorific expressions. it is shown that the theoretical devices developed by the constraint-based theory of HPSG can be fruitfully used to capture the interactions between syntactic constraints and semantic of pragmatic factors in Korean honorific agreement. The HPSG's semantic feature 'referential index' plays a key rele in discribing the multiple interaction. The constraint-based theory of agreement proves successful in accounting for the phenomenon that may be called 'inconsistent' honorific agreement as well as 'consistent' regular honorific usages. However, this paper acknowledges its limit. Recognizing an important distinction between basic and 'coercive' honorific expressions, it is argued that a systactic-semantic-pragmatic approach such as the present one can only be applied to basic honorific agreement. Being sociolinguistic in nature, coercive honorific agreement is perhaps not amenable to formal linguistic investigation.

• Language and Information
• /
• 제6권1호
• /
• pp.1-20
• /
• 2002

This paper examines existing approaches to exceptive constructions, which typically serve to maintain the use of universal quantifiers by diminishing the domain quantified over. It places a particular focus on constructions involving Korean oyey, Dutch behalve, and English apart from, other than, and aside from. These lexical items all share an interesting semantic property that they mean either 'except' or 'besides' depending upon their linguistic contexts, but they have largely been ignored in the literature of exceptive constructions. An observation is made that the two meanings of the ambiguous exceptive words are in complementary distribution with respect to types of quantifiers and that they are not an isolated fact. Based on this, a unifying formal semantic analysis is attempted for the constructions.

• Journal of English Language & Literature
• /
• 제60권2호
• /
• pp.269-293
• /
• 2014

Written as her last collaboration with the Provincetown Players, Susan Glaspell's The Verge is an exceptional play in that its formal experiment and modernist theme are clear of her general modernist ambivalence which combines a uniquely American and feminist expression of the modernist spirit with rather conventional forms. Following critics' brief and generalizing comments on the play's protagonist embodying modernist formalism and alienation, this paper offers a full and concrete survey detailing the tenets and the slogans of Modernism inlaid in the play. Its main argument is that Glaspell strategically deployed the metaphysics of egoism, anarchic hostility to the collectiveness of bourgeois society, and formalist preoccupation in Modernism in representing a female egoist's longing for a new order of society, illustrating an intersection between Modernism and feminism. It concludes that The Verge is an extremely rare case of modernist literature where a play, allegedly the least modernist genre of all according to Christopher Innes, exemplifies the "eloquent critical acts entangled in the creative work" which Michael Levenson lists as a distinct feature of modernist texts.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• 제10권1호
• /
• pp.38-57
• /
• 2016

Service discovery is one of the major challenges in cloud computing environment with a large number of service providers and heterogeneous services. Non-uniform naming conventions, varied types and features of services make cloud service discovery a grueling problem. With the proliferation of cloud services, it has been laborious to find services, especially from Internet-based service repositories. To address this issue, services are crawled and clustered according to their similarity. The clustered services are maintained as a catalogue in which the data published on the cloud provider's website are stored in a standard format. As there is no standard specification and a description language for cloud services, new efficient and intelligent mechanisms to discover cloud services are strongly required and desired. This paper also proposes a key-value representation to describe cloud services in a formal way and to facilitate matching between offered services and demand. Since naïve users prefer to have a query in natural language, semantic approaches are used to close the gap between the ambiguous user requirements and the service specifications. Experimental evaluation measured in terms of precision and recall of retrieved services shows that the proposed approach outperforms existing methods.

• Review of Korean Society for Internet Information
• /
• 제14권3호
• /
• pp.5-20
• /
• 2013

ICANN has been governing the Domain Name System(DNS) "technically" since 1998. The architecture is called Internet Governance, and it brings about many different discourses; "What does that govern?", "Who delegate its role to ICANN?"," How could the regime ensure fairness?" etc. This article will analyze on Internet Governance by applying the government approach of Foucault, and try to compare two parts, the 'core' and the 'edge' of Internet Governance for method. Whereas the 'core' of it refers the site that be governed by the formal contract directly, the 'edge' as the rest of it means informal friendly relations with ICANN. The 'core' rule was stemmed from technological community such as IAB or IETF historically. They had invented new world and its population to integrate the technical order as protocol and the semiotic order as language, that be based on new government mode. On the other hand, ".KR" domain, one of the 'edges', has been evolved into more heterogeneous system, through contest and conflict between traditional state and Internet Governance. The governed object of ".KR" domain is situated in the crossing of each other the 'protocol user', the 'language-semiotic user' and the' geographical resident'. Here the 'geographical resident' rule was weird for DNS, so that shows the internal lack of Internet Governance. It needs to move to the concept of 'Hangeul(Korean-language) user' rather than the 'geographical resident'.

• Korean Institute of Interior Design Journal
• /
• 제17권2호
• /
• pp.122-129
• /
• 2008

Rudolph Michael Schindler(1887-1953) has been known as one of the pioneering modem architects who pursued not merely stylistic expression but a true embodiment for the human life. His furniture design is particularly noteworthy in Schindler's building. He designed numerous furniture designs where it serves as a core principal of his interior design of each building. Nevertheless, despite his architectural accomplishments, his furniture design has less been discussed. This research focuses on investigating the notion and the characteristics of Schindler's furniture designs based on his architectural language. For an in depth study of Schindler's furniture, this study reconstructs the archival material by analyzing drawings and by fabricating scaled models to reveal the characteristics of Schindler's furniture. To do so, it concentrates on two things: On the one hand, the stylistic characteristics that have to do with simple geometry, human proportion, the use of material and visual technique; on the other hand, different furniture types. This article concludes by describing Schindler's furniture design that has grown from his unique design approach and its underlying formal and spatial design principles.

• Journal of Internet Computing and Services
• /
• 제15권6호
• /
• pp.99-106
• /
• 2014

Generation and analysis methods have been proposed in recent years, such as using a natural language and formal language processing, artificial intelligence algorithms based knowledge model is effective meaning. its semantic based knowledge model has been used effective decision making tree and problem solving about specific context. and it was based on static generation and regression analysis, trend analysis with behavioral model, simulation support for macroeconomic forecasting mode on especially in a variety of complex systems and social network analysis. In this study, in this sense, integrating knowledge-based models, This paper propose a text mining derived from the inter-Topic model Integrated formal methods and Algorithms. First, a method for converting automatically knowledge map is derived from text mining keyword map and integrate it into the semantic knowledge model for this purpose. This paper propose an algorithm to derive a method of projecting a significant topic map from the map and the keyword semantically equivalent model. Integrated semantic-based knowledge model is available.