• Journal of Korea Game Society
• /
• v.19 no.4
• /
• pp.85-96
• /
• 2019

In this note, we propose a game system to fairly and transparently control and update game variables using blockchain. As an example, we present an Ethereum-based maze escape game, being the first blockchain-based maze game and the first attempt to control game level through blockchain. In this system, the level function computes maze level reflecting the amount of maze walls purchased/sold by users. Using blockchain for game management saves human and economic resources and prevents unfair practice of game developers unilaterally manipulating game level or item enhancement rate.

• Proceedings of the Korean Institute of Information and Commucation Sciences Conference
• /
• 2015.10a
• /
• pp.340-342
• /
• 2015

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

• Proceedings of the Korea Information Processing Society Conference
• /
• 2008.05a
• /
• pp.382-385
• /
• 2008

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

• Proceedings of the Korea Contents Association Conference
• /
• 2014.11a
• /
• pp.399-400
• /
• 2014

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

• Journal of Korea Game Society
• /
• v.4 no.2
• /
• pp.13-20
• /
• 2004

We have been interested in solving escapee-chaser game. In this game, with avoiding chaser, the escapee must escape from given male. The winning strategies of the escapee are driving the chaser to an intended place and closely evading from chaser by using some walls. According to our experience, some stages of the game are too difficult to solve manually. So we take the model checking method to get a solution of the game. Because the model checking with breadth fist search manner exhaustively searches the all state space of the game, the solution using model checking is best solution, shortest path. Fortunately, during the process of finding solution path, the state space explosion problem didn't occur, and the results of the game solving was applied to embedded system, Lego Mindstorm. Two agents, escapee and chaser, were implemented into robots and several experiments conformed the correctness of our solution.