게시판 인덱스

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

검색 결과 24 개 일치합니다
게시판 인덱스
글쓴이 메시지
  주제: 챌린지 3번 질문
김현식

답변: 1
조회: 932

올리기게시판: 4190.310 Programming Languages (Fall 2017)   올려짐: 2017년11월30일 16:45   주제: 챌린지 3번 질문
Challenge 3번에서 해야될 것이 Sm5x의 기계작동 스탭과
K--에서 일반적인 재귀함수의 Sm5x로 변환해주는 trans 함수의 정의인가요?
당연히 tail-recursive call에 ...
  주제: 6-2 질문
김현식

답변: 3
조회: 1011

올리기게시판: 4190.310 Programming Languages (Fall 2017)   올려짐: 2017년11월24일 22:13   주제: 답변 감사합니다
스스로 생각하다가 깨달았습니다^^

답변 감사합니다~
  주제: 6-2 질문
김현식

답변: 3
조회: 1011

올리기게시판: 4190.310 Programming Languages (Fall 2017)   올려짐: 2017년11월22일 15:16   주제: 추가 질문
그리고 교수님께서 수업시간에 앞으로 할일들을 실처럼 쭉 꿰서 전달하는 방식이라고 하셨는데, 앞으로 할일'들'은 cmd list같은 형태를 띄나요?

즉, ...
  주제: 6-2 질문
김현식

답변: 3
조회: 1011

올리기게시판: 4190.310 Programming Languages (Fall 2017)   올려짐: 2017년11월22일 15:03   주제: 6-2 질문
cps 변환에서 전달하는 k는 함수로 이해하는게 맞나요?
즉, (cps' e) (fun x=> ~) 이런식으로 입력을 받는다는 의미인가요?

뼈대코드에서 조교님께서 미 ...
  주제: 5-2 테스트케이스
김현식

답변: 3
조회: 1237

올리기게시판: 4190.310 Programming Languages (Fall 2017)   올려짐: 2017년11월17일 14:50   주제: 5-2 테스트케이스
15년도 게시판에 올라온 테스트 케이스를 모아서 올려봅니다.
main.ml에 있는 코드를 뒤덮어서 복붙하셔도 되고 gc_test.ml을 따로
만드셔서 작업하셔도 ...
  주제: 5-1 질문
김현식

답변: 4
조회: 1308

올리기게시판: 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
조회: 1308

올리기게시판: 4190.310 Programming Languages (Fall 2017)   올려짐: 2017년11월15일 13:20   주제: 5-1 질문
for이나 while문과 같은 loop을 짤 때, 이 loop 자체들이 recursive한 성격을 지니고있는데 recursive를 이용하지 않고 코드를 짤 수 있나요?
예를 들어 while문을 i ...
  주제: 5-1 질문
김현식

답변: 1
조회: 1003

올리기게시판: 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
조회: 655

올리기게시판: 4190.310 Programming Languages (Fall 2017)   올려짐: 2017년10월19일 21:44   주제: 과제 3-3 질문
K- 모듈만을 이용해서 저희가 직접 tree형 type를 만들어 사용하는거죠?
이 때 leaf(n)을 하나의 tree로 보고 빈트리가 왼쪽, 오른쪽에 달려있는 것으로
간 ...
  주제: procedure 질문
김현식

답변: 2
조회: 460

올리기게시판: 4190.310 Programming Languages (Fall 2017)   올려짐: 2017년10월18일 9:14   주제: 답변 감사합니다!
아하! 이제 조굼씩 이해가 되네요. 감사합니다~~

CALLV를 고쳤더니 TEST4는 작동하는데
TEST6에서는 Error Unbound가 떠버리네요...
Error Unbound가 뜨는 경우는 ...
  주제: procedure 질문
김현식

답변: 2
조회: 460

올리기게시판: 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
조회: 580

올리기게시판: 4190.310 Programming Languages (Fall 2017)   올려짐: 2017년10월17일 10:55   주제: 답변 감사합니다^^
두 분 답변 정말 도움 많이 되었습니다^^ 감사합니다~
  주제: 과제3 질문
김현식

답변: 3
조회: 654

올리기게시판: 4190.310 Programming Languages (Fall 2017)   올려짐: 2017년10월16일 21:34   주제: 답변 감사합니다^^
친절한 답변 감사합니다! 뼈대 코드를 받아놓고 ml 파일을 txt 파일로 내용을 열어볼
생각을 안했었네요 ㅎㅎ 감사합니다~
  주제: 프로시져, 환경 질문
김현식

답변: 4
조회: 580

올리기게시판: 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
조회: 654

올리기게시판: 4190.310 Programming Languages (Fall 2017)   올려짐: 2017년10월13일 11:34   주제: 과제3 질문
수업시간에 배운 내용도 그렇고 과제에 명시되어 있는 스펙을 보면
env가 변수 이름과 주소의 list로 되어 있는데 여기서 주소는 어떤걸 의미하나요?

...
 
페이지 12 페이지로 1, 2  다음
시간대: GMT + 9 시간(한국)
건너뛰기:  


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