FAQ   검색   멤버리스트   사용자 그룹   사용자 등록하기   개인 정보   비공개 메시지를 확인하려면 로그인하십시오   로그인  검색 결과 11 개 일치합니다 게시판 인덱스 글쓴이 메시지   주제: calF와 f 고윤석 답변: 5 조회: 6283 게시판: 4541.664A Program Analysis (Spring 2009)   올려짐: 2009년5월25일 14:49   주제: 결국.. 열화와같은 성원에 힘입어.. 그냥 에디터에 TeX입력 버튼도 만들어 넣어놨습니다. 메시지 본문 입력Box 우측 상단에 TeX버튼을 사용하세요.   주제: calF와 f 고윤석 답변: 5 조회: 6283 게시판: 4541.664A Program Analysis (Spring 2009)   올려짐: 2009년5월23일 15:05   주제: 참고. 먼저, 를 그대로 구현하면 무한히 도는 함수가 맞습니다. while의 경우 자기 자신을 다시 부르기 때문이죠. 그래서 을 도입합니다. 수학적으로는 � ...   주제: read에 대한 처리 질문 고윤석 답변: 3 조회: 5700 게시판: 4541.664A Program Analysis (Spring 2009)   올려짐: 2009년4월8일 21:56   주제: 아... 임의의 수가 아닙니다. -5부터 5사이의 모든 수에 대한 trace를 모두 구해야 한다는 것입니다. 예를들면, x:=read 라고 가정하면, 구해진 trace는 x� ...   주제: 숙제 4에 대해서 알려드립니다. - 기계 상태에 관한 내용이 추가되었습니다. 고윤석 답변: 9 조회: 8751 게시판: 4541.664A Program Analysis (Spring 2009)   올려짐: 2009년4월8일 20:32   주제: 주어진 테스트코드는.. 아마 의미없는 코드가 아닐까 합니다. 실제로 binding되지 않은 변수를 사용하였으므로 exception처리하시는게 옳을줄로 아뢰옵니다.   주제: read에 대한 처리 질문 고윤석 답변: 3 조회: 5700 게시판: 4541.664A Program Analysis (Spring 2009)   올려짐: 2009년4월8일 20:31   주제: 입력부분에 대하여.. 음.. 어떤 이유에서 read_int를 통해 외부에서 입력받으려 하는지 잘 모르겠습니다만, 일단 문제에서 주어진 범위 바깥인것은 확실한 것 같군요. 문제� ...   주제: 숙제 4] tracingEval에서 중복된 실행 경로 고윤석 답변: 7 조회: 4384 게시판: 4541.664A Program Analysis (Spring 2009)   올려짐: 2009년4월6일 0:01   주제: 질문. 문맥상... 기계 상태는 메모리를 포함하는 것으로 정의하고 숙제를 하셔도 무방합니다. 라는 말은 기계 상태는 program counter를 포함하는 것으로 정 ...   주제: mathemadiga 질문 하나더. 고윤석 답변: 1 조회: 1944 게시판: 4541.664A Program Analysis (Spring 2009)   올려짐: 2009년3월23일 0:14   주제: mathemadiga 질문 하나더. 공지에는 integral 계산에서 dx가 0.1 이하인 경우에는 그냥 그 수를 사용하자고 하셨는데요. 만약 INTEGRAL(REAL 0.0, REAL 0.12, X) 의 경우는 어떻게 계� ...   주제: 1번 질문 고윤석 답변: 1 조회: 2204 게시판: 4541.664A Program Analysis (Spring 2009)   올려짐: 2009년3월22일 22:26   주제: 1번 질문 DIV(INT 5, INT 2) 결과는 2인가요? 아니면 2.5인가요?   주제: 숙제 2에 관해서 알려드립니다. [3/22 8:43AM 마지막 수정] 고윤석 답변: 11 조회: 6318 게시판: 4541.664A Program Analysis (Spring 2009)   올려짐: 2009년3월21일 21:21   주제: 이상한데요, SIGMA(INT 1, INT 10, SIGMA(INT 1, INT 10, X)) 이 경우에는 1부터 10까지 더하는 함수를 10번 실행하는건가요? 안쪽 SIGMA의 X는 명시적이지만 바깥쪽 SIGMA의 X는 � ...   주제: HW1, ex 8질문있어용! 고윤석 답변: 6 조회: 3072 게시판: 4541.664A Program Analysis (Spring 2009)   올려짐: 2009년3월17일 19:41   주제: 참고로... raise (NOMOVE "left of top") 하시면 에러는 발생하지 않습니다.   주제: 2-3번 testcase입니다. 고윤석 답변: 2 조회: 2683 게시판: 4190.210 Principles of Programming (Fall 2008)   올려짐: 2008년9월26일 3:37   주제: 2-3번 testcase입니다. 숙제는 잘들 하고 계신가요? 멍청하면 몸이 고생이라고.. 끝없는 삽질의 연속이군요. 혹시라도 콘크리트 바닥에 삽질하는데 도움이 되었으면 ...   페이지 1 중 1 시간대: GMT + 9 시간(한국) 건너뛰기: 게시판 선택 4190.310 Programming Languages----------------4190.310 Programming Languages (Spring 2025)4190.310 Programming Languages (Spring 2024)4190.310 Programming Languages (Spring 2023)4190.310 Programming Languages (Spring 2022)4190.310 Programming Languages (Spring 2021)4190.310 Programming Languages (Fall 2019)4190.310 Programming Languages (Fall 2018)4190.310 Programming Languages (Fall 2017)4190.310 Programming Languages (Fall 2015)4190.310 Programming Languages (Fall 2014)4190.310 Programming Languages (Fall 2013)4190.310 Programming Languages (Fall 2012)4190.310 Programming Languages (Fall 2011)4190.310 Programming Languages (Spring 2011)4190.310 Programming Languages (Fall 2010)4190.310 Programming Languages (Fall 2009)4190.310 Programming Languages (Fall 2008)4190.310 Programming Languages (Fall 2007)4190.310 Programming Languages (Fall 2006)4190.310 Programming Languages (Fall 2005) 4541.664A Program Analysis----------------4541.664A Program Analysis (Spring 2025)4541.664A Program Analysis (Fall 2023)4541.664A Program Analysis (Spring 2017)4541.664A Program Analysis (Spring 2016)4541.664A Program Analysis (Spring 2015)4541.664A Program Analysis (Spring 2014)4541.664A Program Analysis (Spring 2013)4541.664A Program Analysis (Spring 2011)4541.664A Program Analysis (Spring 2010)4541.664A Program Analysis (Spring 2009)4541.664A Program Analysis (Fall 2008)4541.664A Program Analysis (Spring 2007)4541.664A Program Analysis (Spring 2006) 010.142 Basics in Computing----------------010.142 Basics in Computing (Spring 2006) 400.002 Engineering Mathematics II----------------400.002 Engineering Mathematics II (Fall 2005) 4190.210 Principles of Programming----------------4190.210 Principles of Programming (Fall 2014)4190.210 Principles of Programming (Fall 2013)4190.210 Principles of Programming (Fall 2012)4190.210 Principles of Programming (Fall 2011)4190.210 Principles of Programming (Fall 2010)4190.210 Principles of Programming (Fall 2009)4190.210 Principles of Programming (Fall 2008)4190.210 Principles of Programming (Spring 2007)4190.210 Principles of Programming (Spring 2006) 027.013 Computational Civilization----------------046.016 Computational Civilization (Spring 2018)046.016 Computational Civilization (Spring 2017)046.016 Computational Civilization (Spring 2016)046.016 Computational Civilization (Fall 2015)046.016 Computational Civilization (Spring 2015)046.016 Computational Civilization (Spring 2014)027.013 Computational Civilization (Spring 2013)027.013 Computational Civilization (Fall 2012) L444.200 Computational Thinking and Practice----------------L444.200 Computational Thinking and Practice (Fall 2017)  Powered by phpBB 2.0.21-7 (Debian) © 2001, 2005 phpBB Group Translated by kss & drssay