게시판 인덱스

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

8-2 질문

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



가입: 2015년 9월 10일
올린 글: 8

올리기올려짐: 2015년12월5일 4:34    주제: 8-2 질문 인용과 함께 답변

1.
"프로그램 e가 연립방정식 E를 세우는 규칙"을 e┣ E로 나타냈는데,
"e_k의 실행결과가 n"은 어떤 방식으로 표기하면 될까요?

2.
주어진 프로그램의 모든 식마다 번호를 붙인다고 했는데,
(f λx.(ifz x 0 (x + (f (x + 1))))) (-3) 과 같은 재귀 프로그램이 있을 때
(ifz ~) 부분은 하나의 식으로 지정되나요, 아니면 재귀 흐름에 따라 다른 번호가 붙은 여러 식으로 지정되나요?
가능하시다면 위 프로그램에 대한 연립방정식의 해가 어떤 형태인지 알려주시면 감사하겠습니다.
위로
사용자 정보 보기 비밀 메시지 보내기
최재승



가입: 2012년 9월 10일
올린 글: 211

올리기올려짐: 2015년12월6일 17:48    주제: 인용과 함께 답변

인용:
"e_k의 실행결과가 n"은 어떤 방식으로 표기하면 될까요?

어떤 표기를 사용해야 한다고 제약을 가하지는 않을 것입니다. 어떤 표기를 이러이러한 의미로 사용하겠다고 명백하게 기술한 다음 자유롭게 사용하시면 됩니다.
굳이 하나를 권장드리자면, 수업자료 및 스펙 문서의 표기를 따라 e ⇒ n 정도가 무난하겠습니다.

인용:
(ifz ~) 부분은 하나의 식으로 지정되나요, 아니면 재귀 흐름에 따라 다른 번호가 붙은 여러 식으로 지정되나요?

재귀 흐름에 따라 다른 번호가 붙는다는 것이 무슨 말씀이신지 조금 모호하네요. 식에 붙이는 번호는 프로그램의 모습(syntax)만 보기 때문에 재귀 흐름과는 무관합니다.
혹시 ifz e1, e2, e3 전체가 하나의 식으로 번호가 붙어야 하는지, 아니면 e1, e2, e3 각각의 식에 번호가 붙어야 하는지를 질문하신 것인가요? 그렇다면, (ifz ...) 전체에도 하나의 번호가 붙고, e1, e2, e3에도 각각 번호가 붙는 것이 맞습니다.
위로
사용자 정보 보기 비밀 메시지 보내기
신동진



가입: 2015년 9월 10일
올린 글: 8

올리기올려짐: 2015년12월6일 19:26    주제: 인용과 함께 답변

제가 이해한 바로는, (ifz e1 e2 e3)의 경우 e1이 실제로 0인지 아닌지에 따라 실제 실행할 함수식 집합이 달라져야 하는 것 같은데
재귀식의 경우 한 부분이 여러 번 실행될 수 있기 때문에 식이 여러개의 방정식 변수가 될 수 있다고 생각했습니다.

위 생각에 잘못된 점이 있다면 지적 부탁드립니다.
위로
사용자 정보 보기 비밀 메시지 보내기
최재승



가입: 2012년 9월 10일
올린 글: 211

올리기올려짐: 2015년12월7일 10:26    주제: 인용과 함께 답변

네, 질문을 이해했습니다.

여러 번 실행될 수 있는 식이라도 번호는 항상 하나만 붙는 것이 맞습니다. 각각의 (n번째) 실행마다 다른 변수로 놓는 것이 아닙니다.

그리고, 말씀하신대로 "ifz e1 e2 e3" 의 경우 e1의 계산 결과에 따라 전체 계산 결과가 달라집니다. 그러한 상황도 방정식에 잘 드러내셔야 어떤 함수가 호출될지 올바르게 예측할 수 있을 것입니다.
위로
사용자 정보 보기 비밀 메시지 보내기
이전 글 표시:   
이 게시판은 잠겼으므로 글을 올리거나, 답변을 하거나 수정을 할 수 없습니다   이 주제는 잠겼으므로 답변을 하거나 수정을 할 수 없습니다     게시판 인덱스 -> 4190.310 Programming Languages (Fall 2015) 시간대: GMT + 9 시간(한국)
페이지 11

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


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