게시판 인덱스

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

검색 결과 14 개 일치합니다
게시판 인덱스
글쓴이 메시지
  주제: 5-1 문제 질문
윤상필

답변: 5
조회: 2988

올리기게시판: 4190.310 Programming Languages (Fall 2005)   올려짐: 2005년11월3일 22:25   주제: 5-1 문제 질문
뭔가 빡세군요 -_-
결국 int를 location 대용으로 써야 되는 분위기인데.. int의 공간을 나눠서 특정 영역을 location용으로 써도 됩니까? 다시 말해, 특정 영 ...
  주제: 5-1 문제 질문
윤상필

답변: 5
조회: 2988

올리기게시판: 4190.310 Programming Languages (Fall 2005)   올려짐: 2005년11월2일 23:53   주제: 5-1 문제 질문
지금 보니 스펙의 Value에는 Location이 포함이 안되는군요. 이것의 의미는 역시 Location 타입을 Integer로 구현하라는 말인 건가요?
  주제: 5-1 문제 질문
윤상필

답변: 5
조회: 2988

올리기게시판: 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
조회: 1590

올리기게시판: 4190.310 Programming Languages (Fall 2005)   올려짐: 2005년10월24일 21:13   주제: 4-3 문제 질문입니다
현재 컨텍스트에서 정의되지 않은 변수를 참조한다든지 하는 잘못된 프로그램도 convert할 수 있어야 하는지요? 어차피 이런 프로그램은 설탕을 녹이든 ...
  주제: 4-2번 문제에서 질문입니다
윤상필

답변: 1
조회: 2131

올리기게시판: 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
조회: 1729

올리기게시판: 4190.310 Programming Languages (Fall 2005)   올려짐: 2005년10월16일 13:51   주제: 3-1 에서 record들의 equality에 대한 질문
스펙에 조금 이상한 것이 있어서 질문드립니다.
스펙에 의하면 레코드의 경우 r1과 r2의 정의역이 같고 r1의 정의역에 속한 모든 원소 x에 대해 equal(r1(x) ...
  주제: 조교님께: 숙제 스펙에 대한 부탁말씀
윤상필

답변: 1
조회: 1718

올리기게시판: 4190.310 Programming Languages (Fall 2005)   올려짐: 2005년10월5일 19:49   주제: 조교님께: 숙제 스펙에 대한 부탁말씀
항상 김덕환 조교님의 짧은 반응시간과 높은 열의에 감탄하고 있습니다.
저는 숙제 나온지 며칠 안돼 거의 다 하고, 지금 나온 스펙으로 다시 수정하 ...
  주제: semantics가 정의되지 않은 부분이 많습니다.
윤상필

답변: 31
조회: 12598

올리기게시판: 4190.310 Programming Languages (Fall 2005)   올려짐: 2005년10월3일 16:48   주제: semantics가 정의되지 않은 부분이 많습니다.
ASSIGN의 값이 UNIT인지 아니면 대입되고 있는 값인지
덧붙여서 "이미 값이 할당된 변수에 타입이 다른 값이 새로 할당되면 어떻게 할 것인지"
예를 들자 ...
  주제: semantics가 정의되지 않은 부분이 많습니다.
윤상필

답변: 31
조회: 12598

올리기게시판: 4190.310 Programming Languages (Fall 2005)   올려짐: 2005년10월2일 1:16   주제: semantics가 정의되지 않은 부분이 많습니다.
스펙은 기본적으로 토론 결과를 따를 겁니다. 토론이 대부분 올바른 결론에 도달할 거라고 믿으며, 그렇지 못하다고 판단되면 말씀드린 대로 토론에 ...
  주제: semantics가 정의되지 않은 부분이 많습니다.
윤상필

답변: 31
조회: 12598

올리기게시판: 4190.310 Programming Languages (Fall 2005)   올려짐: 2005년10월2일 0:37   주제: semantics가 정의되지 않은 부분이 많습니다.
또 하나 애매한 것이 있습니다.

10. READ의 대상 변수가 unbound일 경우 입력을 받은 다음 raise Error하는지 아니면 받은 후에 하는지
  주제: semantics가 정의되지 않은 부분이 많습니다.
윤상필

답변: 31
조회: 12598

올리기게시판: 4190.310 Programming Languages (Fall 2005)   올려짐: 2005년10월2일 0:36   주제: semantics가 정의되지 않은 부분이 많습니다.
스태틱 타입 체크 상황을 가정할때 3번의 경우 조건이 참이든 아니든 타입이 같아야 하므로 UNIT이 맞을 것 같습니다.
4번의 경우 then절과 else절의 타입 ...
  주제: semantics가 정의되지 않은 부분이 많습니다.
윤상필

답변: 31
조회: 12598

올리기게시판: 4190.310 Programming Languages (Fall 2005)   올려짐: 2005년10월2일 0:24   주제: semantics가 정의되지 않은 부분이 많습니다.
음.. 토론은 토론이고 채점은 하셔야 할텐데(그것도 심지어 기계로) 설마 스펙을 토론 결과로 정하는 건 아니겠죠? ㅡ_ㅡ
  주제: semantics가 정의되지 않은 부분이 많습니다.
윤상필

답변: 31
조회: 12598

올리기게시판: 4190.310 Programming Languages (Fall 2005)   올려짐: 2005년10월1일 22:46   주제: semantics가 정의되지 않은 부분이 많습니다.
강의시간에 점차로 새 개념들을 도입하면서 진행해 왔기 때문에 구현해야 할 정확한 semantics를 알 수 없는부분들이 많습니다. 예를 들자면


ASSIGN의 ...
  주제: 1번문제 질문입니다
윤상필

답변: 1
조회: 1497

올리기게시판: 4190.310 Programming Languages (Fall 2005)   올려짐: 2005년9월29일 0:37   주제: 1번문제 질문입니다
리스트에는 같은 정수가 반복해서 들어있지 않다고 했는데, 이건 입력의 제약조건입니까, 출력의 제약조건입니까, 아니면 둘 다입니까?
 
페이지 11
시간대: GMT + 9 시간(한국)
건너뛰기:  


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