| 이전 주제 보기 :: 다음 주제 보기 |
| 글쓴이 |
메시지 |
조주연
가입: 2009년 9월 23일
올린 글: 12
|
 올려짐: 2014년10월21일 15:25 주제: HW 4-2 : Guide("x", e) 바깥 쪽에 "x"가 있을 수 있나요? |
 |
|
| 인용: | | Guide ("x", e) 가 있을 때는 e 안에 반드시 x 가 존재한다고 가정합니다. |
Guide("x", e) 바깥쪽 어딘가에 "x" 가 있을 수 있나요?
예를 들어
Branch(Guide("x", (NameBox "x")), (NameBox "x"))
와 같은 식의 지도도 가능한 인풋인가요? (탐사 가능여부를 떠나서요) |
|
| 위로 |
|
 |
강동옥
가입: 2009년 9월 18일
올린 글: 602
|
| 올려짐: 2014년10월21일 22:19 주제: |
|
|
네, 그러한 구조의 지도도 가능한 인풋입니다.
즉, Guide("x", e)를 보았을 때, e 안에 반드시 x가 존재한다고 가정하는 것은 옳지만, x가 e 안에만 있다고 가정해서는 안 됩니다. |
|
| 위로 |
|
|
|
|
새로운 주제를 올릴 수 없습니다
답글을 올릴 수 없습니다
주제를 수정할 수 없습니다
올린 글을 삭제할 수 없습니다
투표를 할 수 없습니다
|
Powered by phpBB 2.0.21-7 (Debian) © 2001, 2005 phpBB Group
Translated by kss & drssay |
FAQ
검색
멤버리스트
사용자 그룹
사용자 등록하기
개인 정보
비공개 메시지를 확인하려면 로그인하십시오
로그인
