確かマインスイーパって全局面解析されてなかったか