• 대한수학교육학회지:학교수학
• /
• 제7권4호
• /
• pp.353-373
• /
• 2005

최근의 급속한 정보화 사회로의 전환에 편승하여 이산수학에 대한 관심과 이에 따른 연구가 활발해지고 있으며, 제 7차 교육과정에서 이산수학을 선택과목으로 지정할 만큼 그 중요성이 인정되고 있다. 본 연구는 네트워크문제와 관련된 이중계수 문제, 한붓그리기, 그리고 도로망문제를 중심으로, 초등 수학영재학생을 위한 학습프로그램을 구성하는 문제와 관련된 교수학적 변환에 대하여 논의하였다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2011년도 한국컴퓨터종합학술대회논문집 Vol.38 No.1(D)
• /
• pp.82-85
• /
• 2011

개인정보를 사용자 몰래 뒤에서 훔쳐보거나 불법 카메라를 이용하여 녹화하는 등의 방식으로 얻어내는 훔쳐보기 공격(Shoulder-surfing attack)은 최근 모바일 기기의 보급 속도가 빨라지고 휴대성이 증대되면서 점점 더 큰 보안 문제로 떠오르고 있다. 본 논문에서는 그래픽 패스워드(Graphic Password) 방식 중에 훔쳐보기 공격을 효율적으로 막을 수 있는 새로운 방안을 소개하려고 한다. 이 방식은 그래픽 패스워드에서 쓰이는 패스 이미지(Pass image)의 선택을 한붓그리기를 이용하여 입력하는 방식으로써 기존의 방식들에 비해서 훔쳐보기 공격에 특화되어 좀 더 안전한 수준의 보안을 제공한다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2005년도 한국컴퓨터종합학술대회 논문집 Vol.32 No.1 (B)
• /
• pp.367-369
• /
• 2005

모델 체킹에서 모델의 크기가 커질수록 검사해야 할 상태 공간이 지수적으로 증가하는 것을 상태폭발문제라고 부르며, 이 문제를 해결하기 위해 추상화 기법이 사용된다. 본 논문에서는 네모라이즈 게임을 대상으로 추상화 기법을 적용하여 게임 모델의 상태 공간을 줄설 기존 방법으로 풀지 못했던 게임을 풀었다. 이 게임은 한붓그리기처럼 출발지부터 이동가능한 모든 지점을 한번만 거쳐, 목적지까지 가는 경로를 찾아내는 도달성 게임이다. 이 게임은 Esterel 언어로 모델링 되었다. Esterel은 동기적 언어로써 게임을 유한상태모델로 모델링하고 관련 모델 체커인 Xeve를 사용하여 모델을 검사한다. Xeve는 모델 체킹 후 특정 출력신호를 방출하기 위한 입력신호들의 시퀀스를 생성해준다. 이 시퀀스가 게임의 해답인 경로가 되는데 Xes라는 시뮬레이터를 통해 실제 정확한 해답인지를 확인한다.

• 한국수학교육학회지시리즈C:초등수학교육
• /
• 제27권1호
• /
• pp.57-74
• /
• 2024

본 연구는 2020년 발행된 일본 초등학교 수학 교과서 2종의 프로그래밍 교육 관련 특화 차시를 지도 시기 및 주제, 지도 내용의 수학적 구성, 지도 맥락 및 활동 구성의 측면에서 분석하였다. 프로그래밍 교육 관련 특화 차시의 경우, 교과서에 따라 1~6학년 모두에 제시되어 있거나 5~6학년에 집중적으로 제시되어 있었다. 주제는 로봇 이동 시키기, 한붓그리기, 정다각형 그리기, 수 정렬하기 등으로 다양했다. 내용 영역 측면에서는 도형과 측정 영역이 가장 많이 제시되었으며, 수학적 요소로는 순서, 논리, 알고리즘 등의 요소가 가장 많이 구현되었다. 실제 프로그래밍을 구현한 디지털 콘텐츠에는 교과서에 제시된 내용보다 많은 내용들이 포함되어 있었으며, 학생들이 스스로 할 수 있도록 단계별로 매우 상세하게 제시되어 있었다. 마지막으로 코드 블록의 경우 동작, 연산, 선택 블록 등을 많이 사용되었다. 이러한 연구 결과를 토대로 우리나라 초등 수학 교육에서의 프로그래밍 교육에 대한 시사점을 제공하고자 한다.