 |
|
FAQ
검색
멤버리스트
사용자 그룹
사용자 등록하기
개인 정보
비공개 메시지를 확인하려면 로그인하십시오
로그인| 검색 결과 6 개 일치합니다 |
| 글쓴이 | 메시지 |
|---|---|
 주제: 확장된 D언어의 파서 뼈대코드 |
|
| 이성찬0 답변: 1 조회: 1104 |
 게시판: 4541.664A Program Analysis (Spring 2025) 올려짐: 2025년6월15일 21:33 주제: 확장된 D언어의 파서 뼈대코드 |
| 조교님 안녕하세요, 수강생 이성찬입니다.
이번 과제에서 D언어의 expression이 확장되었는데 해당 syntax에 대한 파서가 뼈대 코드에 존재하지 않는 것 ... |
|
| 주제: 강의계획서 내 강의 동영상 링크 문의드립니다 |
|
| 이성찬0 답변: 2 조회: 1147 |
게시판: 4541.664A Program Analysis (Spring 2025) 올려짐: 2025년3월11일 10:47 주제: 강의계획서 내 강의 동영상 링크 문의드립니다 |
| 감사합니다! | |
| 주제: 강의계획서 내 강의 동영상 링크 문의드립니다 |
|
| 이성찬0 답변: 2 조회: 1147 |
게시판: 4541.664A Program Analysis (Spring 2025) 올려짐: 2025년3월10일 15:40 주제: 강의계획서 내 강의 동영상 링크 문의드립니다 |
| 조교님 안녕하세요,
강의계획서 내 강의 동영상 링크를 눌러보니 접속이 안되는 것 같습니다. 제가 첫 주에 학회로 인해 수업에 결석하게 되었는 ... |
|
| 주제: [챌린지] 제출 형식에 관한 질문 |
|
| 이성찬0 답변: 1 조회: 2364 |
게시판: 4190.310 Programming Languages (Spring 2023) 올려짐: 2023년6월20일 21:40 주제: [챌린지] 제출 형식에 관한 질문 |
| 안녕하세요 조교님,
챌린지 4, 5번 문제를 Coq으로 증명했습니다. 혹시 이를 이대로 제출하는게 가능한가요? (정말 혹시나 해서 질문 드리는 것이니 ... |
|
| 주제: [과제2] Exercise 2번 질문 |
|
| 이성찬0 답변: 1 조회: 638 |
게시판: 4190.310 Programming Languages (Spring 2023) 올려짐: 2023년3월16일 19:25 주제: [과제2] Exercise 2번 질문 |
| 안녕하세요, 수강생 이성찬입니다.
1. SIGMA가 exp * exp * exp로 정의되어 있습니다. exp는 정의상 실수일 수도 있는데, sigma의 정의에서 위끝/아래끝이 정 ... |
|
| 주제: [과제 1] exercise 4 질문 |
|
| 이성찬0 답변: 3 조회: 1103 |
게시판: 4190.310 Programming Languages (Spring 2023) 올려짐: 2023년3월15일 12:54 주제: [과제 1] exercise 4 질문 |
| 안녕하세요,
조교님의 답변을 읽고 추가 질문이 생겼습니다. 다른 함수를 구현한다면 내부에 구현한다는 의미가 무엇인가요? 채점 대상이 되는 함 ... |
|
시간대: GMT + 9 시간(한국) |
Powered by phpBB 2.0.21-7 (Debian) © 2001, 2005 phpBB Group
Translated by kss & drssay