FAQ
검색
멤버리스트
사용자 그룹
사용자 등록하기
개인 정보
비공개 메시지를 확인하려면 로그인하십시오
로그인
검색 결과 14 개 일치합니다
게시판 인덱스
글쓴이
메시지
주제:
5-1 문제 질문
윤상필
답변:
5
조회:
3189
게시판:
4190.310 Programming Languages (Fall 2005)
올려짐: 2005년11월3일 22:25 주제:
5-1 문제 질문
뭔가 빡세군요 -_-
결국 int를 location 대용으로 써야 되는 분위기인데.. int의 공간을 나눠서 특정 영역을 location용으로 써도 됩니까? 다시 말해, 특정 영 ...
주제:
5-1 문제 질문
윤상필
답변:
5
조회:
3189
게시판:
4190.310 Programming Languages (Fall 2005)
올려짐: 2005년11월2일 23:53 주제:
5-1 문제 질문
지금 보니 스펙의 Value에는 Location이 포함이 안되는군요. 이것의 의미는 역시 Location 타입을 Integer로 구현하라는 말인 건가요?
주제:
5-1 문제 질문
윤상필
답변:
5
조회:
3189
게시판:
4190.310 Programming Languages (Fall 2005)
올려짐: 2005년11월2일 23:42 주제:
5-1 문제 질문
K--에는 MALLOC과 ASSIGNG가 있고 MALLOC은 가변 길이의 연속된 메모리 셀을 할당할 수 있으며 value 타입 중에 Location이 있어서 Location과 Num의 ADD, SUB가 가능합 ...
주제:
4-3 문제 질문입니다
윤상필
답변:
1
조회:
1716
게시판:
4190.310 Programming Languages (Fall 2005)
올려짐: 2005년10월24일 21:13 주제:
4-3 문제 질문입니다
현재 컨텍스트에서 정의되지 않은 변수를 참조한다든지 하는 잘못된 프로그램도 convert할 수 있어야 하는지요? 어차피 이런 프로그램은 설탕을 녹이든 ...
주제:
4-2번 문제에서 질문입니다
윤상필
답변:
1
조회:
2257
게시판:
4190.310 Programming Languages (Fall 2005)
올려짐: 2005년10월24일 0:02 주제:
4-2번 문제에서 질문입니다
Define "matrix", please. 크기는 고정인지 가변인지, 고정이라면 어떤 크기인지. 특정 구현(record or malloc)을 사용하여야 하는지.
K-에서는 eval 문에서 파라 ...
주제:
3-1 에서 record들의 equality에 대한 질문
윤상필
답변:
1
조회:
1897
게시판:
4190.310 Programming Languages (Fall 2005)
올려짐: 2005년10월16일 13:51 주제:
3-1 에서 record들의 equality에 대한 질문
스펙에 조금 이상한 것이 있어서 질문드립니다.
스펙에 의하면 레코드의 경우 r1과 r2의 정의역이 같고 r1의 정의역에 속한 모든 원소 x에 대해 equal(r1(x) ...
주제:
조교님께: 숙제 스펙에 대한 부탁말씀
윤상필
답변:
1
조회:
1842
게시판:
4190.310 Programming Languages (Fall 2005)
올려짐: 2005년10월5일 19:49 주제:
조교님께: 숙제 스펙에 대한 부탁말씀
항상 김덕환 조교님의 짧은 반응시간과 높은 열의에 감탄하고 있습니다.
저는 숙제 나온지 며칠 안돼 거의 다 하고, 지금 나온 스펙으로 다시 수정하 ...
주제:
semantics가 정의되지 않은 부분이 많습니다.
윤상필
답변:
31
조회:
13486
게시판:
4190.310 Programming Languages (Fall 2005)
올려짐: 2005년10월3일 16:48 주제:
semantics가 정의되지 않은 부분이 많습니다.
ASSIGN의 값이 UNIT인지 아니면 대입되고 있는 값인지
덧붙여서 "이미 값이 할당된 변수에 타입이 다른 값이 새로 할당되면 어떻게 할 것인지"
예를 들자 ...
주제:
semantics가 정의되지 않은 부분이 많습니다.
윤상필
답변:
31
조회:
13486
게시판:
4190.310 Programming Languages (Fall 2005)
올려짐: 2005년10월2일 1:16 주제:
semantics가 정의되지 않은 부분이 많습니다.
스펙은 기본적으로 토론 결과를 따를 겁니다. 토론이 대부분 올바른 결론에 도달할 거라고 믿으며, 그렇지 못하다고 판단되면 말씀드린 대로 토론에 ...
주제:
semantics가 정의되지 않은 부분이 많습니다.
윤상필
답변:
31
조회:
13486
게시판:
4190.310 Programming Languages (Fall 2005)
올려짐: 2005년10월2일 0:37 주제:
semantics가 정의되지 않은 부분이 많습니다.
또 하나 애매한 것이 있습니다.
10. READ의 대상 변수가 unbound일 경우 입력을 받은 다음 raise Error하는지 아니면 받은 후에 하는지
주제:
semantics가 정의되지 않은 부분이 많습니다.
윤상필
답변:
31
조회:
13486
게시판:
4190.310 Programming Languages (Fall 2005)
올려짐: 2005년10월2일 0:36 주제:
semantics가 정의되지 않은 부분이 많습니다.
스태틱 타입 체크 상황을 가정할때 3번의 경우 조건이 참이든 아니든 타입이 같아야 하므로 UNIT이 맞을 것 같습니다.
4번의 경우 then절과 else절의 타입 ...
주제:
semantics가 정의되지 않은 부분이 많습니다.
윤상필
답변:
31
조회:
13486
게시판:
4190.310 Programming Languages (Fall 2005)
올려짐: 2005년10월2일 0:24 주제:
semantics가 정의되지 않은 부분이 많습니다.
음.. 토론은 토론이고 채점은 하셔야 할텐데(그것도 심지어 기계로) 설마 스펙을 토론 결과로 정하는 건 아니겠죠? ㅡ_ㅡ
주제:
semantics가 정의되지 않은 부분이 많습니다.
윤상필
답변:
31
조회:
13486
게시판:
4190.310 Programming Languages (Fall 2005)
올려짐: 2005년10월1일 22:46 주제:
semantics가 정의되지 않은 부분이 많습니다.
강의시간에 점차로 새 개념들을 도입하면서 진행해 왔기 때문에 구현해야 할 정확한 semantics를 알 수 없는부분들이 많습니다. 예를 들자면
ASSIGN의 ...
주제:
1번문제 질문입니다
윤상필
답변:
1
조회:
1642
게시판:
4190.310 Programming Languages (Fall 2005)
올려짐: 2005년9월29일 0:37 주제:
1번문제 질문입니다
리스트에는 같은 정수가 반복해서 들어있지 않다고 했는데, 이건 입력의 제약조건입니까, 출력의 제약조건입니까, 아니면 둘 다입니까?
페이지
1
중
1
시간대: GMT + 9 시간(한국)
건너뛰기:
게시판 선택
010.142 Basics in Computing
----------------
010.142 Basics in Computing (Spring 2006)
400.002 Engineering Mathematics II
----------------
400.002 Engineering Mathematics II (Fall 2005)
4190.210 Principles of Programming
----------------
4190.210 Principles of Programming (Fall 2014)
4190.210 Principles of Programming (Fall 2013)
4190.210 Principles of Programming (Fall 2012)
4190.210 Principles of Programming (Fall 2011)
4190.210 Principles of Programming (Fall 2010)
4190.210 Principles of Programming (Fall 2009)
4190.210 Principles of Programming (Fall 2008)
4190.210 Principles of Programming (Spring 2007)
4190.210 Principles of Programming (Spring 2006)
4190.310 Programming Languages
----------------
4190.310 Programming Languages (Spring 2024)
4190.310 Programming Languages (Spring 2023)
4190.310 Programming Languages (Spring 2022)
4190.310 Programming Languages (Spring 2021)
4190.310 Programming Languages (Fall 2019)
4190.310 Programming Languages (Fall 2018)
4190.310 Programming Languages (Fall 2017)
4190.310 Programming Languages (Fall 2015)
4190.310 Programming Languages (Fall 2014)
4190.310 Programming Languages (Fall 2013)
4190.310 Programming Languages (Fall 2012)
4190.310 Programming Languages (Fall 2011)
4190.310 Programming Languages (Spring 2011)
4190.310 Programming Languages (Fall 2010)
4190.310 Programming Languages (Fall 2009)
4190.310 Programming Languages (Fall 2008)
4190.310 Programming Languages (Fall 2007)
4190.310 Programming Languages (Fall 2006)
4190.310 Programming Languages (Fall 2005)
4541.664A Program Analysis
----------------
4541.664A Program Analysis (Fall 2023)
4541.664A Program Analysis (Spring 2017)
4541.664A Program Analysis (Spring 2016)
4541.664A Program Analysis (Spring 2015)
4541.664A Program Analysis (Spring 2014)
4541.664A Program Analysis (Spring 2013)
4541.664A Program Analysis (Spring 2011)
4541.664A Program Analysis (Spring 2010)
4541.664A Program Analysis (Spring 2009)
4541.664A Program Analysis (Fall 2008)
4541.664A Program Analysis (Spring 2007)
4541.664A Program Analysis (Spring 2006)
027.013 Computational Civilization
----------------
046.016 Computational Civilization (Spring 2018)
046.016 Computational Civilization (Spring 2017)
046.016 Computational Civilization (Spring 2016)
046.016 Computational Civilization (Fall 2015)
046.016 Computational Civilization (Spring 2015)
046.016 Computational Civilization (Spring 2014)
027.013 Computational Civilization (Spring 2013)
027.013 Computational Civilization (Fall 2012)
L444.200 Computational Thinking and Practice
----------------
L444.200 Computational Thinking and Practice (Fall 2017)
Powered by
phpBB
2.0.21-7 (Debian) © 2001, 2005 phpBB Group
Translated by kss & drssay