게시판 인덱스

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

검색 결과 34 개 일치합니다
게시판 인덱스
글쓴이 메시지
  주제: 숙제 5번 질문입니다~
이원찬

답변: 1
조회: 2331

올리기게시판: 4190.310 Programming Languages (Spring 2011)   올려짐: 2011년5월18일 21:55   주제: 숙제 5번 질문입니다~
fn x => x 의 경우는 타입 에러를 내야 합니다.
숙제 5의 단순 타입 M 언어에서 fn x => x는 프로그램이 아니기 때문입니다.
M 언어 정의 문서의 1.1절을 ...
  주제: 숙제3 채점결과
이원찬

답변: 2
조회: 2951

올리기게시판: 4190.310 Programming Languages (Spring 2011)   올려짐: 2011년5월17일 15:03   주제: 숙제3 채점결과
확인해보니 곽치영 학생의 숙제 파일이 없습니다.
숙제를 잘못 제출한 것 같은데 wclee@ropas.snu.ac.kr로 다시 보내주시기 바랍니다.
  주제: 제출 페이지가 열리지 않습니다.
이원찬

답변: 2
조회: 2660

올리기게시판: 4190.310 Programming Languages (Spring 2011)   올려짐: 2011년5월17일 0:57   주제: 제출 페이지가 열리지 않습니다.
저는 잘 들어가집니다만?
다시 한 번 확인해보시겠습니까?
  주제: 숙제3 채점결과
이원찬

답변: 2
조회: 2951

올리기게시판: 4190.310 Programming Languages (Spring 2011)   올려짐: 2011년5월16일 21:09   주제: 숙제3 채점결과
안녕하세요.
이원찬 조교입니다.
숙제3 채점이 완료되었습니다.
결과는 아래와 같습니다:
http://ropas.snu.ac.kr/~ta/4190.310/11s/score/hw3_score.txt
개별 숙제에 ...
  주제: 재귀함수의 인자가 크면 오류뜹니다
이원찬

답변: 1
조회: 2411

올리기게시판: 4190.310 Programming Languages (Spring 2011)   올려짐: 2011년5월2일 3:20   주제: 재귀함수의 인자가 크면 오류뜹니다
일단 결과가 깨져있다는 말이 무슨 뜻인지 모르겠습니다.
예외가 발생한다는 말인가요?
그리고 조교의 모범답안은 인자가 20인 경우에 대해서도 오류 ...
  주제: 4-1 질문입니다
이원찬

답변: 3
조회: 2813

올리기게시판: 4190.310 Programming Languages (Spring 2011)   올려짐: 2011년5월2일 3:12   주제: 4-1 질문입니다
1. normal order reduction의 정의에 따르면 B 안의 레덱스도 찾아 reduce 합니다.
말 그대로 normal form, redex가 없는 form을 만다는 계산 규칙입니다.
함수가 ...
  주제: 항상 그랬지만, 시간이 느린 것은 상관없죠..?
이원찬

답변: 1
조회: 2369

올리기게시판: 4190.310 Programming Languages (Spring 2011)   올려짐: 2011년5월2일 3:06   주제: 항상 그랬지만, 시간이 느린 것은 상관없죠..?
상관없습니다.
속도는 문제의 조건이 아니었기 때문에 반영하지 않겠습니다.
단, 저희가 생각했을 때 충분한 시간을 기다렸음에도 결과가 나오지 않 ...
  주제: 함수 구현 관련해서 질문있습니다.
이원찬

답변: 1
조회: 2527

올리기게시판: 4190.310 Programming Languages (Spring 2011)   올려짐: 2011년4월29일 16:42   주제: 함수 구현 관련해서 질문있습니다.
eager evaluation할 필요 없이 동일한 람다 계산기를 사용하시면 됩니다.
그리고 수업시간에 배운 Y combinator를 써서 변환하시기 바랍니다.
eager evaluation(call ...
  주제: 숙제4 스켈레톤 관련
이원찬

답변: 1
조회: 2359

올리기게시판: 4190.310 Programming Languages (Spring 2011)   올려짐: 2011년4월26일 15:27   주제: 숙제4 스켈레톤 관련
안녕하세요.
이원찬 조교입니다.
기존에 배포한 스켈레톤의 Makefile에 오류가 있어서
lambda 모듈이나 pp 모듈의 출력 함수를 사용하면
make로 컴파일이 ...
  주제: 숙제 3-2 모범 답안입니다
이원찬

답변: 0
조회: 2172

올리기게시판: 4190.310 Programming Languages (Spring 2011)   올려짐: 2011년4월20일 16:55   주제: 숙제 3-2 모범 답안입니다
숙제 3-2 모범 답안도 올려드립니다.

http://ropas.snu.ac.kr/~ta/4190.310/11s/sol/hw3/binary.k-
  주제: 내일 숙제3 풀이가 있겠습니다.
이원찬

답변: 2
조회: 3033

올리기게시판: 4190.310 Programming Languages (Spring 2011)   올려짐: 2011년4월18일 14:13   주제: 내일 숙제3 풀이가 있겠습니다.
전산원에서 파일을 또 막나보군요...
아래의 URL로 시도해보시기 바랍니다:

http://ropas.snu.ac.kr/~ta/4190.310/11s/sol/hw3/hw3_ta.tar.gz_

파일을 받고나신 후에 ...
  주제: 내일 숙제3 풀이가 있겠습니다.
이원찬

답변: 2
조회: 3033

올리기게시판: 4190.310 Programming Languages (Spring 2011)   올려짐: 2011년4월18일 11:35   주제: 내일 숙제3 풀이가 있겠습니다.
안녕하세요. 이원찬 조교입니다.
예상보다 숙제를 내지 않으신 분이 많은 관계로
내일은 숙제3을 풀이하는 시간을 갖도록 하겠습니다.
지금 상태로 ...
  주제: 숙제#2 제출 페이지가 #1랑 똑같나요?
이원찬

답변: 1
조회: 1156

올리기게시판: 4190.310 Programming Languages (Spring 2011)   올려짐: 2011년3월23일 3:59   주제: 숙제#2 제출 페이지가 #1랑 똑같나요?
제출 페이지 열렸습니다.
확인해보시기 바랍니다.
  주제: HW#2의 3번 문제 질문입니다
이원찬

답변: 1
조회: 1264

올리기게시판: 4190.310 Programming Languages (Spring 2011)   올려짐: 2011년3월23일 1:21   주제: HW#2의 3번 문제 질문입니다
임의의 tree가 들어올 수 있다고 가정하시기 바랍니다.
그리고 제생각에는 balanced tree를 가정한다고 코드가 특별히 더 간단해지지는 않을 것 같습니다.
  주제: HW2 Excercise 4 질문이 있습니다.
이원찬

답변: 2
조회: 1521

올리기게시판: 4190.310 Programming Languages (Spring 2011)   올려짐: 2011년3월23일 1:19   주제: HW2 Excercise 4 질문이 있습니다.
질문하신
SUM[TIMES[VAR a;VAR x;POWER(x,2)];TIMES[VAR b;VAR x;POWER(x,1)];VAR c]


a * x * x^2 + b *x * x^1 + c를 의미합니다.
a * x ^ 2 + b * ...
 
페이지 13 페이지로 1, 2, 3  다음
시간대: GMT + 9 시간(한국)
건너뛰기:  


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