게시판 인덱스

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

function의 도메인을 알 수 있는 방법이 있나요?

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





올리기올려짐: 2008년12월1일 16:30    주제: function의 도메인을 알 수 있는 방법이 있나요? 인용과 함께 답변

뼈대 코드의 구현을 보면 type environment나 substitution이 모두
함수로 구현되어 있는데, 이 구현을 따르게 되면 이 둘의 도메인을 알 방법이 딱히 떠오르지 않습니다;

function의 도메인을 알 수 있는 방법을 알고 계시면 가르쳐주세요..;
위로
윤용호



가입: 2008년 9월 23일
올린 글: 257

올리기올려짐: 2008년12월2일 16:06    주제: 아마도... 인용과 함께 답변

구현을 바꿔야할거같은 기분이...
위로
사용자 정보 보기 비밀 메시지 보내기
최종식



가입: 2008년 9월 2일
올린 글: 40

올리기올려짐: 2008년12월2일 21:27    주제: . 인용과 함께 답변

바꿔야'만' 하지 않을까요 -_-;;
함수의 도메인이은 그냥 해당 type이 나올 뿐이지 타입의 범위에 대해서는 알 수 없을 것 같은데요.
위로
사용자 정보 보기 비밀 메시지 보내기
이전 글 표시:   
이 게시판은 잠겼으므로 글을 올리거나, 답변을 하거나 수정을 할 수 없습니다   이 주제는 잠겼으므로 답변을 하거나 수정을 할 수 없습니다     게시판 인덱스 -> 4190.310 Programming Languages (Fall 2008) 시간대: GMT + 9 시간(한국)
페이지 11

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


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