• Korean Journal of Logic
• /
• v.16 no.1
• /
• pp.87-115
• /
• 2013

In my previous article "The Uncontested Principle and Wonbae Choi's Objections", I argued that the validity of modus ponens (as a deductive inference) is compatible with the claim that the Uncontested Principle is controversial. In his recent paper "The Uncontested Principle and Modus Ponens", Wonbae Choi criticizes my view again by making the following three claims: First, even though I do not take an inference of the form 'If A then (probably) C. A. $\therefore$ C' as an instance of modus ponens, this form of inference can be taken to be such an instance. Second, there is no grammatical indicator which allows us to distinguish between an indicative conditional based on a deductive inference and an indicative conditional based on an inductive inference, so that inferences based on these conditionals should not be treated as different types of inferences. Third, if we allow an indicative conditional based on an inductive inference, we thereby violate the so-called 'principle of harmony', which any logical concept should preserve. In this paper, I reply that his criticisms are all implausible.

• Cartoon and Animation Studies
• /
• s.32
• /
• pp.383-409
• /
• 2013

This research comes from the premise that a student-oriented English digital textbook's design should be age appropriate. Our study is intended for third-year elementary students, since that age is the onset of English education within the Korean national curriculum. Our proposal focuses on this age's need for concrete information. Three popular textbooks' designs were analyzed using Cress's "Grammar Flame of Visual Design [Cress 2006]," and the results reflected in our modified book design. Via two case studies, a focus group interview, questionnaire, and observation analysis, we learned that the design of an age-appropriate digital English textbook changes the effectiveness of the education. An age-appropriate modified digital English textbook improves student satisfaction and interest. Our research proposes a systematic textbook design guide for age-specific preferences and characteristics.

• Journal of KIISE:Computing Practices and Letters
• /
• v.7 no.6
• /
• pp.559-569
• /
• 2001

It is possible to access web contents by mobile terminals and telephones due to the evolution of voice and VoiceXML technologies. Nevertheless, because these days most of all the web contents are constructed by HTML, it is impossible to access them by using the new technology. Therefore, to access the contents through voices requires the conversion of the web document from HTML to VoiceXML, but its manual conversion process should be involved additional time and expenditure. In this paper, we design and implement HTMLtoVoiceXML converter, suggest a system structure of it and propose a practical identification algorithm of meaningful fragmented group of contents to solve the problem. To test the performance and validity of the converter, we apply it to more than 400 web pages in Korean web sites, it works well except for web pages which involve invalid HTML codes.

• The Journal of the Korea Contents Association
• /
• v.15 no.11
• /
• pp.27-40
• /
• 2015

Live cinema theatre is the latest installment of multimedia show where the filming of the performance of dramatic texts becomes the live stage event. Here, the actors perform before the camera and all the audio-visual effects are produced and constructed live. Mediated through the camera and projection screen, the stage image becomes a real-time production situation where all the scenes are put together right in front of a live audience. The very concept of live cinema as dramatic theatre has been developed by English stage director Katie Mitchell who attempts to present the stage as a cohesive representation system; this is more than a provisional experimentation where the ever-changing notion of in-betweenness is constantly tested. It is rather a predetermined operational system where the relationship between cinema and theatre is governed by the logic of synchrony, therefore maintain their own individual institutional reality. Here, the presence of camera has an effect not only on the organization of stage but also an affect on how human body exists within the situation.

• Journal of the Korea Society for Simulation
• /
• v.17 no.4
• /
• pp.183-189
• /
• 2008

The next-generation war game simulators need a technique that reuses resources disperse on the web, and reorganizes federates on the fly based on the various events in real time. So far, HLA-based federates limit their interoperability to military networks, and in syntax-level. Web services techniques are widely used in enterprise applications and provide many proven practices to extend interoperability between WAN resources in semantic level. Two problems are met in order to utilize web services into war-game simulator : 1) How to achieve semantic-level interoperability between federates disperse on WAN, 2) How to interoperate web-based federates and RTI-based federates. In this paper, we provide solutions to the problems and highlight advantages using web-based federates with an example of ASuW(Anti-Surface Warfare).

• Koreanishche Zeitschrift fur Deutsche Sprachwissenschaft
• /
• v.3
• /
• pp.5-34
• /
• 2001

최근 구직광고, 시청, 정치 정당, 행정부처나 특정 일간지와 시사잡지의 최근 정보 팜플렛을 1981년 이전에 나온 관련 출판물들과 비교해보면 지난 20년 동안 현대 독일어 체계에서 주목할 만한 변화가 일어났으며 어느 정도 성과가 있었음을 어렵지 않게 알 수 있을 것이다. 언어의 실천 분야에서 1981년에 처음 나타난 이런 변화(vgl. Guentherodt, Ingrid / Hellinger, Marlis/Pusch, Luise F./Tromel-Plotz, Senta: Richtliruen 2ur Vermeidung sexistischen Sprachgebrauchs. In: Linguistische Berichte H. 71, 1981, 1-7)는 특히 어휘와 대명사 체계뿐 아니라 관사체계와 명사곡용과 관련된 변화에 대해서도 관심을 보이고 있다. 이런 언어변화는 계몽적 논문 그리고 '신 여성운동'과 그 결과로 나타난 '페미니즘 언어학'의 부단한 요구가 결정적이었다. 여기서 말하는 요구란 전통적인 언어체계에 머물러 있던 '성차별'을 없애고 독일어를 개혁함으로써 어휘와 문법에서 여성의 대표성을 감지할 수 있을 정도로 남성적-가부장적 관점의 지배적인 면을 없애고 '공평한 언어'를 만들어내는 것이었다. 궁극적으로 사람들은 이런 언어개혁을 통하여 여성의 사회적인 권리평등의 길을 마련하고 싶었다. 이 논문의 목적은 이런 복잡한 문제를 좀 더 알기 쉽게 밝혀보려는 것이다. 이를 위하여 첫 번째로 사회 정치적인 맥락에서 언어 개혁을 위한 노력을 살피고 언어 이론적인 토대를 질문하였다. 두 번째로 독일 페미니즘 언어학의 구체적인 역사적 기원을 간단히 살펴보았다. 세 번째로 개혁안을 자세히 논의하면서 체계적으로 정리하였다. 마지막으로 네 번째로는 개혁안과 그의 언어학적 기초에 대한 비판의 핵심 쟁점을 살피고, 찬반주장이 또 다른 분야로, 즉 한편으로 언어정책(찬성 주장) 분야로 다른 한편으로 체계언어학(반대 주장) 분야로 확대되기 때문에 언어개혁에 대한 페미니즘적 노력의 지지자와 반대자간의 논쟁에서 해결할 수 없는 것으로 보이는 문제를 테제로 제시하였다.

• The Transactions of the Korea Information Processing Society
• /
• v.4 no.11
• /
• pp.2756-2768
• /
• 1997

The software Process can be defined as the set of activities, rules, procedures, techniques and tools used within the production of software. A software process model is a conceptual representation of a real world software Process and can be described by process programming languages. In this paper, we present the language constructs of SimFlex designed for object-based software process programming. The design of SimFlex is based on the object concept, so that it can model complex software processes concisely both in syntax and semantics. Since the language constructs of SimFlex are derived from the analysis of major PSEEs and their associated process programming languages, SimFlex includes the core characteristics required for a desirable object-based process programming language. In addition, SimFlex is designed to act as a template software process definition language which could be included in specific PSEEs through customization appropriate to those PSEEs.

• Proceedings of the Korea Water Resources Association Conference
• /
• 2015.05a
• /
• pp.627-627
• /
• 2015

기존 물관련 시스템들은 독자적인 DB 구조를 가지고 있고 검색 서비스는 자체 시스템의 DB를 직접 접근하여 사용자에게 결과를 제시하는 형식이다. 이러한 서비스의 단점은 사용자가 개별 시스템의 서비스에 대한 지식이 없으면 접근하기 어렵다는 점이다. 개별 시스템의 개별 서비스의 개념을 벗어나기 위하여 물관련 시스템에 있는 하천공간자료 검색 정보를 카탈로그 서버에 등록하고, 카탈로그 서버에 등록된 검색정보를 사용자가 검색하는 방식을 적용하고자 한다. 카탈로그 서버에 자료에 대한 정보를 등록할 때 자료의 정보를 어떻게 기술할 것인가의 문제가 발생한다. 개별 서버마다 등록하게 된다면 용어 및 문화에 의한 차이로 같은 개념을 다른 용어로 등록하게 되는 혼란이 발생할 소지가 있다. 예를 들어 강우자료에 대하여 "강우", "Precipitation", "Railfall", "비" 등으로 등록할 소지가 있다. 이러면 실제 자료가 존재하는 데도 등록 방법에 따라 자료의 검색이 어려워진다. 이러한 상황을 제어하기 위하여 검사어휘(Controlled Vocabulary)를 도입한다. 이는 포털의 운영자가 미리 용어의 개념과 용어의 분류체계를 설정하고 등록 자료의 검색어를 미리 설정하여 자료의 원천 소유자가 자료를 등록 시 검사어휘를 참고하여 등록하거나 또는 등록되지 않는 용어의 자료인 경우 이 용어를 포탈에 신규로 등록한다. 검색용어의 난립을 피하기 위하여 사용자의 신규등록은 포탈의 운영자가 어느 정도 제어할 필요가 있다. 검사어휘의 정립과 하천 관련된 분류체계는 하천공간정보 검색의 포탈을 위한 필수사항이다. 검사어휘의 정립의 주된 목적은 이질성의 극복이다. 이질성의 종류는 문법적 이질성, 데이터 형식과 구조 및 문맥적 이질성이 있다. 이 중에서 문맥적 이질성이 가장 넓고 어려운 문제이다. 단위는 분야마다 호칭이 다르고 채택하는 기준마다 다르다. 유사어는 전문용어라도 분야마다 다르다. 우리나라에서 서비스 인코딩시 국어와 영어를 어떻게 처리할 지에 대한 대책도 필요하다. 수문학의 시계열 자료를 다루는 CUAHSI/HIS의 온톨로지는 대 개념으로 물리학적, 화학적 및 생물학적인 분야로 분류하고 있다. 하천공간정보의 온톨로지 구축을 위해 데이터 분석 및 분류, 온톨로지 요소 설정, 온톨로지 데이터 테이블 작성, 클래스 생성 및 계층화, 클래스 계층화에 따른 속성 설정, 클래스에 적합한 개체 삽입, 논리 관계 확인 및 수정과 같은 과정으로 온톨로지 개발을 진행하고자 한다.

• Journal of Digital Convergence
• /
• v.17 no.5
• /
• pp.379-384
• /
• 2019

The purpose of this study is to investigate the problems of the rapidly increasing voice interface and to find out what results will be obtained when the new gesture interaction is applied to the product, and to suggest the improvement method for a better user experience. Through the literature review, I have conducted a theoretical review on the changes in the product interface used in the product and the difference between them, and then conducted in-depth interviews on the 20-30 users who used voice recognition as a product trigger. As a result, it was concluded that the decline in the reliability of accuracy leads to a decrease in the preference of voice recognition interactions and an needs of appropriate interface for the functional aspect of non-relavancy in physical distance as a product trigger. This study is meaningful in that it has found a problem with the study of the product trigger interface and suggested improvement measures, and hope to be helpful in follow-up study.

• Journal of the Korea Society of Computer and Information
• /
• v.14 no.2
• /
• pp.17-26
• /
• 2009

This paper is experimental study to inspect effects of problem solving ability and programming interest using Pico Cricket of the educational robot. The programming learning which is regarded as the very core of information subject improves problem solving ability. But the programming teaming does not display the effects properly, because the programming learning studies a grammar manual. The educational robot has the advantage to approach the programming learning easily for containing entertainment. The Pico Cricket of the educational robot has the advantage not to induce competition but to compose a cooperative learning environment. Also, the Pico Cricket is able to be had interest of programming learning to girl students, because the Pico Cricket is able to suggest life-centered and cooperative contents which girl students like. Accordingly, This paper is study which the programming learning using Pico Cricket affects the problem solving ability and programming interest and men and women's comparison study.