게시판 인덱스

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

5-1,2 질문입니다.

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



가입: 2013년 9월 4일
올린 글: 19

올리기올려짐: 2013년11월9일 23:30    주제: 5-1,2 질문입니다. 인용과 함께 답변

람다식에서 필요하면(중복 발생 등) 함수의 인자에 해당하는 문자열을 임의로 바꿔도 근본적으로 다르지 않기 때문에 해도 되는 것으로 알고 있습니다. 예)\x.x와\z.z은 같은 함수
이것 때문에 궁금한 게 있는데
1. 5-1에서 함수 인자 이름이 달라도 근본적으로 같은 함수이면 답으로 인정됩니까?

2. 5-2에서 숫자 표현을 함수로 하는 경우 함수 인자는 다른 것이 와도 같은 숫자로 인정됩니까? (예) 1을 \s.\z.(s z)로 표현하는데 계산결과 1은\x.\y.(x y)로 나오는 경우)
위로
사용자 정보 보기 비밀 메시지 보내기
강동옥



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

올리기올려짐: 2013년11월11일 0:00    주제: 인용과 함께 답변

1. 네. 알파 리덕션에 의해 같으면 괜찮습니다.

2. 네. 역시 알파리덕션에 의해 같으면 같습니다.
위로
사용자 정보 보기 비밀 메시지 보내기
이전 글 표시:   
글 쓰기   답변 달기     게시판 인덱스 -> 4190.310 Programming Languages (Fall 2013) 시간대: GMT + 9 시간(한국)
페이지 11

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


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