게시판 인덱스

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

검색 결과 3 개 일치합니다
게시판 인덱스
글쓴이 메시지
  주제: 람다 예보 질문
정성문

답변: 3
조회: 2855

올리기게시판: 4190.310 Programming Languages (Fall 2017)   올려짐: 2017년12월13일 14:51   주제: 람다 예보 질문
저도 그렇게 생각해서 질문을 올렸습니다. 다만 soundness만 만족시키면 충분하다면 '사실상 쓸모 없는' 람다 예보도 괜찮은지 궁금했습니다.
  주제: 람다 예보 질문
정성문

답변: 3
조회: 2855

올리기게시판: 4190.310 Programming Languages (Fall 2017)   올려짐: 2017년12월13일 14:11   주제: 람다 예보 질문
람다 예보가 무엇을 요구하는지 잘 모르겠습니다.

실제로 프로그램을 실행하지 않고 '정확히(if and only if)' 어느 함수가 실행될 지를 파악해야 하나요 ...
  주제: 5-2 record 관련
정성문

답변: 1
조회: 2345

올리기게시판: 4190.310 Programming Languages (Fall 2017)   올려짐: 2017년11월16일 23:47   주제: 5-2 record 관련
15년도 테스트케이스에서 record와 관련된 부분이 있는 것 같습니다. record에 대한 garbage collection도 고려해야 하나요?
 
페이지 11
시간대: GMT + 9 시간(한국)
건너뛰기:  


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