이전 주제 보기 :: 다음 주제 보기 |
글쓴이 |
메시지 |
Jung-Dam 손님
|
올려짐: 2008년12월12일 12:23 주제: [숙제7] 2번 문제 질문입니다. |
|
|
2번에서 보면
곱집합(productset) 하고 멱집합(powerset)이란 개념이 나오는데,
문제를 보면 functor들이 두 집합을 받아서 두 집합의 곱집합, 멱집합을 만드는 것이 아니라, 그냥 주어진 곱집합과 멱집합을 가지고 SET 시그너쳐에 있는 단순한 연산들만 하는데요, 제 해석이 맞는건가요??
즉 SetFun, ProductSetFun, PowerSetFun이 하는 일이 각각 다르게 생겨먹은 set을 다룰 수 있는 structure를 만든다고 해석했습니다. |
|
위로 |
|
|
최원태
가입: 2006년 9월 16일 올린 글: 369
|
올려짐: 2008년12월12일 15:05 주제: |
|
|
structure들은 "도메인"을 정의하고 있습니다.
structure에 정의된 함수를 사용해 만든 값들이 도메인에 속한 실제 값이 되죠.
functor는 서로 다른 도메인을 받아서 다른 도메인을 정의하는 방법을 제공합니다.
그리고 그렇게 만들어진 도메인을 이용해서 또 다른 값을 만드는 것이죠. |
|
위로 |
|
|
|
|
새로운 주제를 올릴 수 없습니다 답글을 올릴 수 없습니다 주제를 수정할 수 없습니다 올린 글을 삭제할 수 없습니다 투표를 할 수 없습니다
|
Powered by phpBB 2.0.21-7 (Debian) © 2001, 2005 phpBB Group Translated by kss & drssay
|