게시판 인덱스

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

검색 결과 8 개 일치합니다
게시판 인덱스
글쓴이 메시지
  주제: 5-1 과제 설명의 write에 대한 질문
하비홍

답변: 1
조회: 1234

올리기게시판: 4190.310 Programming Languages (Fall 2017)   올려짐: 2017년11월14일 19:18   주제: 5-1 과제 설명의 write에 대한 질문
K-- 프로그램 write (write 1+2)+3의 번역은
push 1::push 2::add::put::push 3::add::put::empty 가 아닙니다.

일반적인 경우 write와 put이 1:1로 대응되지 않기 때문입니 ...
  주제: 5-1 질문
하비홍

답변: 2
조회: 3211

올리기게시판: 4190.310 Programming Languages (Fall 2017)   올려짐: 2017년11월13일 19:28   주제: 재귀적으로 정의하면 안 됩니다.
재귀적으로 정의하면 무한히 많은 식이 생성됩니다.

예를 들어 K.WHILE(e_cond, e_body)를
K.WHILE = K.IF(e_cond, K.WHILE(e_cond, e_body), K.UNIT)
와 같이 정의하면 의 ...
  주제: 2-4 질문입니다.
하비홍

답변: 5
조회: 605

올리기게시판: 4190.310 Programming Languages (Fall 2017)   올려짐: 2017년9월25일 15:05   주제: 2-4 질문입니다.
역이 제대로 생겼는지는 해당 역을 감싸는 바깥쪽 AREA에 따라 결정되기 때문입니다.
주어진 예시에서 metro가 제대로 생겼는지는 다음처럼 확인됩니다. ...
  주제: environment 질문
하비홍

답변: 2
조회: 501

올리기게시판: 4190.310 Programming Languages (Fall 2017)   올려짐: 2017년9월23일 6:55   주제: environment 질문
그냥 2-4에 계산이 추가되었다고 생각하면 됩니다.
2-4에서 주어진 역이 제대로 생겼는지를 확인하기 위해서 metro 말고 역 바깥쪽 정보를
알 수 있도록 ...
  주제: 과제 2.6 질문
하비홍

답변: 3
조회: 471

올리기게시판: 4190.310 Programming Languages (Fall 2017)   올려짐: 2017년9월22일 9:19   주제: 과제 2.6 질문
L에는 넣기만 하고 R에서는 빼기만 하면 R이 비는 경우가 생기죠.
그때는 R이 비어 있어서 뺄 수 없으니까 L을 뒤집어서 R로 두고 빼면 된다는 얘기입니 ...
  주제: 과제 2-6 질문
하비홍

답변: 1
조회: 458

올리기게시판: 4190.310 Programming Languages (Fall 2017)   올려짐: 2017년9월15일 19:31   주제: 과제 2-6 질문
https://ropas.snu.ac.kr/phpbb/viewtopic.php?t=4289

구현하는 모듈에서는 ' : Queue'를 빼야합니다.
module IntListQ =
struct
type element = int list
type queue = ...
...
... ...
  주제: 과제 2-1질문
하비홍

답변: 2
조회: 470

올리기게시판: 4190.310 Programming Languages (Fall 2017)   올려짐: 2017년9월15일 18:16   주제: 예전 테스트 케이스들을 확인해보면
ANDALSO: A and B
ORELSE: A or B
IMPLY: A -> B (Implication, A가 참이고 B가 거짓일때만 거짓, 나머지는 참)
LESS(a, b): a < b
입니다.
  주제: HW2 테스트 케이스 모음
하비홍

답변: 2
조회: 1226

올리기게시판: 4190.310 Programming Languages (Fall 2017)   올려짐: 2017년9월15일 11:10   주제: HW2 테스트 케이스 모음
테스트셋은 기존 게시판에 존재하는 테스트셋 + 문제에서 주는 예시들 + @로 구성되어 있습니다.
(9/15 16:33 HW2-5 추가)
(9/18 전체적으로 수정)

2-1 참거 ...
 
페이지 11
시간대: GMT + 9 시간(한국)
건너뛰기:  


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