This project describes Automine, a program intended to aid in the solving of the Minesweeper computer game. Automine is based on the Linux xwindow C program with xwindow graphic library. The program uses heuristics and probability statistics to help in determining safe squares and squares concealing mines with the goal of allowing a player to achieve minimal time performance. The source code for Automine and for a game simulation is provided in the appendices.

Problem-posing is recognized as an important component in the nature of mathematical thinking (Kilpatrick, 1987). More recently, there is an increased emphasis on giving students opportunities with problem posing in mathematics classroom (English& Grove, 1998). These research has shown that instructional activities as having students generate problems as a means of improving ability of problem solving and their attitude toward mathematics (Winograd, 1991). In this study, teaching Taxicab Geometry which is a non-Euclidean geometry is aimed to mathematics teacher candidates by means of computer game-Simcity- using real life problems posing. This studies’ participants are forty mathematics teacher candidates taking geometry course. Because of using Simcity computer game, this game is based on Taxicab Geometry. Firstly, students had been given Taxicab geometry theory for two weeks and then seperated six each of groups. Each of groups is wanted to posing problem and solving from real life problems at Taxicab geometry. In addition to, students applied to problem solving at Simcity computer game. Studens were model into Simcity game. They founded ideal city, healty village, university campus, holiday village, etc. interesting of each others.