게시판 인덱스

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

검색 결과 2 개 일치합니다
게시판 인덱스
글쓴이 메시지
  주제: EQ에 loc가 들어가는 경우
하현민

답변: 7
조회: 5513

올리기게시판: 4190.310 Programming Languages (Fall 2014)   올려짐: 2014년12월9일 21:44   주제: EQ에 loc가 들어가는 경우
Γ ㅏ e1 : τ
Γ ㅏ e2 : τ
τ = i, b, s, or l
-------------------
Γ ㅏ e1 = e2 : b

에서

τ = i, b, s, or τ' loc 이 아니라

τ = i, b, s, or l 이니까

다른 타입 ...
  주제: 5-1 질문입니다
하현민

답변: 1
조회: 1729

올리기게시판: 4190.210 Principles of Programming (Fall 2013)   올려짐: 2013년10월26일 11:43   주제: 5-1 질문입니다
'(array B)와 같은 input도 들어올 수 있나요?

size가 0이면 'array나 'tree를 붙이지 않는다고 가정해도 되나요?
 
페이지 11
시간대: GMT + 9 시간(한국)
건너뛰기:  


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