게시판 인덱스

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

검색 결과 67 개 일치합니다
게시판 인덱스
글쓴이 메시지
  주제: [HW6] 3번 parsing 질문
이광근

답변: 3
조회: 334

올리기게시판: 4190.310 Programming Languages (Spring 2022)   올려짐: 2022년5월6일 9:49   주제: Re: [HW6] 3번 parsing 질문
안녕하세요 조교님.
파싱에 관해 질문이 있습니다.

hw6의 정의를 보면, 람다식 \var.E의 E에 임의의 람다식이 들어갈 수 있는데요,
\x.(y z) 를 파싱하면, ...
  주제: 챌린지 질문입니다.
이광근

답변: 1
조회: 431

올리기게시판: 4190.310 Programming Languages (Spring 2021)   올려짐: 2021년6월21일 11:49   주제: 챌린지 질문입니다.
* 모든 질문에 답은 챌린지 도큐먼트에 다 있습니다.
* 없는 것 같다면, 스스로 판단해서 해내고 싶은만큼 하시면 됩니다.

여러분이 100점 받기위해 ...
  주제: 챌린지 제출 문의드립니다
이광근

답변: 2
조회: 549

올리기게시판: 4190.310 Programming Languages (Spring 2021)   올려짐: 2021년6월21일 11:39   주제: 챌린지 제출 문의드립니다
내게 직접 제출해주세요.
302동 428호. 내가 없을땐 문 옆의 IN box에 넣어놓고 가면 됩니다.

-K
  주제: 챌린지 6번 질문입니다.
이광근

답변: 2
조회: 1783

올리기게시판: 4190.310 Programming Languages (Fall 2014)   올려짐: 2014년12월16일 10:49   주제: 챌린지 6번 질문입니다.
원칙: 새 방법이 실제로 유용하고 믿을만한 확장인지 확인하기.

점수를 따려고 문제를 풀기보다는,
유용한 확장을 고민해보는 재미를 겪어보라고 ...
  주제: 첼린지 7번 관련 질문 드립니다
이광근

답변: 2
조회: 1858

올리기게시판: 4190.310 Programming Languages (Fall 2013)   올려짐: 2013년12월18일 13:19   주제: Re: 첼린지 7번 관련 질문 드립니다
raise는 try~handle~ 에서만 있나요?
만약 그렇지 않다면, try~handle안에 있지 않은 raise는 어떤 작용을 하나요?

그 raise식이 실행되면 미리 장착된 handle 식 ...
  주제: 숙제 전체 결과는 챌린지 제출 후에 나오나요?
이광근

답변: 2
조회: 1750

올리기게시판: 4190.310 Programming Languages (Fall 2013)   올려짐: 2013년12월6일 16:06   주제: Re: 숙제 전체 결과는 챌린지 제출 후에 나오나요?
ㅠㅜ

아 그리고 에세이 보내야 하는 사람은 교수님 메일로 에세이 보내는 건가요..?

내게 직접 email로 보내기 바랍니다. kwang@ropas.snu.ac.kr

-K
  주제: 숙제 7번 질문입니다.
이광근

답변: 5
조회: 2631

올리기게시판: 4190.210 Principles of Programming (Fall 2011)   올려짐: 2011년11월18일 16:57   주제: 숙제 7번 질문입니다.
한 가지 더 질문인데요
1번에서 read_type이라고 나와 있는데 read_tape이 맞는 것인가요?
그리고 match_rule 함수에서 ruletable에서 조건에 맞는 rule을 찾지 못 ...
  주제: 숙제 7번 질문입니다.
이광근

답변: 5
조회: 2631

올리기게시판: 4190.210 Principles of Programming (Fall 2011)   올려짐: 2011년11월18일 16:55   주제: Re: 숙제 7번 질문입니다.
module 내에서 정의한 타입을 그냥 사용하니 unbound constructor라고 뜨네요.

module 내에서 정의한 타입을 쓰려면 일일히 let으로 다 정의해 주어야 하나요?
...
  주제: 과제7 ex1 모듈의 형식에 대한 질문입니다.
이광근

답변: 2
조회: 1896

올리기게시판: 4190.210 Principles of Programming (Fall 2010)   올려짐: 2010년11월16일 23:32   주제: Re: 과제7 ex1 모듈의 형식에 대한 질문입니다.
김군 신통방통합니다.
귀국행 공항대합실에서 급박히 올려놓고는
비행기탑승후 화일을 다시보고 아차차
집에 도착해 수정하려는 찰나
여길 확인 ...
  주제: new slides 10-1.pdf (proof included)
이광근

답변: 0
조회: 3177

올리기게시판: 4541.664A Program Analysis (Spring 2010)   올려짐: 2010년4월28일 1:26   주제: new slides 10-1.pdf (proof included)
수업시간에 했던 증명들이 포함된 슬라이드가 새로 올랐습니다.

Enjoy,

-K
  주제: expansive 질문입니다
이광근

답변: 3
조회: 2613

올리기게시판: 4190.310 Programming Languages (Fall 2009)   올려짐: 2009년11월25일 9:58   주제: Re: expansive 질문입니다
교재 189쪽에 보면 expansive(E1 E2) = true라고 돼 있는데

이해가 안됩니다

expansive(E1) or expansive(E2)가 아닐런지,,,

예를들어
f 10
이라는 식을 생각해 ...
  주제: HW6 질문입니다
이광근

답변: 2
조회: 2280

올리기게시판: 4190.210 Principles of Programming (Fall 2009)   올려짐: 2009년11월21일 10:36   주제: Re: HW6 질문입니다
#1
변환 규칙이 조금 부족한 것 같습니다.

{x->L1}λx.L 의 경우에 대해 명시되어 있지 않네요.

scope가 가려지므로 아무런 변환도 하지 않는 것이 맞 ...
  주제: 숙제 6이 나왔습니다.
이광근

답변: 3
조회: 2802

올리기게시판: 4190.210 Principles of Programming (Fall 2009)   올려짐: 2009년11월17일 22:33   주제: Re: 숙제 6이 나왔습니다.
기한은 11월 27일 까지입니다.

http://ropas.snu.ac.kr/~kwang/4190.210/09/hw6.pdf


11월 25일 까지입니다.

숙제 다시 내려받으세요.

Enjoy,

-K
  주제: 숙제에 Exercise?? 은 무엇인지요?
이광근

답변: 2
조회: 2387

올리기게시판: 4190.210 Principles of Programming (Fall 2009)   올려짐: 2009년9월14일 9:57   주제: hw1 다시 받아가세요
부지런한 윤용호군
미안하게 됬습니다.
새로운 hw1을 공지했습니다.
다시 받아가기 바랍니다.
문제가 줄고 변경되었습니다.

Enjoy!
  주제: HW8 is out
이광근

답변: 0
조회: 2959

올리기게시판: 4541.664A Program Analysis (Spring 2009)   올려짐: 2009년5월13일 23:17   주제: HW8 is out
Start early.
Enjoy,

-K
 
페이지 15 페이지로 1, 2, 3, 4, 5  다음
시간대: GMT + 9 시간(한국)
건너뛰기:  


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