Setup & Homework 0

[bongjunj]

English version appears below this Korean version

---

안녕하세요, 프로그램 논증 수업의 조교 장봉준입니다.
다음은 수업에 필요한 설정과 과제 안내 사항입니다.

설정

중요: 과제 제출 및 채점을 위한 정보 등록

https://forms.gle/5uNpgAC34XUGoYa78

과제 제출 및 채점을 위해 정보를 등록해주세요.
과제 제출 플랫폼 및 채점 서비스를 이용하기 위해서 위 정보 등록이 필수적 입니다.
제출하지 않을 시, 채점이 불가능하며 이에 따라 자동으로 0점 처리 됩니다.

위 양식으로 수강신청 변경기간이 끝날 때까지 제출하실 수 있습니다.

프로그래밍 환경 설정

https://docs.google.com/presentation/d/1rS39M1dui3khqTc6joWniNrxH3x87nGgOrWHiMAL4DU/edit?usp=sharing

앞으로 사용할 KCloud, OCaml 사용을 위해 위 자료를 참고해주세요.

Discussion 알림 설정

본 수업이 중요 공지 사항은 본 저장소 Discussion에 올라옵니다.
새로운 공지를 Github 알림 및 이메일에서 확인할 수 있도록
다음처럼 Watch 상태를 All Activity로 변경하는 것을 추천드립니다.

Homework 0

Homework 0는 다음 세 가지의 프로그래밍 과제로 구성되어 있습니다.
이 과제들은 필수가 아니며 학생 여러분이 수업 과제 환경에 원활하게 적응할 수 있도록 돕기 위해 제공됩니다.
따라서 제출 기간이 정해져 있지 않으며 성적에도 반영되지 않습니다.
그러나 과제를 하는동안 반복적으로 사용할 OCaml과 Git, 그리고 SMT 도구에 익숙해지기 위해 진행하시는 것을 추천드립니다.

아래 과제는 위 정보 등록이 끝난 뒤에 과제 강의실에 초대를 받으신 뒤 진행하실 수 있습니다.

1. Hello-world: https://classroom50.org/prosyslab-classroom/cs424-2026-fall/assignments/hello-world/accept
2. OCaml Programming: https://classroom50.org/prosyslab-classroom/cs424-2026-fall/assignments/ocaml-programming/accept
3. Automated Theorem Proving: https://classroom50.org/prosyslab-classroom/cs424-2026-fall/assignments/automated-theorem-proving/accept

질문이 있으시면 언제든 질문을 남겨주세요.

감사합니다.

---

Greetings!
I'm Bongjun Jang and will be your teaching assistant during this fall in this Program Reasoning course.
Please read the following instructions carefully.

Setup

IMPORTANT: Enroll for assignment submission and grading

https://forms.gle/5uNpgAC34XUGoYa78

Please submit the form above to enroll for assignment submission and grading.
This information is necessary for us to grade your programming assignments.
Otherwise, we CAN'T grade you and have to give you an automatic zero.

You can submit the form until the course registration period ends.

Programming Environment

https://docs.google.com/presentation/d/1rS39M1dui3khqTc6joWniNrxH3x87nGgOrWHiMAL4DU/edit?usp=sharing

You are going to use the KCloud service and the OCaml programming language.
Please read the manual above.

Discussion Notification Setup

Announcements will appear at this Github repository's discussion board.
To get notified for new announcements via Github notification and email,
we recommend you to modify the watch state as "All Activity" as below:

Homework 0

Homework 0 consists of the following three materials.
These are not mandatory and provided for you to get used to programming environments during this course.
Therefore, there is no due date and is not graded.
We recommend you to do this to get the sense of using OCaml, Git, and SMT solver.

These assignments will be available to you once you're invited to the programming assignment classroom.
You need to submit the enrollment form above to get invited.

1. Hello-world: https://classroom50.org/prosyslab-classroom/cs424-2026-fall/assignments/hello-world/accept
2. OCaml Programming: https://classroom50.org/prosyslab-classroom/cs424-2026-fall/assignments/ocaml-programming/accept
3. Automated Theorem Proving: https://classroom50.org/prosyslab-classroom/cs424-2026-fall/assignments/automated-theorem-proving/accept

If you have any questions, feel free to leave questions.

Thanks.