http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
실생활 문장제에서 현실맥락 고려에 관한 예비교사들의 인식 분석
이지현 ( Lee¸ Jihyun ),이규희 ( Yi¸ Gyuhee ) 한국수학교육학회 2021 수학교육 Vol.60 No.4
이 연구는 예비교사들을 대상으로 1) 실생활 문장제의 해결 과정에서 현실맥락을 예민하게 고려하는지, 2) 교사 입장에서 문제의 현실맥락을 예민하게 고려한/고려하지 않은 학생 응답을 어떻게 평가하는지를 조사하였다. 예비교사들 역시 학생들과 마찬가지로 일부 실생활 문장제에 대하여 현실맥락을 예민하게 고려하지 않았으며, 현실맥락을 예민하게 생각하지 않은 채 전형적인 풀이를 적용한 학생 응답을 현실맥락에 예민하게 반응한 답보다 높이 평가하였다. 예비교사 자신이 문제 해결 과정에서 현실맥락을 예민하게 고려했던 경우와 아니었던 경우 모두 학생의 현실맥락 고려를 문제 의도에 부합하지 않는다는 점에서 혹은 문제 오류의 증거로 긍정적으로 수용하지 않았다. 예비교사들의 학생 응답에 대한 평가의견에 내포된 전제로부터 예비교사들이 수용했으며 실생활 문장제의 교수 학습 상황과 학생들에게 기대한 암묵적인 교수학적 계약을 구체적으로 관찰할 수 있었다. 실생활 문장제에 대한 예비교사들의 인식을 탐색한 본 연구의 결과는 예비교사들이 실생활 문장제에 대해 가지고 있는 통상 교수학에 도전하고 수정할 수 있는 교사 교육 프로그램의 개발에 기여할 수 있을 것이다. We investigated whether and how pre-service teachers took the realistic contexts seriously in the course of solving word problems; additionally, we investigated how pre-service teachers evaluated students’ realistic and non-realistic answers to word problems. Many pre-service teachers, similar to students, solved some of the realistic problems unrealistically without taking the realistic contexts seriously. Besides, they evaluated students’ non-realistic answers higher than the realistic answers. Whether the pre-service teachers could solve problems realistically or not, they did not appreciate students’ realistic considerations for the reasons that those were not fitted to the intentions of the word problems, or those were evidence of the flaws of the problem. Furthermore, the analysis of premises implied in the pre-service teachers’ evaluation comments showed the implicit didactic contracts about realistic word problem solving that they accepted and also anticipated students to follow. Our analysis of the pre-service teachers’ conceptions of realistic word problems can help teacher educators design the teacher program to challenge and revise pre-service teachers’ folk pedagogy.
SDN 응용 검증을 위한 프로세스 알지브라 기반 정형 기법
신명기(Myung-Ki Shin),이종화(Jong-Hwa Yi),최윤철(Yunchul Choi),이지현(Jihyun Lee),이승익(Seung-Ik Lee),강미영(Miyoung Kang),곽희환(Hee Hwan Kwak),최진영(Jin-Young Choi) 한국통신학회 2014 韓國通信學會論文誌 Vol.39 No.6(네트워크)
최근 SDN (Software Defined Networking) 기반의 다양한 네트워크 제어 및 관리 플랫폼들이 서비스제공자 및 통신사업자들에 의해 연구되고 있다. SDN의 중요한 특징 중 하나는 소프트웨어 프로그램으로 작성된 간단한 응용에 의해 네트워크가 쉽게 제어되고 관리된다는 점에 있다. 이러한 관점에서 잘못 작성된 SDN 응용은 네트워크 전체에 오류를 발생시킬 수 있어, 해당 응용은 작성된 오픈플로우 포워딩 규칙(rule)을 SDN 컨트롤러(controller)를 통해 스위치에 반영하기 전에 토폴로지와 네트워크 환경의 안전성(safety)과 일관성(consistency)이 반드시 검증되어야 한다. 본 논문에서는 SDN 응용 검증을 위한 프로세스 알지브라 (process algebra) 기반의 언어인 pACSR (Packet based Algebra of Communicating Shared Resources)와 이를 기반으로 한 정형 검증 프레임워크를 제안하고, 이에 대한 SDN 정형검증 도구 연구시제품 구현 현황을 기술한다. Recently, there have been continuous efforts and progresses regarding the research on diverse network control and management platforms for SDN (Software Defined Networking). SDN is defined as a new technology to enable service providers/network operators easily to control and manage their networks by writing a simple application program. In SDN, incomplete or malicious programmable entities could cause break-down of underlying networks shared by heterogeneous devices and stake-holders. In this sense, any misunderstanding or diverse interpretations should be completely avoided. This paper proposes a new framework for SDN application verification and a prototype based on the formal method, especially with process algebra called pACSR which is an extended version of Algebra of Communicating Shared Resources (ACSR).