• Korean Journal of Logic
• /
• v.6 no.2
• /
• pp.83-106
• /
• 2003

선호구조의 논리를 결정모델에 적용시킬 때 선호구조는 일반적으로 특정 수치적 순서화 조건을 만족하게끔 표현된다. 그래야 주어진 선택지들을 둘러싼 개인 혹은 집단의 선호구조에 관한 정보가 형식적으로 표출될 수 있다고 여겨져 왔다. 그러나 선호구조의 수치적 순서화에 의해서만 선호관계의 정보가 형식적으로 표출될 수 있다는 성각은 일종의 독단이다. 더욱이 다양한 선택지의 결합에 의한 선호구조의 정보 이동은 기존의 수치적 순서화 속에서 제대로 다루어질 수 없다. 하나의 대안으로서 선형대수의 그래프이론에 바탕을 둔 선호구조의 질적 순서화 방식을 제안한다. 개인 혹은 집단의 선호구조에 관한 정보는 제안될 질적 순서화에 의해 보다 포괄적으로 다루어질 수 있다.

• Journal of Educational Research in Mathematics
• /
• v.19 no.3
• /
• pp.371-392
• /
• 2009

A lot of researches state mathematical justification is important. Specially, NCTM (2000) mentions that mathematical reasoning and proof should be taught every student from pre-primary school to 12 grades. Some of researches say elementary school students are also able to prove and justify their own solution(Lester, 1975; King, 1970, 1973; Reid, 2002). Balacheff(1987), Tall(1995), Harel & Sowder(1998, 2007), Simon & Blume(1996) categorize the level or the types of mathematical justification. We re-categorize the 4 types of mathematical justification basis on their studies; external conviction justification, empirical-inductive justification, generic justification, deductive justification. External conviction justification consists of authoritarian justification, ritual justification, non-referential symbolic justification. empirical-inductive justification consists of naive examples justification and crucial example justification. Generic justification consists of generic example and visual example. The results of this research are following. First, elementary school teachers in Korea respectively understand mathematical justification well. Second, elementary school teachers in Korea prefer deductive justification when they justify by themselves, while they prefer empirical-inductive justification when they teach students.

• Journal of Korea Entertainment Industry Association
• /
• v.15 no.7
• /
• pp.33-43
• /
• 2021

The purpose of this study is to examine the transformation and characteristics of the Verse-Chorus form. The musical form of a musical song is a structural mechanism for expression to effectively convey the dramatic situation of the characters to the audience. This study identified four types of representative forms that can be used to explore the transformation with the verse-chorus form and examined their characteristics. First is the Verse-Chorus form which repeats the description of simple situations and characters in the early stage of the musical. Second is the Verse-Bridge-Verse form which is used to evoke the atmosphere and escape boredom through a slight transformation of the bridge while explaining a simple character. Third is the Verse-Prechorus-Chorus form, which sits just before the chorus, connects the verse and the chorus, and promotes the emotional rise of the characters by smoothing the drama and the harmonic progression. Lastly, this study examined the expanded Verse-BG dialogue-Chorus form used to represent the situation in which conflicts about the complex feelings of the characters and the decisions about them coexist. As such, musical songs use various types of verse-chorus forms. Through the formality and transformation of the verse-chorus, the logic of the music and the logic of the drama are balanced so that the development of the music and the drama does not enter the state of imbalance. Based on this study, further progressive research can take place on the correlation between musical form and dramatic structure, beyond the transformation of musical song form.

• Proceedings of the Korea Multimedia Society Conference
• /
• 2003.05b
• /
• pp.588-591
• /
• 2003

본 논문에서는 한글의 구조적인 특징을 이용하여 이를 효과적으로 인식할 수 있는 신경망을 설계해보았고, 이를 이용하여 주민등록증에 있는 이름을 인식하는 시스템을 구성해 보았다. 본 시스템은 한글의 6형식에 따른 구조적인 특징을 효과적으로 구분하기 위해 형식을 구분하는 신경망을 먼저 구성하여 형식별로 분류한 뒤, 형식에 따라 자모음을 분리하여 각 형식에 따라 구성된 2차 신경망으로 입력을 하여 인식하는 구조로 설계되었다. 훈련용 데이터는 각 형식 별로 자소를 분리해서 얻은 영상들을 자소별 평균이미지로 만들어서 이를 조합하여 만든 글자로 사용하였다. 그래서 같은 형식의 같은 자음이라도 글자의 모양과 위치가 조금 다른 것에 대해서 강인한 훈련을 할 수 있었다. 또한 히스토그램의 국부 평균을 적용함으로써 잡음에 효과적으로 대응하였다. 100명의 주민등록증을 컴퓨터 카메라를 이용하여 입력 받아서 테스트한 결과 98.1％의 높은 인식률을 얻을 수 있었다.

• The Mathematical Education
• /
• v.47 no.1
• /
• pp.91-106
• /
• 2008

Interviews with 24 pupils in grade 1-2 were used to investigate awareness of the relation between situation and computation in simple quotitive and partitive division problems as informally experienced. Then it was suggested how to connect children's informal knowledge and formal knowledge of division. Most subjects counted cubes or made drawing, and related these methods to the situation described in the problems. In result, quotitive division was experienced as a dealing situation, where the number of items represented by the divisor was repeatedly taken from the whole number. And estimate-adjust was the most frequently displayed way of experiencing partitive division. Therefore, partitive division with its two measurement variables can be related to a measurement model. And children should be taught column algorithms for division with estimated-adjust which pupils used for partitive division problems.

• The Journal of the Korea Contents Association
• /
• v.21 no.8
• /
• pp.60-68
• /
• 2021

The purpose of this paper is to examine the formal characteristics of , which has been screened on Netflix since 2018. This film can be considered an interactive narrative because it gives viewers the opportunity to select their own narrative forks which lead to various endings. However, it also limits viewers' freedom of interactions in many ways, resulting in the pessimistic narrative world of series. In this contradictory situation, the conflict between the user's selectability and the narrator's authoriality emerges. And this collision gives rise to a complex form in which nonlinear interactive and linear narrative forms blend together. It can be understood as a form of self-reflection, such as forms of the metalepsis and breaking the fourth wall. In this paper, this particular form will be regarded as a sort of reflexive intermediality, i. e. the form for media reflexion.

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

본 논문에서는 DEVS 형식론과 High Level Architecture에 기반을 둔 이 기종 시뮬레이션 환경의 구축에 대해 기술한다. DEVS 형식론은 여러 가지 방법으로 기술된 모델들을 동일한 형식론으로 간주하기 위해 사용되었다. 즉, 이산사건 모델링을 위한 세가지 세계관(world view)으로 기술된 시뮬레이션 모델들을 DEVS 형식론으로의 변환을 통해 전체적으로는 DEVS 형식론만을 사용한 것과 동일한 형태로 표현되도록 하였다. High Level Architecture는 시뮬레이션 수행시의 상호 연동성을 보장하기 위해 사용되었다. 이때, DEVS 형식론과 High Level Architecture에서의 시뮬레이션 시간 진행 방법이 다르기 때문에 이의 해결을 Synchronizer, EOS 방법을 제안하였다.

• Korean Journal of Cognitive Science
• /
• v.25 no.2
• /
• pp.159-187
• /
• 2014

Approximate number sense(hereafter, ANS) is the ability to compare and operate upon numerosity information. The numerosity comparison task is used to measure ANS. However, there is considerable variance among previous reports of ANS acuity which may be related to different task formats used. Here, we aim to investigate whether the format of the numerosity comparison task influences measurements of ANS acuity. We compared two task formats; 1) an intermixed format presenting two intermixed arrays of black and white dots, and 2) a side-by-side format showing two arrays of dots side by side. The intermixed format likely makes additional demands on general cognitive resources for inhibitory control, selective attention, or visuospatial working memory. The performance on the intermixed format was significantly lower than that of the side-by-side format resulting in an underestimation of ANS acuity compared to the expected trajectory of ANS development. In addition, the ANS acuity measured from only the side-by-side format was correlated with children's mathematical achievement and age. Our results demonstrate that measurement of ANS from the side-by-side format has higher construct and predictive validity compared to that of the intermixed format.

• Communications of the Korean Mathematical Society
• /
• v.13 no.4
• /
• pp.691-725
• /
• 1998

무한차원 상공간에서의 디리클레 형식과 이에 관계된 확산과정에 대한 일반 이론을 소개하고, 이 이론을 물리학의 통계역학 모델에 적용하였다. 구체적으로, 고전 비유계 스핀계에 대한 통계역학적인 모델, 연속체 공간에서 상호 작용하는 무한 입자계에 대한 통계역학적인 모델에 응용하였다. 아울러서 확률 미분 방정식과 같은 디리클레 형식에 관련된 연구분야에 대해서도 간단히 알아보았다.

• Electronics and Telecommunications Trends
• /
• v.10 no.2 s.36
• /
• pp.125-135
• /
• 1995

형식승인제도는 몇년 전까지만 해도 전기통신 단말장치에 대한 정부의 고유한 통제와 권한의 영역이라고 생각할 만큼 규제 일변도의 정책 차원으로 다루어졌으나, 최근 통신시장 개방화 및 세계화 등과 같은 국제적인 통신환경을 반영한 단말장치의 통신망 접속 자유화가 실현됨에 따라 새로운 대내.외의 경쟁적 환경 위에서 운영하게 되었다. 특히, 최근에 각국은 다른 국가와의 형식승인 상호인정을 고려하면서 전기통신기술의 급격한 발전에 능동적 및 포괄적으로 대처하기 위한 전기통신 단말장치의 형식승인 적용 분류체계를 재조명하는 흐름을 보이고 있다. 이에, 본 고에서는 선진국의 형식승인 적용 대상 단말장치의 범위와 기능 및 용도별의 분류체계를 분석하여 항목별로 선정되고 있는 국내 형식승인 적용 대상 단말 장치의 분류체계를 선진국 수준의 기능 및 용도별로 개선하기 위한 방향을 모색해 보았다.