• 한국컴퓨터정보학회논문지
• /
• 제23권6호
• /
• pp.81-89
• /
• 2018

In this paper, we propose to investigate the existing EPL education related studies and to collect the total effect size for the improvement of high-level thinking through meta-analysis and to confirm the effect size according to various variables. So, we have objectively identified and generalized the practical effects of EPL education on the various elements of high-level thinking and high-level thinking. The results of the meta-analysis showed that 1) EPL is a teaching-learning tool that greatly improves students' high-level thinking. 2) Education based EPL has greatly contributed to the enhancement of creative thinking and logical thinking among high-level thinking. 3) Kodu, App Inventor, Scratch, and Dolittle was confirmed that the effect on the improvement of high-level thinking was great.

• ETRI Journal
• /
• 제46권1호
• /
• pp.59-70
• /
• 2024

We introduce a high-performance named entity recognition (NER) model for written and spoken language. To overcome challenges related to labeled data scarcity and domain shifts, we use transfer learning to leverage our previously developed KorBERT as the base model. We also adopt a meta-pseudo-label method using a teacher/student framework with labeled and unlabeled data. Our model presents two modifications. First, the student model is updated with an average loss from both human- and pseudo-labeled data. Second, the influence of noisy pseudo-labeled data is mitigated by considering feedback scores and updating the teacher model only when below a threshold (0.0005). We achieve the target NER performance in the spoken language domain and improve that in the written language domain by proposing a straightforward rollback method that reverts to the best model based on scarce human-labeled data. Further improvement is achieved by adjusting the label vector weights in the named entity dictionary.

• 영어어문교육
• /
• 제18권2호
• /
• pp.85-106
• /
• 2012

This paper examines the role of extensive reading in foreign language learning classrooms. The effects of extensive reading are shown both positive and negative as in Krashen (1999) and Spada (1997), particularly researches done in classroom setting. Extensive reading is hard to implement in foreign language classrooms due to the stringent school curricula despite its benefits in cognitive and affective domain of learners. This study searched 21 papers from research database on extensive reading researches in a classroom setting and synthesized 55 cognitive effects and 11 affective effects from these papers under investigation in a manner of quantifying their means and standard deviations to derive generalizations. Research synthesis in this manner has secured its own status of scientific investigation by providing secondary researchers with replicable methods that produce verifiable findings. The syntheses of researches show that extensive reading is effective in both literacy skills and other language skills such as listening and writing. It also shows positive effects across different age groups, but the effect sizes are different in that elementary and adults gained more positive effects than middle and high school students.

• 대한수학교육학회지:수학교육학연구
• /
• 제13권1호
• /
• pp.13-28
• /
• 2003

Practice of proof is considered in, the view of language and meta-mathematics, recognizing the role of proof that is the means of communication and development of mathematical understanding. Linguistic components in proof texts are symbol, verbal language and visual text, and contain the implicit knowledge in the meta-mathematics view. This study investigates the functions of linguistic elements according to Halliday's functional grammar and the rhetoric skills in proof texts in math textbook, teacher's note, and student's written text. We need to inquire into the aspects of language for mathematics learning process and the understanding and use of students' language.

• 한국콘텐츠학회논문지
• /
• 제18권10호
• /
• pp.298-305
• /
• 2018

본 연구는 영어 교과에서의 전략 지도의 효과를 메타분석을 통해 종합하여 살펴보는 것을 목적으로 한다. 이를 위해 총 46개 연구에 포함된 55개의 개별 연구 사례를 선정하여 메타분석을 실시하였고, 전략 지도에 대한 평균 효과크기를 산출하여 전략 지도가 영어 능력과 정의적 영역 등 영어 학습에 미치는 효과를 살펴보았다. 또한 연구대상, 처치 기간을 포함한 조절변인과 영어능력, 정의적 영역 등의 종속변인을 설정하여 변인별로 평균 효과크기에 통계적으로 유의한 차이가 있는지 검증하였다. 분석 결과 전략 지도의 중간 효과보다 조금 큰 수준을 나타내었으며(d=.536, p=.000), 조절변인과 종속변인별로 산출한 평균 효과크기 사이에는 통계적으로 유의한 수준의 차이가 없었다. 마지막으로 연구 결과를 근거로 영어교육 분야에서의 전략 지도와 관련한 후속 연구를 위한 제언을 논의하였다.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제35권12호
• /
• pp.800-807
• /
• 2008

프로그래밍 언어의 구문 구조(syntax)와 메타이론을 정형화(formalization)하고 관련된 명세(specification)의 증명을 자동화(automatization)하는 과정에서 일어날 수 있는 모든 종류의 변수 묶기(variable binding)를 정형적(formal)으로 구현, 해결하는 방식을 개략적으로 소개한다. 또한 함수언어(functional language)의 기본으로 사용되는 Lambda calculus와 연계해서 POPLmark Challenge와 관련된 시도들의 공통점, 차이점 및 각각의 특성을 증명보조 툴인 Coq에서 구현된 간단한 예제들을 통해 보여준다.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제32권6호
• /
• pp.486-501
• /
• 2005

XPDL(XML Process Definition Language)은 프로세스 정의 교환을 위하여 WfMC에서 제안한 XML 기반 언어이다. 본 논문에서는 워크플로우 프로세스의 정의와 교환을 위하여 XPDL 문서의 구조(Schema)를 UML 다이어그램으로 모델링하여 기업들 간의 상호연동과 협업을 위한 업무흐름 파악을 용이하게 하는 모델을 제안한다. 이를 위해 XPDL 문서를 UML의 클래스 다이어그램과 액티비티 다이어그램으로 변환하는 사상 규칙을 정의하여, XPDL 프로세스 메타모델(Meta-Model)를 구성하는 각 엘리먼트는 클래스 다이어그램으로 모델링하고, 프로세스 액티비티(Process Activity)는 액티비티 다이어그램으로 모델링하는 기법을 제안한다. 또한 제안된 기법을 "신용 카드 상태 체크 시스템"의 워크플로우에 대한 XPDL 문서을 적용하여 제안된 기법의 유효성을 검증한다.

• 영어영문학
• /
• 제59권4호
• /
• pp.527-544
• /
• 2013

William Shakespeare's dirge, "The Phoenix and the Turtle," is still a crux in the Shakespearean canon and interpretation. The poem is still believed a dark allegory dealing with some arcane and obscure courtly matters and politics. However, we cannot recover its allegorical significance. This interpretive situation enforces us to read the poem as a self-conscious artwork in terms of its paradoxical language and meta-poetic metaphors. Paradox, as a subspecies of metaphor, challenges categorical and judgmental absolutes, and produces a sense of wonder in reconciling the logically contradictory opposites. In this poem the urn containing the ashes of the phoenix and the turtle is the icon of the mysterious unity of art, born of the wonderful marriage of male and female. Shakespeare's poem demonstrates in itself the magical power of poetic language in transforming an elegy into an epithalamion. The union of the phoenix and the turtle defies the singularity of their respective entity, and at the same time it retains their distinctive particularity of the two-ness. This neo-Platonic mystery of the "married chastity" is a paradox which confounds reason and verifies the poetic truth of imaginative intellect. The marriage of Christian perichoresis is crystallized in the artwork of the urn, which is admired at by posterity, though the marriage was issueless, due to its passing virtue. "The Phoenix and the Turtle" depicts the metaphor-making process and its effect, the poem.

• 한국컴퓨터산업학회논문지
• /
• 제5권9호
• /
• pp.1055-1062
• /
• 2004

UML(Unified Modeling Language)은 소프트웨어 시스템의 명세화, 시각화, 생성, 그리고 문서화를 목적으로 하는 언어이다. 본 연구에서는 소프트웨어의 잡화, 대형화 추세에 자동화응용 프로그램 생성 시스템들 중의 하나인 Together를 Agent의 BDI에 응용시키고 이를 컴포넌트 시스템의 상호 운영성에 대하여 고찰 한다. 상호 운용성은 컴포넌트간의 데이터 교환에 의해 이루어지며 컴포넌트의 타입이 다르더라도 서로 협력할 수 있는 표준 명세서(FIPA:Foundation for Inteligent Physical Agent)를 기반으로 ACL 메시지, 그리고 프로토콜을 사용하며 이를 객체지향 모델링을 통한 메타모델기반 등을 이용하여 구현 시 오류를 최소화하는 방법과 정확성과 일관성에 관하여 연구한다.

• 한국정보통신학회논문지
• /
• 제24권7호
• /
• pp.857-865
• /
• 2020

본 논문에서는 시퀀스 다이어그램의 메시지 패턴에 기반하여 자바 코드를 생성하는 방법을 제시하고자 한다. 시퀀스 다이어그램에서 메시지는 몇 가지 유형이 전형적으로 나타낸다. 따라서 이들 유형을 분류하여 패턴으로 정의하고, 이들 각 패턴의 메시지에 대한 정보를 분석하여 코드 변환을 하기 위한 메타 정보를 구축한다. 시퀀스 다이어그램 메시지의 구조적 정보를 분석한 '메타 메시지' 정보를 MetaMessage 데이터스토어에 구축하고, 이들 메타 메시지 정보로부터 구성되는 '메타 메소드' 정보를 MetaMethod 데이터스토어에 구축한다. 이 과정에서 메타 클래스 정보와 메타 오브젝트 정보가 함께 구축되고 사용된다. 각 패턴의 메타 정보에 기반하여 타겟 프로그래밍 언어의 문법에 따라 메시지에 상응하는 코드를 생성하게 된다. 또한, 기존 연구에서는 통합적으로 잘 다루지 않았던 분기와 반복에 대한 복합 패턴을 제시함으로써 기본 패턴과 통합된 코드 생성을 가능하게 한다.