• 한국학교수학회논문집
• /
• 제24권4호
• /
• pp.369-390
• /
• 2021

교사 스스로 수업에 대해 성찰하는 것뿐만 아니라 수업 나눔을 통해 동료 교사와 함께 수업을 성찰하면서 교사의 수업 전문성을 신장시키기 위한 노력을 해야 함은 교사로서 온당한 일일 것이다. 이에 본 연구에서는 수업 성찰과 수업 나눔을 위해 기준과 초점을 제시할 수 있는 수업 성찰문을 개발하고자 하였다. 먼저, 선행연구들(최승현, 2007; 황혜정, 2012)의 수업 평가 기준을 토대로 수업 성찰 요소를 마련하고 수업 성찰문 초안을 마련하였다. 공동 연구자가 재직 중인 C고등학교의 3학년 27명을 대상으로 진행된 수업에서 동일 고등학교에 재직 중인 동료 교사 4명은 수업 성찰문 초안에 기초하여 수업에 대한 개인 의견을 작성하도록 하였다. 이를 토대로 수업 나눔을 실시하고 해당 수업 나눔 사례를 분석하여 수업 성찰문(수정안)을 개발하였다. 본 연구의 시사점으로는 수업 성찰문의 문항별 질문 의도를 사전에 공유하여 수업을 바라보는 관점을 명확히 할 필요가 있다는 점, 수업 성찰문의 특정 요소에 국한, 집중하여 활용될 필요가 있다는 점, 수업 성찰문 작성과 더불어 수업 나눔도 병행될 필요가 있다는 점 등이다.

• Journal of the Korean Society for Industrial and Applied Mathematics
• /
• 제10권2호
• /
• pp.11-25
• /
• 2006

현재 RFID 미들웨어의 표준은 RFID 표준을 주도하고 있는 EPCglobal의 ALE(Application Level Event) 이며 시스템 인프라스트럭처에 독립적으로 운영 될 수 있도록 최소한의 인터페이스와 확장점 만을 제시하고 있다. 그러나 확장점을 통한 기능의 확장에 대한 부분은 표준화 되어 있지 않으며 운영중에 있는 시스템에 적용하기 위해서는 새로운 코드를 추가 하거나 변경해야 하는 문제점이 있다. 본 논문에서는 이러한 문제점 해결을 위해 AOP(Aspect Oriented Programming) 기법을 도입한 동적 ALE 미들웨어 프레임워크를 제시하고 이를 구현하기 위한 애스펙트를 설계했다. 설계된 미들웨어 프레임워크 및 애스펙트는 동적인 기능의 확장을 제공해 기존 ALE 기반 미들웨어의 기능확장에 따르는 유지보수의 어려움을 해결하고 표준화된 방법으로 새로운 기능을 추가할 수 있다.

• 한국전산응용수학회:학술대회논문집
• /
• 한국전산응용수학회 2003년도 KSCAM 학술발표회 프로그램 및 초록집
• /
• pp.15-15
• /
• 2003

We provide some recent results of approximation algorithms for solving Markov Games and discuss their applications to problems that arise in Computer Science. We consider a receding horizon approach as an approximate solution to two-person zero-sum Markov games with an infinite horizon discounted cost criterion. We present error bounds from the optimal equilibrium value of the game when both players take “correlated” receding horizon policies that are based on exact or approximate solutions of receding finite horizon subgames. Motivated by the worst-case optimal control of queueing systems by Altman, we then analyze error bounds when the minimizer plays the (approximate) receding horizon control and the maximizer plays the worst case policy. We give two heuristic examples of the approximate receding horizon control. We extend “parallel rollout” and “hindsight optimization” into the Markov game setting within the framework of the approximate receding horizon approach and analyze their performances. From the parallel rollout approach, the minimizing player seeks to combine dynamically multiple heuristic policies in a set to improve the performances of all of the heuristic policies simultaneously under the guess that the maximizing player has chosen a fixed worst-case policy. Given $\varepsilon$>0, we give the value of the receding horizon which guarantees that the parallel rollout policy with the horizon played by the minimizer “dominates” any heuristic policy in the set by $\varepsilon$, From the hindsight optimization approach, the minimizing player makes a decision based on his expected optimal hindsight performance over a finite horizon. We finally discuss practical implementations of the receding horizon approaches via simulation and applications.

• 대한수학교육학회지:학교수학
• /
• 제19권1호
• /
• pp.77-93
• /
• 2017

본 연구의 목적은 19명의 중학교 2학년 수학 영재 학생들의 문제 만들기의 특징을 조사하는 것이다. 본 연구에서는 먼저, 선행 연구에서 제안된 분석 틀을 중심으로 영재 학생들의 문제 만들기에서 나타난 확장성과 정교성을 살펴보았다. 다음으로, 영재 학생들이 문제 만들기에서 변경한 조건들을 상세하게 분석하여 영재 학생들의 문제 만들기를 '수평적 문제 만들기'와 '수직적 문제 만들기' 및 하위 범주로 분류하였다. 본 연구의 결과, 중학교 영재 학생들의 수학 문제 만들기는 확장성과 정교성의 측면에서 충분하지 않은 것으로 나타났다. 또한, 영재 학생들은 새로운 문제를 만들 때 원래 문제보다 복잡성이 감소하는 방향으로 문제를 만들며, 원래 문재에 제시된 조건들을 개별적으로는 고려하지만 종합적으로는 고려하지 않는 것으로 나타났다.

• 한국학교수학회논문집
• /
• 제12권4호
• /
• pp.453-472
• /
• 2009

본 연구는 예비교사들이 어떻게 공변추론(covariational reasoning)의 개념을 이해하는지를 정성연구방법을 통하여 연구하였다. Geometer's Sketchpad를 이용해 만들어진, 문제상황들을 위한 모의실험을 통해 두 학생들은 공변 추론의 단계가 '방향'수준에서 '순간비율' 수준으로 발전하였음이 연구분석 결과로 나타났다. 하지만, 이 연구를 통해 함수 학습을 위한 중요한 개념 중 하나인 '인과성'이 공변추론 양식틀에서 빠져있음을 알 수 있었고, 따라서 앞으로 학생들의 함수개념 발달의 연구를 위해서 공변추론과 인과성이 서로 연계되어 이루어 져야 할 필요성이 제시되었다.

• 대한수학회논문집
• /
• 제33권2호
• /
• pp.561-569
• /
• 2018

In this paper, we introduce some notions of orthogonality in the setting of Finsler $C^*$-modules and investigate their relations with the Birkhoff-James orthogonality. Suppose that ($E,{\rho}$) and ($F,{\rho}^{\prime}$) are Finsler modules over $C^*$-algebras $\mathcal{A}$ and $\mathcal{B}$, respectively, and ${\varphi}:{\mathcal{A}}{\rightarrow}{\mathcal{B}}$ is a *-homomorphism. A map ${\Psi}:E{\rightarrow}F$ is said to be a ${\varphi}$-morphism of Finsler modules if ${\rho}^{\prime}({\Psi}(x))={\varphi}({\rho}(x))$ and ${\Psi}(ax)={\varphi}(a){\Psi}(x)$ for all $a{\in}{\mathcal{A}}$ and all $x{\in}E$. We show that each ${\varphi}$-morphism of Finsler $C^*$-modules preserves the Birkhoff-James orthogonality and conversely, each surjective linear map between Finsler $C^*$-modules preserving the Birkhoff-James orthogonality is a ${\varphi}$-morphism under certain conditions. In fact, we state a version of Wigner's theorem in the framework of Finsler $C^*$-modules.

• Journal of Forest and Environmental Science
• /
• 제24권3호
• /
• pp.143-149
• /
• 2008

We conduct economic analysis of the snow damage on sugi (Cryptomeria japonica) forest stands in Toyama Prefecture, Japan. We utilize a single tree and distant independent growth simulator called "Silv-Forest." With this growth simulator, we developed an optimization model by dynamic programming, called DP-Silv (Dynamic Programming Silv-Forest). The MS-PATH (multiple stage projection alternative technique) algorithm was embedded as a searching algorithm of dynamic programming. The height / DBH ratio was used to constrain the thinning regime for snow damage protection. The optimal rotation age turned out to be 65 years for the non-restricted case, while it was 50 years for the restricted case. The difference in NPV of these two cases as the induced costs ranged from 179,867 to 1,910,713yen/ha over the rotation age of 20 to 75 years. Under the optimal rotation of 65 years, the cost became 914,226 yen/ha. The estimated annual payment based on the difference in NPV, was from 9,869 yen/ha/yr to 85,900 yen/ha/yr. All in all, 10,000 yen/ha/yr to 20,000 yen/ha/yr seems to cover the payment from the rotation age of 35 to 75 years.

• 대한수학회지
• /
• 제45권5호
• /
• pp.1393-1404
• /
• 2008

Let K be a nonempty closed convex subset of a Banach space E. Suppose $\{T_{n}\}$ (n = 1,2,...) is a uniformly asymptotically regular sequence of nonexpansive mappings from K to K such that ${\cap}_{n=1}^{\infty}$ F$\(T_n){\neq}{\phi}$. For $x_0{\in}K$, define $x_{n+1}={\lambda}_{n+1}x_{n}+(1-{\lambda}_{n+1})T_{n+1}x_{n},n{\geq}0$. If ${\lambda}_n{\subset}[0,1]$ satisfies $lim_{n{\rightarrow}{\infty}}{\lambda}_n=0$, we proved that $\{x_n\}$ weakly converges to some $z{\in}F\;as\;n{\rightarrow}{\infty}$ in the framework of reflexive Banach space E which satisfies the Opial's condition or has $Fr{\acute{e}}chet$ differentiable norm or its dual $E^*$ has the Kadec-Klee property. We also obtain that $\{x_n\}$ strongly converges to some $z{\in}F$ in Banach space E if K is a compact subset of E or there exists one map $T{\in}\{T_{n};n=1,2,...\}$ satisfy some compact conditions such as T is semi compact or satisfy Condition A or $lim_{n{\rightarrow}{\infty}}d(x_{n},F(T))=0$ and so on.

• 한국수학교육학회지시리즈E:수학교육논문집
• /
• 제28권4호
• /
• pp.553-571
• /
• 2014

근래 수학의 학습에서 수학의 내용뿐만 아니라 수학적 과정을 평가할 수 있는 문항의 중요성에 대한 인식이 확산되고 있다. 본 연구에서는 수학의 내용과 더불어 수학적 과정 즉, 수학적 의사소통, 추론, 문제해결을 명시적인 평가요소로 포함하는 서술형 문항으로서 '수학적 과정 문항'이라는 개념을 제안하고, 수학적 과정 문항의 제작을 위한 예시 평가기준과 문항 및 채점기준 개발을 통해 서술형 문항을 활용한 수학적 과정 평가 방안을 논의한다.

• Communications for Statistical Applications and Methods
• /
• 제24권6호
• /
• pp.627-640
• /
• 2017

A common interest in gene expression data analysis is to identify genes that present significant changes in expression levels among biological experimental conditions. In this paper, we develop a Bayesian approach to make a gene-by-gene comparison in the case with a control and more than one treatment experimental condition. The proposed approach is within a Bayesian framework with a Dirichlet process prior. The comparison procedure is based on a model selection procedure developed using the discreteness of the Dirichlet process and its representation via Polya urn scheme. The posterior probabilities for models considered are calculated using a Gibbs sampling algorithm. A numerical simulation study is conducted to understand and compare the performance of the proposed method in relation to usual methods based on analysis of variance (ANOVA) followed by a Tukey test. The comparison among methods is made in terms of a true positive rate and false discovery rate. We find that proposed method outperforms the other methods based on ANOVA followed by a Tukey test. We also apply the methodologies to a publicly available data set on Plasmodium falciparum protein.