게시판 인덱스

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

calF와 f

 
이 게시판은 잠겼으므로 글을 올리거나, 답변을 하거나 수정을 할 수 없습니다   이 주제는 잠겼으므로 답변을 하거나 수정을 할 수 없습니다     게시판 인덱스 -> 4541.664A Program Analysis (Spring 2009)
이전 주제 보기 :: 다음 주제 보기  
글쓴이 메시지
허기홍



가입: 2007년 9월 27일
올린 글: 231

올리기올려짐: 2009년5월23일 10:09    주제: calF와 f 인용과 함께 답변

다시 잡은 분석 숙제, 아직 이해가 잘 안되네요.

밑에 답변을 보면

calF를 이용해서 방정식을 도출하고 풀면 된다고 하셨습니다.

방정식이 도출되면 무식하게 풀거나 워크 리스트 써서 풀면 되는데...

calF를 이용해서 방정식을 도출하는 것이 이해가 안갑니다.

calF가 인자로 받는 f는 요약의미함수 (교과서에 C^{hat}이라고 나오는) 맞죠?

교과서 97쪽에 보면 f(C hat)을 인자로 받는 calF(F hat)의 정의가 나와있습니다.

그리고 98쪽을 보면 방정식이 나와있는데요.

정의에서 방정식으로 전개되는 과정이 이해가 안갑니다.

97쪽 정의에 따라 F hat 을 구현했다고 치면 calF f (WHILE) 의 결과로 나오는 함수는 어떤 메모리를 받았을 때 무한히 도는 함수아닌가요.

98쪽 방정식으로 넘어가보면 while문이든 뭐든 표에다 각 방정식 주인공들의 이전까지 메모리들을 적어놓고 한단계씩 풀면 될것 같습니다.

이 때는 방정식 우변에 다른 방정식 변수가 나오면 테이블을 참조하면서 나아가야겠지요.

또한 각 레이블마다 입력 출력 메모리를 다 따져야 한다면 6번 숙제처럼 방정식과 방정식 변수를 정의해주어야 할 것 같습니다.

문제는 이때 calF와 f 가 어떤 역할을 해야하는지 모르겠습니다.

숙제에서 calF를 만들라는 말이 없었으면 숙제 6처럼 방정식을 유도하는 함수를 만들고 반복적으로 계산해서 풀었을 것 같은데요.

답변 부탁 드립니다.

저는 물론이고 게시판이나 현실세계에서 보니 다른 분들도 많이 헷갈려 하시는 것 같아서 자세히 질문해봤습니다.
위로
사용자 정보 보기 비밀 메시지 보내기 이메일 보내기 글 올린이의 웹사이트 방문
고윤석



가입: 2008년 9월 26일
올린 글: 11

올리기올려짐: 2009년5월23일 15:05    주제: 참고. 인용과 함께 답변

먼저, 를 그대로 구현하면 무한히 도는 함수가 맞습니다.

while의 경우 자기 자신을 다시 부르기 때문이죠.


그래서 을 도입합니다. 수학적으로는 이 씌워지면 명백하게 방정식이 아닌 형태가 되죠.

근데 이걸 구현하는 부분에서 약간 헛갈릴 수 있습니다(저만 헛갈렸나요? ㅎㅎ)


안에 있는 은 받은 메모리에 대한 결과를 직접 계산해서 넘겨주지 않습니다.

다만 이번에 받은 메모리는 다음 단계의 입력 메모리에 넣어주고, 당장 이 녀석을 계산한 결과를 돌려주어야 하니 이전 단계의 출력 메모리에서 꺼내어줍니다.

의 결과 값은 해당 cmd를 실행한 결과이므로 다음 단계의 출력 메모리에 넣어줍니다.

정리하면, 에서는 다음 단계의 입력 메모리를.
의 결과값은 다음 단계의 출력 메모리를 갱신해주게 됩니다.

이러한 단계가 반복되면 한 단계를 넘어가면서 메모리가 흘러들어가고 흘러 나오는 것들이 자연스럽게 이어집니다.


여기까지 이해가 되고나면 또 의문점이 생깁니다.

뭐야. 은 입력 메모리를 받지도 않는데, 다음 단계의 입력 메모리를 갱신해주네?

이 부분에서 또 머리싸매고 고민하는 분들이 계시던데..

힌트를 드리자면, 실행 중간에 특정 location에 assign되어 있는 값을 변경해야합니다. 물론 특정 location은 인자로 주어지지도 않은 값이지요. Smile


다 해 놓고 보면, 새로울것이 하나도 없습니다. 이 분석기를 만들기 위해서 정의한 의미구조들을 그대로 코드로 구현해 놓으면 됩니다.
_________________
ysko
위로
사용자 정보 보기 비밀 메시지 보내기 글 올린이의 웹사이트 방문
허기홍



가입: 2007년 9월 27일
올린 글: 231

올리기올려짐: 2009년5월23일 21:34    주제: 인용과 함께 답변

고맙습니다.

그런데

저 아름다운 수식, 기호들은 어디서 어떻게 가져오나요?
위로
사용자 정보 보기 비밀 메시지 보내기 이메일 보내기 글 올린이의 웹사이트 방문
강지훈



가입: 2008년 9월 2일
올린 글: 291
위치: 302동 312-2호

올리기올려짐: 2009년5월24일 22:16    주제: 속성을 보니 인용과 함께 답변

http://ropas.snu.ac.kr/cgi-bin/mimetex.cgi?\hat{\cal%20F}

이런게 있네요

[img]http://ropas.snu.ac.kr/cgi-bin/mimetex.cgi?\hat{\cal%20F}[/img]
_________________
강지훈
프로그래밍의 원리 조교

Jeehoon Kang
TA, Principles of Programming
위로
사용자 정보 보기 비밀 메시지 보내기
공순호



가입: 2005년 9월 29일
올린 글: 363
위치: 302동 312-2호

올리기올려짐: 2009년5월24일 23:29    주제: 인용과 함께 답변

대괄호 사이에 tex을 이용하시면 됩니다.

[tex ] .... [/tex ]
_________________
- soon@ropas
위로
사용자 정보 보기 비밀 메시지 보내기 글 올린이의 웹사이트 방문
고윤석



가입: 2008년 9월 26일
올린 글: 11

올리기올려짐: 2009년5월25일 14:49    주제: 결국.. 인용과 함께 답변

열화와같은 성원에 힘입어..
그냥 에디터에 TeX입력 버튼도 만들어 넣어놨습니다.

메시지 본문 입력Box 우측 상단에 TeX버튼을 사용하세요.
_________________
ysko
위로
사용자 정보 보기 비밀 메시지 보내기 글 올린이의 웹사이트 방문
이전 글 표시:   
이 게시판은 잠겼으므로 글을 올리거나, 답변을 하거나 수정을 할 수 없습니다   이 주제는 잠겼으므로 답변을 하거나 수정을 할 수 없습니다     게시판 인덱스 -> 4541.664A Program Analysis (Spring 2009) 시간대: GMT + 9 시간(한국)
페이지 11

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


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