게시판 인덱스

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

4-1 질문입니다

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



가입: 2011년 4월 8일
올린 글: 12

올리기올려짐: 2011년5월1일 21:03    주제: 4-1 질문입니다 인용과 함께 답변

하긴 했는데 제가 이해를 제대로 하고 있는건지 모르겠어요.
4-1에서
\x.B
꼴의 함수라면
B 내부에서도 레덱스를 찾아서 reducton해야하는건가요?

수업시간에 조교님께서 함수 body는 app 전까진 무슨 일이 있어도 안 건드린다;는 말씀을 하신 것 같아서 헷갈려요.
예를 들어
\x.(\y. y) 3 같은게
\x.(\y. y) 3으로 남아야 하는 건지 \x.3이 되어야 하는건지/
test5같은 경우
(\z.(\x.x) z)로 남아야 하는지 (\z.z)가 되어야 하는지

궁금합니다. Cool


신상민 가 2011년5월1일 23:03에 수정함, 총 1 번 수정됨
위로
사용자 정보 보기 비밀 메시지 보내기
신상민



가입: 2011년 4월 8일
올린 글: 12

올리기올려짐: 2011년5월1일 23:02    주제: 그리고 인용과 함께 답변

그리고 마찬가지로 4-1에 대한 질문입니다.
test9는 y가 나와야 하죠?Smile
위로
사용자 정보 보기 비밀 메시지 보내기
신상민



가입: 2011년 4월 8일
올린 글: 12

올리기올려짐: 2011년5월2일 0:20    주제: - 인용과 함께 답변

세번째 질문입니당
4-2에서 음수는 안 다루죠? Smile
음수를 받거나 sub결과가 음수거나 하는 경우 어떻게 해야 하는지 궁금합니당.
위로
사용자 정보 보기 비밀 메시지 보내기
이원찬



가입: 2010년 3월 4일
올린 글: 34

올리기올려짐: 2011년5월2일 3:12    주제: 인용과 함께 답변

1. normal order reduction의 정의에 따르면 B 안의 레덱스도 찾아 reduce 합니다.
말 그대로 normal form, redex가 없는 form을 만다는 계산 규칙입니다.
함수가 호출될 때 몸통을 실행하는 계산 방식은 eager evaluation입니다.
정답을 말씀드릴 수는 없기 때문에 실행 결과가 뭐가 되는지는 함구하겠습니다.

2. 마찬가지로 잘 생각해보시기 바랍니다.

3. 음수는 다루지 않습니다.
우리가 숙제에서 사용하는 church numeral은 음수를 표현할 수 없기 떄문입니다.
계산 결과가 음수인 경우는 구현시 고려하지 않으셔도 됩니다.
위로
사용자 정보 보기 비밀 메시지 보내기 글 올린이의 웹사이트 방문
이전 글 표시:   
이 게시판은 잠겼으므로 글을 올리거나, 답변을 하거나 수정을 할 수 없습니다   이 주제는 잠겼으므로 답변을 하거나 수정을 할 수 없습니다     게시판 인덱스 -> 4190.310 Programming Languages (Spring 2011) 시간대: GMT + 9 시간(한국)
페이지 11

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


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