--- 약식 수행형 진행 규칙---
어느 한 대비자(x)는 ...
{
in. [진 입] : 선행자의 구분기호가 (x)가 아니면, 구분기호를 (x)로 넘긴다.
( 단, 1. 선행하는 빈자리(Non x)가 없으면, 구분기호를 (x)로 넘긴다.
2. 생략하는 최초의 선행자를 (흑)으로 한다. )
{
0. [분 리] : 모든 선돌(x)을 자리에서 들어 낸다. (죽은 돌)
1. [결 합] : 하나의 돌(x)을 빈자리(x)에 놓는다.
( 단. 다음은 빈자리(x)가 아니다.
1. 돌이 놓여 있는 자리.
2. 여울자리.
1) 삶을 위한 눈인 자리.
2) 오직 자살인 자리.
3) 상호 순환인 자리.
3. 비김자리.(새 밭이 없음을 전제) )
}
out. [진 출] : 새 밭이 없으면, <바둑의 진행 과정>을 넘는다. (종국)
}
약식 설명 >>
1) [수행형 규칙]은 그 자체로 순환의 형태로 적용된다.
2) 반드시 빈자리에 놓아야 한다.
-> 수넘김(허수, pass)은 빈자리가 없을 경우에 한한다. (빈자리(&)가 없으면 종국이다)
3) 선돌은 이음자리가 없는 돌둑에 포함된 돌이다.
4) 빈자리는 돌의 놓음이 규칙 위반이 아닌 빈 자리이다.
5) 새 밭은 직/간접적으로 추구할 수 있는 상대적으로 새로운 밭이다.
7) [수행형 규칙]은 전체 진행 규칙의 일부이다. ([수행형 규칙] 위반, [보조 규칙], 시간 규칙, 대회 규칙, 규약 등)
8) 흑의 첫 수를 수(0)로 한다. (실제로는 백의 선수 수(1)로 시작한다.)
..? (14/03/05)
두온_바둑의 이론을 증명하기 위한 바둑계 최초의 논리적 바둑 응용 프로그램 입니다.
기본 Cording과 GUI를 박재림님이 해 주셨습니다.
모든 순환을 논리적으로 배제하기 위한 프로그램입니다.
순환인 경우(0)를 알려주시면, 반영하겠습니다. (2010/03/27 시작) : <- 2010/03/27일 현재.
(단, 두온_바둑의 [_규칙]을 준수하는 조건입니다.)
♤