• Proceedings of the Korea Database Society Conference
• /
• 2010.06a
• /
• pp.109-123
• /
• 2010

Compared to research on the success of IT projects In general, research on the management of conflict in IT teams and its impact on project success is insufficient. This research performed a comparative study to analyze the nature and evolving phenomenon of conflicts in IT project teams. This study aimed at; First, Why a conflict is created within and around an IT project team. Second, What is the phenomenon of conflict evolution, diffusion, and/or resolution? Third, How the differences in conflict management style affects the IT project performance? Three propositions were drawn from the analysis of two intensive analysis of conflict cases and their comparison. Proposition 1 : Both 'the method of pointing out a problem' and 'the pointed-out contents' can be the trigger of conflicts around an IT project. Proposition 2 : While the focus of attention of one party is 'the method of pointing out a problem', if the other's and focus of attention of one party is 'the pointed-out contents', that is, if the focus of attention mismatch, the conflict can be amplified. Proposition 3 : According to the temporal nature of the relationship, e.g., short-term versus long-term, the way people approach and deal with the conflict differs.

• Journal of Educational Research in Mathematics
• /
• v.20 no.4
• /
• pp.511-528
• /
• 2010

Students' intuition in formal proof should be expressed as symbols according to the deductive process. The symbol will play a role of the mediation between the intuition and the formal proof. This study examined the evolution process of intuition mediated by the symbol in geometry proof. According to the results first, symbol took the great roles when students had the non-formed intuition for the proposition. The signification of symbols could explain even the proof process of the proposition with the non-expectable intuition. And when students proved it by symbols, not by figure nor words, they could evolute the conclusive intuition about the proposition.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• v.13 no.10
• /
• pp.4958-4970
• /
• 2019

As technology advances, the amount of fake news is increasing more and more by various reasons such as political issues and advertisement exaggeration. However, there have been very few research works on fake news detection, especially which uses grammatical transformation on deep neural network. In this paper, we shall present a new Fake News Detection Model, called FAGON(Fake news detection model using Grammatical transformation On deep Neural network) which determines efficiently if the proposition is true or not for the given article by learning grammatical transformation on neural network. Especially, our model focuses the Korean language. It consists of two modules: sentence generator and classification. The former generates multiple sentences which have the same meaning as the proposition, but with different grammar by training the grammatical transformation. The latter classifies the proposition as true or false by training with vectors generated from each sentence of the article and the multiple sentences obtained from the former model respectively. We shall show that our model is designed to detect fake news effectively by exploiting various grammatical transformation and proper classification structure.

• Korean Journal of Logic
• /
• v.14 no.2
• /
• pp.39-76
• /
• 2011

We explain some basic elements of Martin-L$\ddot{o}$f's type theory and examine the distinction between propositions and judgments. In section 1, we introduce the problem. In section 2, we explain the concept of proposition in the intuitionistic type theory as a development of the intuitionistic conception of proposition. In section 3, we explain the concept of judgment in the intuitionistic type theory. In section 4, we explain some basic inference rules and examine a particular derivation in the theory. In section 5, we examine one route from the Fregean distinction between propositions and judgments to the distinction between them in the intuitionistic type theory, paying attention to the alleged necessity for introducing different forms of judgments.

• Journal of Korean Society for Quality Management
• /
• v.50 no.4
• /
• pp.843-861
• /
• 2022

Purpose: This study explores the impact of digital transformation (DT) strategies on gaining a competitive advantage in interactive educational services. Methods: We develop a service value proposition model by analyzing educational service elements to confirm the impact of DT in the classroom through case studies. This study focuses on educational services that DT has a positive impact on organizational competitiveness by providing opportunities for customers to engage in operational processes. This case study summarizes competitiveness using SWOT (strengths, weaknesses, opportunities, and threats) analysis. Results: The findings of the case study indicate that DT-enabled competitive factors contribute to an organization's competitive advantage. The study results present key resource as social cloud services, data combination, content sharing, and products/services. The online application that collects user data about education and shares class and evaluation information creates a new class operational process in the field of educational service for a value proposition of collection-merging-sharing with social cloud function. Conclusion: The results of this study can be used as a good guideline for educational service providers interested in applying DT for improved customer satisfaction and educational organizations' competitiveness. In addition, the study findings provide theoretical and practical implications on SWOT approaches to changing the educational service provision ways through digital transformation.

• Journal of the Korean Institute of Educational Facilities
• /
• v.14 no.1
• /
• pp.130-135
• /
• 2007

• JOURNAL OF ELECTRICAL WORLD
• /
• no.7 s.163
• /
• pp.2-9
• /
• 1990

• Bulletin of the Korean Mathematical Society
• /
• v.43 no.1
• /
• pp.225-225
• /
• 2006

In this note a modification of Proposition 3.10 of [1] is given.

• Language and Information
• /
• v.16 no.1
• /
• pp.1-24
• /
• 2012

-Nun is generally known as a Topic marker in Korean. However, when it is combined with an accent, it is thought to have a different function, which is alleged to indicate 'contrast' (Kuno 1972). Although the fact that -nun marked item generates some kind of 'contrastive meaning' is uncontroversial, what 'contrast(ive)' means is still unclear. In t his paper, I propose that accented -nun generates two types of implicit propositions in addition to its at-issue meaning. A simple sentence has been repeatedly tested in various models in order to see what type of proposition each proposition corresponds to and it has been concluded that one is presupposition and the other is implicature. This tedious-looking test forms the main part of the first-half of this paper. The presupposition is the essential factor for the -nun marked item to obtain the 'contrastive' meaning. Based on the generation of this presupposition, I argue that -nun works as a contrast operator in a sentence. To illustrate -nun's function as a contrast operator forms the latter part of this paper.

• The Journal of the Korea institute of electronic communication sciences
• /
• v.10 no.5
• /
• pp.607-614
• /
• 2015

In this paper, we propose about NFC-based mobile Easy Payment System. Already announced about kind of similar payment system by use smart phone NFC function. However this proposition system will uses an encrypted token and user indirect authentication. This feature makes through to simplify payment without other input necessary information. Also my proposition system has easy security certification process. This mean my system does not adequately to use payment of a large amount. But in retail payment will be very useful payment system.