최종욱
가입: 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 |
|