글쓴이 |
메시지 |
주제: 5-1 조금 난해할 수도 있는 테스트셋(updated) |
안형찬
답변: 7
조회: 4801
|
게시판: 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
조회: 5097
|
게시판: 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
조회: 1751
|
게시판: 4190.310 Programming Languages (Fall 2005) 올려짐: 2005년11월4일 12:38 주제: 위의 숙제 정정 및 정리 글에 대한 질문입니다. |
공지사항에 덧글을 다는 것은 어쩐지 부담스러워서 여기에 질문 올립니다.
(2) 3번을 해결하기 위해 여러분들이 SM5 모듈을 뜯어 고칠수 있다는 ... |
주제: 5-3 질문입니다. |
안형찬
답변: 0
조회: 1440
|
게시판: 4190.310 Programming Languages (Fall 2005) 올려짐: 2005년11월4일 11:50 주제: 5-3 질문입니다. |
5-1에서 '포인터'(Location)를 잘 구현하기 위해서(그리고 5-3에서 fragmentation 문제 때문에라도) malloc이나 기타 operation, 값들에 메모리 오버헤드가 있는 방법 ... |
주제: 설탕 녹일 때 하나 더 질문드려요 |
안형찬
답변: 4
조회: 2711
|
게시판: 4190.310 Programming Languages (Fall 2005) 올려짐: 2005년10월28일 2:01 주제: 설탕 녹일 때 하나 더 질문드려요 |
네, 그런 이름이 사용 중이지 않다고 가정하세요.
함수의 이름에 '를 붙여도 이름이 겹치지 않는다고 가정해도 좋다는 것으로 이해하였습니다. 그렇 ... |
주제: K- Semantics 5페이지 Lift 관련 정의에서요 |
안형찬
답변: 10
조회: 4545
|
게시판: 4190.310 Programming Languages (Fall 2005) 올려짐: 2005년10월27일 21:16 주제: K- Semantics 5페이지 Lift 관련 정의에서요 |
결국 또 실수를 하고 말았습니다 하지만 이제 어떤 의미인지 잘 알겠습니다. 감사합니다. |
주제: K- Semantics 5페이지 Lift 관련 정의에서요 |
안형찬
답변: 10
조회: 4545
|
게시판: 4190.310 Programming Languages (Fall 2005) 올려짐: 2005년10월27일 19:57 주제: K- Semantics 5페이지 Lift 관련 정의에서요 |
E1이 임의의 수식을 의미할 수 있으므로 그런 경우를 포함한다는 것을 간과하셨습니다.
아, 그러고 보니 그렇네요.; `()를 '식인 값'을 추론 규칙에서 ... |
주제: K- Semantics 5페이지 Lift 관련 정의에서요 |
안형찬
답변: 10
조회: 4545
|
게시판: 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
조회: 4545
|
게시판: 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
조회: 3640
|
게시판: 4190.310 Programming Languages (Fall 2005) 올려짐: 2005년10월27일 18:05 주제: 3번 제출 방법에 관한 질문입니다. |
(아래쪽에 다른 분도 질문하셨지만 밀려내려가는 중인 것 같아서..;)
dissolveCbr만을 정의한 파일만을 제출하는 것인지, 다른 무엇과 같이 돌아갈 수 있 ... |
주제: K- Semantics 5페이지 Lift 관련 정의에서요 |
안형찬
답변: 10
조회: 4545
|
게시판: 4190.310 Programming Languages (Fall 2005) 올려짐: 2005년10월27일 17:55 주제: K- Semantics 5페이지 Lift 관련 정의에서요 |
저도 그 규칙이 궁금합니다.
저도 E가 '(E1)이라면 모를까 E1으로 평가될 수는 없다고 생각합니다. 그렇다고 ㅏ1을 생각하자면 다른 lift규칙에서 미루 ... |
주제: Call by reference |
안형찬
답변: 3
조회: 2429
|
게시판: 4190.310 Programming Languages (Fall 2005) 올려짐: 2005년10월23일 23:59 주제: Call by reference |
procedure이름이 허용되면 설탕을 녹일 때 문제가 생기기 때문에 변수만을 고려하라고 교수님께서 수업시간에 말씀하셨습니다.
다만, 정의도 바꾸시겠 ... |
|