Earticle

초록

한국어

우리는 바둑 게임에서 전술적인 정리(定理)를 효율적으로 증명 할 수 있는 방법을 제시한다. 우리는 바둑게임중 다른 전술적인 하위게임들을 정리 증명하는 것을 실험해 왔다.
즉, 수상전, 연결 게임, 사활게임들이 그것들이다. 정리 증명은 전술적인 바둑 문제를 해결하는 데 매우 효과적이다. 찾아낸 수(手)들은 언제나 정확하고, 보통의 알고리즘보다도 더 빨리 수(手)를 찾아낸다. 이 논문에서 우리는 구체적인 예제들과 연관된 알고리즘을 제시하고 있으며, 대국자들에게 흥미를 불러일으킬 수 있는 실현가능한 응용문제들을 약술하고 있다. : 즉, 초보자들이 돌들을 사로잡고 연결하는 것을 배우는 교육프로그램들, 중급자들을 위한 문제 해결 프로그램들, 그리고 심지어는 완벽하게 바둑문제들을 맞추거나 만드는 능숙한 선수들에게조차도 흥미를 불러일으킬 수 있는 일부 응용문제들이 그것이다.

목차

1. 소개
 2. 정리 증명
 3. 학습을 돕는 연결의 어려움을 평가하기
 4. 연결의 비이행성(非移行性)
 5. 검색
 6. 미래의 과제
 7. 결론

키워드

저자

• Tristan Cazenave [ Dept. of Information, Univ 8, 프랑스 ]

참고문헌

발행기관

간행물

표지보기 관심저널 등록

• 간행물명

  한국바둑학회 국제학술대회논문집 [國際學術大會論文集]

• 간기

  연간

• 수록기간

  2001~2006

• 십진분류

  KDC 691 DDC 794