• Proceedings of the Korea Society for Simulation Conference
• /
• 1998.03a
• /
• pp.32-32
• /
• 1998

과거의 전쟁은 재래식 무기에 의존한 화력전이었지만, 미래의 전쟁은 C4I와 전략무기의 중요성이 강조되는 정보전으로 변화될 것으로 예상된다. 현재 활용중인 대부분의 워게임 모형들은 대형전산기 위주로 개발되었으므로, 정보전 개념을 모의하기 위해서는 모형의 논리구조 개선과 영상전시기능 보완이 요구되고 있다. 하지만 기존 워게임 모형 개선은 최신개발 모형과의 상호 호환성 및 재사용성 측면에서 많은 제약이 따르게 된다. 따라서 세계 각국은 국방모의체계(DM&S)의 발전을 위한 자체적인 종합계획을 수립하여 미래전장에서 적용될 첨단무기체계 효과 분석을 위한 모형을 개발하고 있다. 한국국방연구원은 미래전쟁 양상을 신속하게 분석할 수 있으며, PC에서 운용이 가능한 간이분석모형의 개발을 추진하고 있다. 본고에서는 미래전 분석을 위한 간이모형 개발에 적용된 방법론과 운용논리, 모형검증 기법 등을 소개하고 향후 개발모형의 활용방안을 제시하고자 한다.

• 한국경영정보학회:학술대회논문집
• /
• 2008.06a
• /
• pp.64-70
• /
• 2008

본 연구는 온라인 게임 산업의 구조적인 변화와 IPTV 환경변화에 초점을 두고 IPTV 도입에 따른 게임 산업의 변화를 시나리오 플래닝을 통해 제시해 보았다. 분석의 절차는 IPTV 도입과 관련하여 온라인 게임 산업에서 제기 되고 있는 핵심이슈들을 선별하고 각 이슈 별로 주요 추세와 불확실성요인들을 분석하여 IPTV 도입에 따른 온라인 게임 산업의 변화 양상을 논리적인 시나리오들로 제시하였다. 그리고 미래 발생 가능한 시나리오에 따른 온라인 게임 업체들의 전략적 대응 방안의 방향성을 제시하였다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2015.04a
• /
• pp.57-60
• /
• 2015

XPath는 XML 문서를 탐색하고 필요한 부분을 추출하는데 유용한 W3C 표준 프로그래밍 언어이다. XPath를 기반으로 XSLT, XQuery와 같은 표준 언어가 정의되어 널리 사용되고 있으며, DTD, XML Schema, RelaxNG와 같은 타입 언어를 이용하여 XML 문서를 효과적으로 명세할 수 있음에도 불구하고, XPath 기반 XML 처리 프로그램을 위한 타입 검사 기법은 미비하다. 본 논문에서는 XPath 기반 프로그램을 위한 새로운 양상논리 기반의 타입 추론 기법을 제안한다.

• Journal of The Korean Association For Science Education
• /
• v.42 no.1
• /
• pp.1-18
• /
• 2022

The two most influential rationales for the 21^st century science curriculum reform can be said to be core competence and scientific literacy. However, the relationship between the two has not been scrutinized but remained speculative - and this has made the harmonization of the general guideline and subject-matter curriculum difficult in Korean national curriculum system. This study compares the two discourses to derive implications for future science curriculum development. This study took a literature research approach. In chapter II, national curriculum or standards, position papers, and research articles were reviewed to delineate the historical development of the discourses. In chapter III and IV, the intersections of those two discourses are delineated. In chapter III, the commonalities of the two discourses are explicated with regard to crisis rhetoric, multi-faceted meanings (individual, community, and global aspects), organization of subject-matter content and teaching and learning method, and the role of high-stake exams. In chapter IV, their respective strengths and weaknesses are juxtaposed. In chapter V, it is suggested that understanding scientific literacy and core competence discourses to have a family resemblance as 21^st century science curriculum reform rationale, after Wittgenstein and Kuhn. Finally, the ways to resolve the conflict between the two ideas from the general guideline and subject-matter curriculum over crisis rhetoric were explored.

• (The)Study of the Eastern Classic
• /
• no.68
• /
• pp.35-67
• /
• 2017

This paper examines the petition to the king of Doam(陶菴) Leejae(李縡), one of the key figures of 18th century. He wrote a total of 49 he petition to the king, mostly resignation petition to the king. He emphasized the genuine feelings and emphasized the accurate persuasion logic when he was writing a petition to the king. It is not contradictory to these elements, looking at his actual situation he wrote. He wrote the resignation petition to the king three times to resign Daejehak (大提學), he changed his persuasion logic in each of the resignation petition to the king. We can look at the aspect of transforming persuasion logic on the same topic. His resignation petition to the king, for the first time, was particularly well structured in terms of composition, and used a proper accent method. His resignation petition to the king has the beautiful literary art of gomun(古文), such as the expression of the so-called munjongjasoon(文從字順) and the composition of paragraph organically corresponding. The best work of his resignation petition to the king is Maneonso(萬言疏). The contents criticized Yeongjo(英祖)'s tangpyeongchaek(蕩平策) while evaluating Sinimoksa(辛壬獄事). It consists of a total of 5,300 letters. This work repeatedly used the irony, the method of seolui(設疑), and the incremental method to criticize the tangpyeongchaek(蕩平策), and put Yeongjo(英祖)'s position to the corner. This work is an example of other the resignation petition to the king.

• Korean Journal of Logic
• /
• v.16 no.1
• /
• pp.61-85
• /
• 2013

The author, after introducing the concept of de re belief and discussing de re/de dicto ambiguity in belief context and modal context, concludes that modal sentences of Korean language does not show any distinctive traits against English. He, after discussing this ambiguity in negative sentence a la Russell, tries to show that Korean provides two way of negation construction, one of which corresponds to de re negation (primary occurrence in Russell's terms). De re reading makes referentially transparent context, thus permits substitutions of identicals salva veritate; De dicto reading does not. Korean ending 'rago', used with quotation verbs, speech act verbs and cognitive attitude verbs, deserves some attention in that it permits de re sentences in addition to de re/de dicto ambiguous sentences. 'Rago' also makes speaker's commitment to the content of the intensionally contained clause 'neutral', in contrast with other Korean endings such as 'um/im' and 'raneun gut' which make speaker's positive commitment. This explains why the maxim of western epistemology that knowledge presupposes truth does not hold in Korean 'rago' sentences.

• The Journal of the Convergence on Culture Technology
• /
• v.8 no.2
• /
• pp.251-257
• /
• 2022

In this study, I analyzed what rhetorical citation type students most frequently used when reinforcing logic of their opinions and arguments in research papers, and compared these rhetorical types between higher and lower Korean proficiency levels of students. These 30 student papers included the following rhetorical citation types: statistics, attribution, exemplification, statement of use, establishing connections between sources, and comparing one's own findings or interpretations with other sources. Statistics was the most frequently used rhetorical citation type. In addition, the group with the highest level of Korean proficiency used citations about 8 to 11 times in their papers, and incorporated a variety of citation types including attribution, statistics, exemplification, and statement of use. Lower level students used significantly less citations and citation types. Therefore, it is necessary to raise awareness that "citations" is an important strategy to reinforce one's own logic, teach various types of citations as important research writing strategies, and prepare a more citation-focused academic writing curriculum.

• Journal of The Korean Association For Science Education
• /
• v.33 no.1
• /
• pp.181-192
• /
• 2013

This study aims to explore scientific reasoning that students and their teachers constructed in elementary science classroom discourses in terms of basic reasoning types; deduction, induction, and abduction. For this research, data were collected from 13 classes of 4th grade science activities during a period of three months and analyzed three types of scientific reasoning in elementary school science discourses. We found that deduction (one discourse segment), induction (one discourse segment), and deduction-abduction (two discourse segments) were presented in the discourses. They showed that: first, scientific reasoning proceeded explicitly or implicitly in elementary science discourses; second, the students and their teachers have potentials to increase the quality of reasoning depending on their inter-subjectivity; and last, the students' background knowledge were very important in the development of their reasoning. Implication and remarks on science education and research were presented based on this results as well.

• Journal of Cadastre & Land InformatiX
• /
• v.49 no.1
• /
• pp.157-179
• /
• 2019

The Seoul's 2030 Youth-Housing has been regarded as the only option to procure rental housing sites in downtown Seoul. But its supply did not catch up with the initial expectation, and the criticism that it may disrupt the current zoning system of the city has persisted. Consequently, the 2030 Youth-Housing policy has undergone amendments for six times within the last three years, and the significant changes in its guideline also have been made within the last one year. The study, in this context, tries to figure out the tendencies of those changes made in the guidelines so far by analyzing the aspects of the parcels allowable for Youth-Housing as well as the areas allowable for up-zoning. In the process, the propositional logic is to be adopted to draw the scope of the buildable areas for Youth-Housing. For this, the study refines the raw GIS data, inputs the values for each proposition, and proceeds the logical operation to judge every parcel of the city to discern whether it is eligible for a buildable site and/or for up-zoning for Youth-Housing. It is seen that: 1) the buildable sites rather evenly distribute around the peripheral subway-station areas while more concentrating on the quasi-residential and commercial areas; and 2) the areas eligible for up-zoning have the tendency to concentrate more on quasi-residential areas than others.

• 한국어정보학회:학술대회논문집
• /
• 2016.10a
• /
• pp.33-38
• /
• 2016

수사구조는 텍스트의 각 구성 성분이 맺고 있는 관계를 의미하며, 필자의 의도는 논리적인 구조를 통해서 독자에게 더 잘 전달될 수 있다. 따라서 독자의 인지적 효과를 극대화할 수 있도록 수사구조를 고려하여 단락과 문장 구조를 구성하는 것이 필요하다. 그럼에도 불구하고 지금까지 수사구조에 기초한 한국어 분류체계를 만들거나 주석 코퍼스를 설계하려는 시도가 없었다. 본 연구에서는 기존 수사구조 이론을 기반으로, 한국어 보도문 형식에 적합한 30개 유형의 분류체계를 정제하고 최소 담화 단위별로 태깅한 코퍼스를 구축하였다. 또한 구축한 코퍼스를 토대로 중심문장을 비롯한 문장 구조의 특징과 분포 비율, 신문기사의 장르적 특성 등을 살펴봄으로써 텍스트에서 응집성의 실현 양상과 구문상의 특징을 확인하였다. 본 연구는 한국어 담화 구문에 적합한 수사구조 분류체계를 설계하고 이를 이용한 주석 코퍼스를 최초로 구축하였다는 점에서 의의를 갖는다.