게시판 인덱스

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

과제 3-1: Record 관련 질문

 
글 쓰기   답변 달기     게시판 인덱스 -> 4190.310 Programming Languages (Fall 2014)
이전 주제 보기 :: 다음 주제 보기  
글쓴이 메시지
이성환



가입: 2014년 9월 9일
올린 글: 34

올리기올려짐: 2014년10월12일 20:44    주제: 과제 3-1: Record 관련 질문 인용과 함께 답변

과제 3-1에서 Record construction과 관련하여 질문이 있습니다.

record 생성시 하나의 record에 2개 이상의 같은 id가 존재하는 경우 어떻게 처리해야 하나요?
semantics 상에서 이런 경우에 대한 처리가 되는 것 같지 않아 질문드립니다.

감사합니다.
위로
사용자 정보 보기 비밀 메시지 보내기
강동옥



가입: 2009년 9월 18일
올린 글: 602

올리기올려짐: 2014년10월12일 23:46    주제: 인용과 함께 답변

Record 도메인이 와 같이, 함수로 정의되어 있다는 점과, Record 타입의 값이 로 표현된 점을 통해 유추해보면, x_1, ... x_n 은 모두 서로 다른 id여야 할 것입니다. (함수는 정의역의 한 원소가 하나의 값으로만 매핑되어야 하므로)

따라서, 원래는 같은 id가 들어있는 경우에 Error 예외를 일으키는 것이 맞습니다.

하지만 숙제 문서에 이러한 스펙이 명확하게 드러나 있지는 않다고 판단하여, 테스트 케이스에서 이런 경우를 테스트하지는 않도록 하겠습니다.
위로
사용자 정보 보기 비밀 메시지 보내기
이성환



가입: 2014년 9월 9일
올린 글: 34

올리기올려짐: 2014년10월13일 11:36    주제: 인용과 함께 답변

답변 감사합니다.
위로
사용자 정보 보기 비밀 메시지 보내기
이전 글 표시:   
글 쓰기   답변 달기     게시판 인덱스 -> 4190.310 Programming Languages (Fall 2014) 시간대: GMT + 9 시간(한국)
페이지 11

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


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