글쓴이 |
메시지 |
주제: [HW6] 3번 parsing 질문 |
이광근
답변: 3
조회: 616
|
게시판: 4190.310 Programming Languages (Spring 2022) 올려짐: 2022년5월6일 9:49 주제: Re: [HW6] 3번 parsing 질문 |
안녕하세요 조교님.
파싱에 관해 질문이 있습니다.
hw6의 정의를 보면, 람다식 \var.E의 E에 임의의 람다식이 들어갈 수 있는데요,
\x.(y z) 를 파싱하면, ... |
주제: 챌린지 질문입니다. |
이광근
답변: 1
조회: 693
|
게시판: 4190.310 Programming Languages (Spring 2021) 올려짐: 2021년6월21일 11:49 주제: 챌린지 질문입니다. |
* 모든 질문에 답은 챌린지 도큐먼트에 다 있습니다.
* 없는 것 같다면, 스스로 판단해서 해내고 싶은만큼 하시면 됩니다.
여러분이 100점 받기위해 ... |
주제: 챌린지 제출 문의드립니다 |
이광근
답변: 2
조회: 2566
|
게시판: 4190.310 Programming Languages (Spring 2021) 올려짐: 2021년6월21일 11:39 주제: 챌린지 제출 문의드립니다 |
내게 직접 제출해주세요.
302동 428호. 내가 없을땐 문 옆의 IN box에 넣어놓고 가면 됩니다.
-K |
주제: 챌린지 6번 질문입니다. |
이광근
답변: 2
조회: 2116
|
게시판: 4190.310 Programming Languages (Fall 2014) 올려짐: 2014년12월16일 10:49 주제: 챌린지 6번 질문입니다. |
원칙: 새 방법이 실제로 유용하고 믿을만한 확장인지 확인하기.
점수를 따려고 문제를 풀기보다는,
유용한 확장을 고민해보는 재미를 겪어보라고 ... |
주제: 첼린지 7번 관련 질문 드립니다 |
이광근
답변: 2
조회: 2207
|
게시판: 4190.310 Programming Languages (Fall 2013) 올려짐: 2013년12월18일 13:19 주제: Re: 첼린지 7번 관련 질문 드립니다 |
raise는 try~handle~ 에서만 있나요?
만약 그렇지 않다면, try~handle안에 있지 않은 raise는 어떤 작용을 하나요?
그 raise식이 실행되면 미리 장착된 handle 식 ... |
주제: 숙제 전체 결과는 챌린지 제출 후에 나오나요? |
이광근
답변: 2
조회: 2064
|
게시판: 4190.310 Programming Languages (Fall 2013) 올려짐: 2013년12월6일 16:06 주제: Re: 숙제 전체 결과는 챌린지 제출 후에 나오나요? |
ㅠㅜ
아 그리고 에세이 보내야 하는 사람은 교수님 메일로 에세이 보내는 건가요..?
내게 직접 email로 보내기 바랍니다. kwang@ropas.snu.ac.kr
-K |
주제: 숙제 7번 질문입니다. |
이광근
답변: 5
조회: 2857
|
게시판: 4190.210 Principles of Programming (Fall 2011) 올려짐: 2011년11월18일 16:57 주제: 숙제 7번 질문입니다. |
한 가지 더 질문인데요
1번에서 read_type이라고 나와 있는데 read_tape이 맞는 것인가요?
그리고 match_rule 함수에서 ruletable에서 조건에 맞는 rule을 찾지 못 ... |
주제: 숙제 7번 질문입니다. |
이광근
답변: 5
조회: 2857
|
게시판: 4190.210 Principles of Programming (Fall 2011) 올려짐: 2011년11월18일 16:55 주제: Re: 숙제 7번 질문입니다. |
module 내에서 정의한 타입을 그냥 사용하니 unbound constructor라고 뜨네요.
module 내에서 정의한 타입을 쓰려면 일일히 let으로 다 정의해 주어야 하나요?
... |
주제: 과제7 ex1 모듈의 형식에 대한 질문입니다. |
이광근
답변: 2
조회: 2057
|
게시판: 4190.210 Principles of Programming (Fall 2010) 올려짐: 2010년11월16일 23:32 주제: Re: 과제7 ex1 모듈의 형식에 대한 질문입니다. |
김군 신통방통합니다.
귀국행 공항대합실에서 급박히 올려놓고는
비행기탑승후 화일을 다시보고 아차차
집에 도착해 수정하려는 찰나
여길 확인 ... |
주제: new slides 10-1.pdf (proof included) |
이광근
답변: 0
조회: 3396
|
게시판: 4541.664A Program Analysis (Spring 2010) 올려짐: 2010년4월28일 1:26 주제: new slides 10-1.pdf (proof included) |
수업시간에 했던 증명들이 포함된 슬라이드가 새로 올랐습니다.
Enjoy,
-K |
주제: expansive 질문입니다 |
이광근
답변: 3
조회: 2888
|
게시판: 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
조회: 2495
|
게시판: 4190.210 Principles of Programming (Fall 2009) 올려짐: 2009년11월21일 10:36 주제: Re: HW6 질문입니다 |
#1
변환 규칙이 조금 부족한 것 같습니다.
{x->L1}λx.L 의 경우에 대해 명시되어 있지 않네요.
scope가 가려지므로 아무런 변환도 하지 않는 것이 맞 ... |
주제: 숙제 6이 나왔습니다. |
이광근
답변: 3
조회: 3035
|
게시판: 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
조회: 2587
|
게시판: 4190.210 Principles of Programming (Fall 2009) 올려짐: 2009년9월14일 9:57 주제: hw1 다시 받아가세요 |
부지런한 윤용호군
미안하게 됬습니다.
새로운 hw1을 공지했습니다.
다시 받아가기 바랍니다.
문제가 줄고 변경되었습니다.
Enjoy! |
주제: HW8 is out |
이광근
답변: 0
조회: 3171
|
게시판: 4541.664A Program Analysis (Spring 2009) 올려짐: 2009년5월13일 23:17 주제: HW8 is out |
Start early.
Enjoy,
-K |
|