게시판 인덱스

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

검색 결과 167 개 일치합니다
게시판 인덱스
글쓴이 메시지
  주제: 챌린지 반영 최종 성적
정영범

답변: 1
조회: 5872

올리기게시판: 4190.310 Programming Languages (Spring 2011)   올려짐: 2011년6월21일 16:21   주제: 챌린지 반영 최종 성적
모두들 한 학기 동안 수고 많으셨습니다.
성적은 여기에 있습니다.
http://ropas.snu.ac.kr/~dreameye/PL/score.pdf

챌린지에 +0으로 기록된 분들은 제출했으나 ...
  주제: 챌린지 제출은 어떻게 하나요
정영범

답변: 1
조회: 2340

올리기게시판: 4190.310 Programming Languages (Spring 2011)   올려짐: 2011년6월17일 15:22   주제: 챌린지 제출은 어떻게 하나요
저한테 메일로 보내시거나 302동 312-2호에 있는 오학주 강사나 김진영 조교에게 직접 제출하시면 됩니다.

dreameye@ropas.snu.ac.kr
  주제: 클론 체커 결과
정영범

답변: 0
조회: 2776

올리기게시판: 4190.310 Programming Languages (Spring 2011)   올려짐: 2011년6월15일 16:24   주제: 클론 체커 결과
전체 숙제를 검사했는데 딱 한가지 의심스러운 경우가 발견되었습니다.

한 학생이 숙제 4-2와 5-1을 2009년 가을 학기에 제출된 05학번 학생의 숙제를 in ...
  주제: 예상 최종 성적
정영범

답변: 1
조회: 2400

올리기게시판: 4190.310 Programming Languages (Spring 2011)   올려짐: 2011년6월13일 13:59   주제: 예상 최종 성적
마지막 시간에 이야기한대로 예상 성적을 공개합니다.
최종 성적은 이와 다를 수 있습니다. 참고 사항일 뿐입니다.
http://ropas.snu.ac.kr/~dreameye/PL/score.p ...
  주제: 채점은
정영범

답변: 1
조회: 2333

올리기게시판: 4190.310 Programming Languages (Spring 2011)   올려짐: 2011년5월4일 14:52   주제: 채점은
조교가 이번주에 무지 바빠서 정신이 없답니다.
늦어도 다음주 중으로는 올리도록 하겠습니다.
  주제: 숙제 5번이 나왔습니다.
정영범

답변: 4
조회: 3485

올리기게시판: 4190.310 Programming Languages (Spring 2011)   올려짐: 2011년5월3일 13:34   주제: 숙제 5번이 나왔습니다.
오늘 수업 시간에 숙제 5번과 챌린지를 설명하겠습니다.
출력해서 한번 읽어보고 오세요.
  주제: 내일 4/28 (목) 휴강합니다.
정영범

답변: 0
조회: 2031

올리기게시판: 4190.310 Programming Languages (Spring 2011)   올려짐: 2011년4월27일 10:34   주제: 내일 4/28 (목) 휴강합니다.
저번 수업 시간에 공지한대로 내일은 휴강합니다.
다음주 화요일에 봐요.
  주제: 재귀함수가 작동 안합니다.
정영범

답변: 2
조회: 2681

올리기게시판: 4190.310 Programming Languages (Spring 2011)   올려짐: 2011년4월27일 0:56   주제: 재귀함수가 작동 안합니다.
예, 넣어줘야하는데 조교가 빼먹었군요.
고쳐서 올리도록 하겠습니다.

-----------------------
제가 착각했네요.
다시보니 APP에서 F일때랑 R일때를 구분 ...
  주제: 컴파일 관련 질문인데요
정영범

답변: 6
조회: 3653

올리기게시판: 4190.310 Programming Languages (Spring 2011)   올려짐: 2011년4월26일 22:52   주제: 컴파일 관련 질문인데요
Open해서 쓰지 말고 module 이름을 명시적으로 써주면 됩니다.
Lambda.App와 같이요.
  주제: 숙제 4-1 예제를 올려주세요.
정영범

답변: 3
조회: 3309

올리기게시판: 4190.310 Programming Languages (Spring 2011)   올려짐: 2011년4월26일 16:17   주제: 숙제 4-1 예제를 올려주세요.
(\y. \zero. \one. \three. \iszero. \mult. \pred. (y (\f.(\n. (iszero n) one (mult n (f (pred n)))))) three)
(\f. (\x. f (x x)) (\x. f (x x)))
(\s.\z.z) (\s.\z.s z) (\s. \z. s (s (s z)))
(\m. m (\ ...
  주제: 숙제 4-1 예제를 올려주세요.
정영범

답변: 3
조회: 3309

올리기게시판: 4190.310 Programming Languages (Spring 2011)   올려짐: 2011년4월25일 18:05   주제: 숙제 4-1 예제를 올려주세요.
제가 만든 예제들을 공유합니다.
여러분도 답글로 예제를 달아주세요.

==============
input program
==============
(\x.(x) (\y.x)) (\a.(a) (k))

==============
output ...
  주제: Lambda Calculus 질문입니다
정영범

답변: 1
조회: 2516

올리기게시판: 4190.310 Programming Languages (Spring 2011)   올려짐: 2011년4월24일 23:15   주제: Lambda Calculus 질문입니다

λz.(λz.(z y))
λw.(λz.(z y))

두 람다식 모두 의미가 같습니다.
이유는 첫번째 람다식에서 처음에 나오는 z와 두번째 세번째 ...
  주제: 숙제4가 나왔습니다.
정영범

답변: 1
조회: 2468

올리기게시판: 4190.310 Programming Languages (Spring 2011)   올려짐: 2011년4월22일 13:34   주제: 숙제4가 나왔습니다.
M0의 프로그램에서의 - 연산을 어떻게 encoding할지는 아래 위키페이지에 잘 나와있습니다. 좀 복잡하지만요.
http://en.wikipedia.org/wiki/Church_encoding
  주제: 숙제 2번 모범 답안
정영범

답변: 1
조회: 2471

올리기게시판: 4190.310 Programming Languages (Spring 2011)   올려짐: 2011년4월20일 8:53   주제: 숙제 2번 모범 답안
어제 수업시간에 숙제 2번 모범답안을 원하시는 분이 있어서 공지 드립니다.
답글로 이메일 주소를 알려주시면 개별적으로 메일을 드리겠습니다.
  주제: 조교님, 5번 강의록 PDF 파일 다시 올려주시기 바랍니다.
정영범

답변: 2
조회: 2543

올리기게시판: 4190.310 Programming Languages (Spring 2011)   올려짐: 2011년3월29일 17:36   주제: 조교님, 5번 강의록 PDF 파일 다시 올려주시기 바랍니다.
올리기 전에 확인하고 올렸는데요.
다른 학생들도 잘 안 보이나요?
제 컴퓨터에서는 웹페이지에서도 잘 보이고, 다운 받아도 잘 보입니다.
 
페이지 112 페이지로 1, 2, 3 ... 10, 11, 12  다음
시간대: GMT + 9 시간(한국)
건너뛰기:  


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