게시판 인덱스

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

검색 결과 12 개 일치합니다
게시판 인덱스
글쓴이 메시지
  주제: 5-1 조금 난해할 수도 있는 테스트셋(updated)
안형찬

답변: 7
조회: 4383

올리기게시판: 4190.310 Programming Languages (Fall 2005)   올려짐: 2005년11월13일 15:29   주제: 5-1 조금 난해할 수도 있는 테스트셋(updated)
주어진 sematics에는 아주 확실히 쓰여있지는 않다고 생각합니다.

숙제 3을 할 당시에 이것을 두고 고민하다가, 의미정의에서

<b,0>, ..., <b, n-1&g ...
  주제: 5-2질문입니다.
안형찬

답변: 9
조회: 4658

올리기게시판: 4190.310 Programming Languages (Fall 2005)   올려짐: 2005년11월8일 3:58   주제: 5-2질문입니다.
문제에는

procedure f(x) = if x<0 then 1 else f(x-1)

에서, 재귀호출 f(x-1)이 끝난 후에 할일은 아무것도 없다고 하였습니다만, 우리의 K-- semantics는 if의 '값 ...
  주제: 위의 숙제 정정 및 정리 글에 대한 질문입니다.
안형찬

답변: 1
조회: 1628

올리기게시판: 4190.310 Programming Languages (Fall 2005)   올려짐: 2005년11월4일 12:38   주제: 위의 숙제 정정 및 정리 글에 대한 질문입니다.
공지사항에 덧글을 다는 것은 어쩐지 부담스러워서 Embarassed 여기에 질문 올립니다.

(2) 3번을 해결하기 위해 여러분들이 SM5 모듈을 뜯어 고칠수 있다는 ...
  주제: 5-3 질문입니다.
안형찬

답변: 0
조회: 1355

올리기게시판: 4190.310 Programming Languages (Fall 2005)   올려짐: 2005년11월4일 11:50   주제: 5-3 질문입니다.
5-1에서 '포인터'(Location)를 잘 구현하기 위해서(그리고 5-3에서 fragmentation 문제 때문에라도) malloc이나 기타 operation, 값들에 메모리 오버헤드가 있는 방법 ...
  주제: 설탕 녹일 때 하나 더 질문드려요
안형찬

답변: 4
조회: 2567

올리기게시판: 4190.310 Programming Languages (Fall 2005)   올려짐: 2005년10월28일 2:01   주제: 설탕 녹일 때 하나 더 질문드려요
네, 그런 이름이 사용 중이지 않다고 가정하세요.

함수의 이름에 '를 붙여도 이름이 겹치지 않는다고 가정해도 좋다는 것으로 이해하였습니다. 그렇 ...
  주제: K- Semantics 5페이지 Lift 관련 정의에서요
안형찬

답변: 10
조회: 4177

올리기게시판: 4190.310 Programming Languages (Fall 2005)   올려짐: 2005년10월27일 21:16   주제: K- Semantics 5페이지 Lift 관련 정의에서요
결국 또 실수를 하고 말았습니다 Embarassed 하지만 이제 어떤 의미인지 잘 알겠습니다. 감사합니다.
  주제: K- Semantics 5페이지 Lift 관련 정의에서요
안형찬

답변: 10
조회: 4177

올리기게시판: 4190.310 Programming Languages (Fall 2005)   올려짐: 2005년10월27일 19:57   주제: K- Semantics 5페이지 Lift 관련 정의에서요
E1이 임의의 수식을 의미할 수 있으므로 그런 경우를 포함한다는 것을 간과하셨습니다.

아, 그러고 보니 그렇네요.; `()를 '식인 값'을 추론 규칙에서 ...
  주제: K- Semantics 5페이지 Lift 관련 정의에서요
안형찬

답변: 10
조회: 4177

올리기게시판: 4190.310 Programming Languages (Fall 2005)   올려짐: 2005년10월27일 19:37   주제: K- Semantics 5페이지 Lift 관련 정의에서요
제 글에 잘못이 있었습니다. 죄송합니다.
그러나, 그렇다면 `(3+,(x+1))과 lift(`(3+,(x+1)))가 x의 값이 4일 때 공히 `(3+5)가 되어
쓸데없이 질문의 본질과 관 ...
  주제: K- Semantics 5페이지 Lift 관련 정의에서요
안형찬

답변: 10
조회: 4177

올리기게시판: 4190.310 Programming Languages (Fall 2005)   올려짐: 2005년10월27일 18:32   주제: K- Semantics 5페이지 Lift 관련 정의에서요
질문이 모호한 것 같아 덧붙입니다.

제가 적은 추론 규칙

σ,MㅏE↓'(E1),M1
──────────
σ,Mㅏlift(E)↓'(E1),M1

에 관해서는, 아래쪽의 ...
  주제: 3번 제출 방법에 관한 질문입니다.
안형찬

답변: 7
조회: 3381

올리기게시판: 4190.310 Programming Languages (Fall 2005)   올려짐: 2005년10월27일 18:05   주제: 3번 제출 방법에 관한 질문입니다.
(아래쪽에 다른 분도 질문하셨지만 밀려내려가는 중인 것 같아서..;)

dissolveCbr만을 정의한 파일만을 제출하는 것인지, 다른 무엇과 같이 돌아갈 수 있 ...
  주제: K- Semantics 5페이지 Lift 관련 정의에서요
안형찬

답변: 10
조회: 4177

올리기게시판: 4190.310 Programming Languages (Fall 2005)   올려짐: 2005년10월27일 17:55   주제: K- Semantics 5페이지 Lift 관련 정의에서요
저도 그 규칙이 궁금합니다.

저도 E가 '(E1)이라면 모를까 E1으로 평가될 수는 없다고 생각합니다. 그렇다고 ㅏ1을 생각하자면 다른 lift규칙에서 미루 ...
  주제: Call by reference
안형찬

답변: 3
조회: 2255

올리기게시판: 4190.310 Programming Languages (Fall 2005)   올려짐: 2005년10월23일 23:59   주제: Call by reference
procedure이름이 허용되면 설탕을 녹일 때 문제가 생기기 때문에 변수만을 고려하라고 교수님께서 수업시간에 말씀하셨습니다.
다만, 정의도 바꾸시겠 ...
 
페이지 11
시간대: GMT + 9 시간(한국)
건너뛰기:  


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