글쓴이 |
메시지 |
주제: 챌린지 3번 질문 |
김현식
답변: 1
조회: 2560
|
게시판: 4190.310 Programming Languages (Fall 2017) 올려짐: 2017년11월30일 16:45 주제: 챌린지 3번 질문 |
Challenge 3번에서 해야될 것이 Sm5x의 기계작동 스탭과
K--에서 일반적인 재귀함수의 Sm5x로 변환해주는 trans 함수의 정의인가요?
당연히 tail-recursive call에 ... |
주제: 6-2 질문 |
김현식
답변: 3
조회: 2924
|
게시판: 4190.310 Programming Languages (Fall 2017) 올려짐: 2017년11월24일 22:13 주제: 답변 감사합니다 |
스스로 생각하다가 깨달았습니다^^
답변 감사합니다~ |
주제: 6-2 질문 |
김현식
답변: 3
조회: 2924
|
게시판: 4190.310 Programming Languages (Fall 2017) 올려짐: 2017년11월22일 15:16 주제: 추가 질문 |
그리고 교수님께서 수업시간에 앞으로 할일들을 실처럼 쭉 꿰서 전달하는 방식이라고 하셨는데, 앞으로 할일'들'은 cmd list같은 형태를 띄나요?
즉, ... |
주제: 6-2 질문 |
김현식
답변: 3
조회: 2924
|
게시판: 4190.310 Programming Languages (Fall 2017) 올려짐: 2017년11월22일 15:03 주제: 6-2 질문 |
cps 변환에서 전달하는 k는 함수로 이해하는게 맞나요?
즉, (cps' e) (fun x=> ~) 이런식으로 입력을 받는다는 의미인가요?
뼈대코드에서 조교님께서 미 ... |
주제: 5-2 테스트케이스 |
김현식
답변: 3
조회: 3089
|
게시판: 4190.310 Programming Languages (Fall 2017) 올려짐: 2017년11월17일 14:50 주제: 5-2 테스트케이스 |
15년도 게시판에 올라온 테스트 케이스를 모아서 올려봅니다.
main.ml에 있는 코드를 뒤덮어서 복붙하셔도 되고 gc_test.ml을 따로
만드셔서 작업하셔도 ... |
주제: 5-1 질문 |
김현식
답변: 4
조회: 5004
|
게시판: 4190.310 Programming Languages (Fall 2017) 올려짐: 2017년11월16일 20:51 주제: 5-1 letf / call |
letf에서 E에 f 자기 자신의 proc (즉, (f, (x,c',E'))) 을 포함하도록 짰는데
callv에서 call 이 끝나기 전에 c'에 call이 또 있는 경우(즉, 재귀함수)에는 callv 명령 ... |
주제: 5-1 질문 |
김현식
답변: 4
조회: 5004
|
게시판: 4190.310 Programming Languages (Fall 2017) 올려짐: 2017년11월15일 13:20 주제: 5-1 질문 |
for이나 while문과 같은 loop을 짤 때, 이 loop 자체들이 recursive한 성격을 지니고있는데 recursive를 이용하지 않고 코드를 짤 수 있나요?
예를 들어 while문을 i ... |
주제: 5-1 질문 |
김현식
답변: 1
조회: 6417
|
게시판: 4190.310 Programming Languages (Fall 2017) 올려짐: 2017년11월13일 13:58 주제: 5-1 질문 |
sm5에서 id의 location은 (a,o)라고 표시되는데 o가 id가 갖는 value값 아닌가요??
sm5의 semantics에서 plus (즉, add)에 관한 내용을 보면 <a,z1>이라고 표시되어 ... |
주제: 과제 3-3 질문 |
김현식
답변: 1
조회: 1811
|
게시판: 4190.310 Programming Languages (Fall 2017) 올려짐: 2017년10월19일 21:44 주제: 과제 3-3 질문 |
K- 모듈만을 이용해서 저희가 직접 tree형 type를 만들어 사용하는거죠?
이 때 leaf(n)을 하나의 tree로 보고 빈트리가 왼쪽, 오른쪽에 달려있는 것으로
간 ... |
주제: procedure 질문 |
김현식
답변: 2
조회: 3685
|
게시판: 4190.310 Programming Languages (Fall 2017) 올려짐: 2017년10월18일 9:14 주제: 답변 감사합니다! |
아하! 이제 조굼씩 이해가 되네요. 감사합니다~~
CALLV를 고쳤더니 TEST4는 작동하는데
TEST6에서는 Error Unbound가 떠버리네요...
Error Unbound가 뜨는 경우는 ... |
주제: procedure 질문 |
김현식
답변: 2
조회: 3685
|
게시판: 4190.310 Programming Languages (Fall 2017) 올려짐: 2017년10월17일 21:39 주제: procedure 질문 |
뼈대 코드에 같이 들어있는 test4 예시를 보면
let x:=1 in
let proc inc(n) = x := x + n in
let x:=0 in
(inc (1); write x)
이렇게 되어있는데 LETF에서 env 합집합 {inc |-&g ... |
주제: 프로시져, 환경 질문 |
김현식
답변: 4
조회: 4634
|
게시판: 4190.310 Programming Languages (Fall 2017) 올려짐: 2017년10월17일 10:55 주제: 답변 감사합니다^^ |
두 분 답변 정말 도움 많이 되었습니다^^ 감사합니다~ |
주제: 과제3 질문 |
김현식
답변: 3
조회: 4584
|
게시판: 4190.310 Programming Languages (Fall 2017) 올려짐: 2017년10월16일 21:34 주제: 답변 감사합니다^^ |
친절한 답변 감사합니다! 뼈대 코드를 받아놓고 ml 파일을 txt 파일로 내용을 열어볼
생각을 안했었네요 ㅎㅎ 감사합니다~ |
주제: 프로시져, 환경 질문 |
김현식
답변: 4
조회: 4634
|
게시판: 4190.310 Programming Languages (Fall 2017) 올려짐: 2017년10월16일 21:32 주제: 프로시져, 환경 질문 |
1. procedure이 명령문을 이름 붙인 것이라고 이해하고 있었는데
형태가 id list * exp * env 인 것이 잘 이해가 안됩니다.
예시로
...
let proc f(x)= y:= x+y in S
. ... |
주제: 과제3 질문 |
김현식
답변: 3
조회: 4584
|
게시판: 4190.310 Programming Languages (Fall 2017) 올려짐: 2017년10월13일 11:34 주제: 과제3 질문 |
수업시간에 배운 내용도 그렇고 과제에 명시되어 있는 스펙을 보면
env가 변수 이름과 주소의 list로 되어 있는데 여기서 주소는 어떤걸 의미하나요?
... |
|