• 한국게임학회 논문지
• /
• 제19권4호
• /
• pp.85-96
• /
• 2019

이 논문에서는 블록체인을 이용해 게임 변수들 (게임 난이도, 아이템 강화확률 등)을 사용자들이 직접 공정하고 투명하게 업데이트하는 게임 시스템을 제안한다. 일례로 소개하는 이더리움 기반 미로 탈출 게임은, 최초의 블록체인 기반 미로 게임이며 블록체인을 통해 난이도를 조절하는 최초의 시도이다. 이 시스템에서는 난이도 함수가 사용자들이 매매한 미로 벽의 수량을 반영해 난이도를 계산한다. 게임 관리에 블록체인을 사용하는 것은 인적 경제적 자원을 절약할 뿐 아니라, 난이도 및 아이템 강화확률을 일방적으로 조작하는 게임 개발자의 불공정한 관행도 방지된다. 누구도 비밀스럽게 미로, 승자, 난이도를 조작할 수 없기 때문이다.

• 한국정보통신학회:학술대회논문집
• /
• 한국정보통신학회 2015년도 추계학술대회
• /
• pp.340-342
• /
• 2015

윈도우 시스템은 90년대 이후로 지속적으로 사용되어진 개인용 컴퓨터의 운영체제로 그래픽 사용자 인터페이스와 멀티프로세싱 기능 등을 제공한다. 최근 배포되어지는 8.1 버전은 기존의 윈도우 시스템과 비교하여 다양한 특징을 가지고 있지만 윈도우 스토어는 네트워크를 이용하여 설치할 수 있는 다양한 응용 프로그램을 제공한다. 그러나 현재 윈도우 스토어에는 게임을 위한 응용 프로그램은 거의 제공되지 않고 있다. 이 논문에서는 사용자가 간편하게 설치하여 실행시킬 수 있는 미로탈출 앱을 설계한다. 제안한 앱은 저용량으로 윈도우 스토어에서 다운로드해서 사용자가 직관적으로 미로탈출 게임을 할 수 있도록 한다. 이를 위하여 HTML5와 자바스크립트를 이용하여 개발한다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2008년도 춘계학술발표대회
• /
• pp.382-385
• /
• 2008

본 논문은 게임 풀이를 통해서 모델 체킹 도구의 특징을 분석한다. 도망자-추적자 게임은 격자 모양의 미로에서 도망자가 추적자를 따돌리고 탈출하는 게임이다. 도망자가 격자 상에서 한 칸 움직일 때, 추적자는 일정한 패턴을 가지고 두 칸 움직인다. 이 문제를 SMV와 SPIN 모델 체커로 모델링하고 검증하는 과정을 통해서 SMV와 Spin 모델 체커의 특징을 분석한다. 실험을 통해서 우리는 최단 경로를 찾을 경우는 SMV 모델 체커를 사용해야 하고, 가능한 경로를 빨리 찾는 경우는 Spin 모델 체커가 더 적합함을 확인할 수 있었다.

• 한국콘텐츠학회:학술대회논문집
• /
• 한국콘텐츠학회 2014년도 추계 종합학술대회 논문집
• /
• pp.399-400
• /
• 2014

최근, 스마트폰의 확산과 로봇의 교육적 활용이 확산되는 점에 착안하여, 피아제가 구분한 아동의 발달단계 중에서 구체적 조작기에 해당되는 아동들에게 로봇과 리모트 컨트롤러를 이용하여 미로 탈출 게임을 함으로써 조작능력을 실험하였다. 본 연구에서 제시된 두 종류의 리모트 컨트롤러를 이용하여 로봇을 조작하도록 하고, 각 종류마다 아동들의 조작능력에 어떠한 차이가 있는지 검증한다.

• 한국게임학회 논문지
• /
• 제4권2호
• /
• pp.13-20
• /
• 2004

우리는 도망자-추적자 게임 풀이에 관심이 많다. 도망자가 추적자를 피해 미로를 탈출하는 게임이다. 도망자가 추적자를 유인하기도 하고 벽을 이용해 교묘히 피하기도 한다. 경험에 의하면 수작업으로 풀기에는 매우 어려운 단계들도 있었다. 게임을 풀기 위한 방법으로 모델 체킹 기법을 사용하였다. 모델 체킹은 게임의 모든 상태 공간을 넓이 우선 방식으로 철저하게 탐색하기 때문에 게임을 풀 수 있는 가장 짧은 경로인 최적의 답을 구할 수 있다. 다행히 풀이 과정에서 상태 폭발 문제는 일어나지 않았고, 게임 풀이 결과를 임베디드 시스템인 레고 마인드스톰에 응용하였다. 도망자, 추적자에 해당하는 두 대의 에이전트를 만들어 게임을 구현하고 실험하여 풀이가 정확한 지를 실제 확인할 수 있었다.