• Communications of Mathematical Education
• /
• v.23 no.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
• /
• v.2 no.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
• /
• v.6 no.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
• /
• v.60 no.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)
• /
• v.10 no.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
• /
• v.14 no.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
• /
• v.17 no.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
• /
• v.15 no.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.

• Journal of Korea Multimedia Society
• /
• v.7 no.11
• /
• pp.1620-1629
• /
• 2004

The objectives of access control are to protect computing and communication resources from illegal use, alteration, disclosure and destruction by unauthorized users. Although Biba security model is well suited for protecting the integrity of information, it is considered too restrictive to be an access control model for commercial environments. And, Role-Based Access Control(RBAC) model, a flexible and policy-neutral security model that is being widely accepted in commercial areas, has a possibility for compromising integrity of information. In this paper, We present the role graph model which enhanced flexibility and integrity to management of many access permission. Also, In order to represent those rule and constraints clearly, formal descriptions of role assignment rule and constraints in Z language are also given.

• The Transactions of the Korea Information Processing Society
• /
• v.6 no.9
• /
• pp.2479-2492
• /
• 1999

Network management system(NMS) provides not only effective monitoring and controlling of network which consists of heterogeneous network elements but prompt response to users' need for high-level communication services. Recommendations of ITU-T and ISO stipulate the managerial abstraction of static and dynamic characteristics of network elements, management functions as well as management communication protocol. But the current description method does not provide the formal mechanism for the behavior characteristics of managed objects in clear manner but in natural language form, the complete specification of managed objects is not fully described. In this paper, we describe determinants for the behaviour of managed objects applicable to every managed object, and present a language for specifying behavioral aspects of managed objects based on their temporal and active properties.