게시판 인덱스

 
 FAQFAQ   검색검색   멤버리스트멤버리스트   사용자 그룹사용자 그룹   사용자 등록하기사용자 등록하기 
 개인 정보개인 정보   비공개 메시지를 확인하려면 로그인하십시오비공개 메시지를 확인하려면 로그인하십시오   로그인로그인 

7번 질문

 
이 게시판은 잠겼으므로 글을 올리거나, 답변을 하거나 수정을 할 수 없습니다   이 주제는 잠겼으므로 답변을 하거나 수정을 할 수 없습니다     게시판 인덱스 -> 4190.310 Programming Languages (Fall 2010)
이전 주제 보기 :: 다음 주제 보기  
글쓴이 메시지
최민아



가입: 2009년 9월 28일
올린 글: 236

올리기올려짐: 2010년11월25일 22:07    주제: 7번 질문 인용과 함께 답변

수업시간에 여쭤봐야 할 내용같지만 과제 듀가 수업시간보다 먼저라
질문합니다..

교재 181쪽에 밑에서 두번째줄에

타입틀의 한 예가 ... 라는 문장에서

Supp(S)가 벡터 a에 포함되는것이 아니라 벡터 a가 Supp(S) 에
포함되는 것 아닌가요?
위로
사용자 정보 보기 비밀 메시지 보내기
최종욱



가입: 2009년 9월 15일
올린 글: 84

올리기올려짐: 2010년11월25일 23:06    주제: 인용과 함께 답변

supp(S)가 a 의 subset인것이 맞습니다.

supp(S)란 S가 바꾸는 타입변수들의 집합입니다.

타입스킴 {a1, ... an} tau' 의 한 instance가 tau가 될 수 있다는 말은

직관적으로 생각해서 tau'에 있는 (일반화된) 타입변수들 a1, a2, .., an 중 일부분을 바꿔서 tau를 만들 수 있다

라는 말이기 때문에, 바뀜---for some substitution S에 의해----이 일어나는 타입변수들(즉, supp(S)) 은 {a1, a2, ..., an}의 subset 이어야 하겠죠.
_________________
Jongwook Choi
Seoul National University, School of Computer Science & Engineering
위로
사용자 정보 보기 비밀 메시지 보내기
이전 글 표시:   
이 게시판은 잠겼으므로 글을 올리거나, 답변을 하거나 수정을 할 수 없습니다   이 주제는 잠겼으므로 답변을 하거나 수정을 할 수 없습니다     게시판 인덱스 -> 4190.310 Programming Languages (Fall 2010) 시간대: GMT + 9 시간(한국)
페이지 11

 
건너뛰기:  
새로운 주제를 올릴 수 없습니다
답글을 올릴 수 없습니다
주제를 수정할 수 없습니다
올린 글을 삭제할 수 없습니다
투표를 할 수 없습니다


Powered by phpBB 2.0.21-7 (Debian) © 2001, 2005 phpBB Group
Translated by kss & drssay