Getting started & HW0 (Updated)

[goodtaeeun]

(English version follows below)

안녕하세요, 조교 김태은입니다.
정보보호개론 수업에 오신 걸 환영합니다!

이 수업을 위해 필요한 환경 설정 안내드립니다.

• 프로그래밍 과제를 위해 OCaml 및 여러 도구를 사용합니다. 환경 설정 방법은 설정 가이드를 참고해주세요.
  • 참고로, KCLOUD VM은 곧 준비될 예정입니다. 준비가 완료되면 이 이슈의 댓글로 안내 드리도록 하겠습니다.
• Gradescope에 등록해주시기 바랍니다. 가이드 문서를 참고해주시면 됩니다.

다음은 과제 안내입니다.
총 3개의 과제가 있으며 각 과제의 GitHub classroom 링크는 아래와 같습니다. 링크를 통해 여러분만의 과제 레포지토리를 생성하실 수 있습니다.

• HW 0-1: https://classroom.github.com/a/xZJc4p-T
• HW 0-2: https://classroom.github.com/a/S2zY3QJQ
• HW 0-3: https://classroom.github.com/a/CQwM2aAv

Homework 0-1, 0-2

이 두 과제는 프로그래밍 과제입니다.
저희가 별도로 채점하지 않으므로 따로 제출할 필요는 없습니다.
하지만 Git이나 OCaml에 익숙하지 않은 학생들은 이 과제를 통해 익숙해지기를 추천합니다.

Homework 0-3

이 과제는 글쓰기 과제입니다.
첫번째 강의 자료의 34쪽을 참고하여 비평을 작성하시면 됩니다. 한국인이라면 반드시 한국어로, 그렇지 않다면 영어로 작성해주세요.
이 역시 의무는 아니지만 우수한 글의 경우 그에 합당한 보상(보너스 점수, 달콤한 음료, 더 달콤한 명예 등)을 드릴 예정입니다.
따라서 작성한 글을 PDF 형식으로 추출하여 Gradescope에 제출해주세요.
KLMS 과제란의 HW0-3을 통해 Gradescope에 제출하실 수 있도록 해 두겠습니다.

제출 마감: 3월 7일 (금) 23:59

그럼 남은 방학 잘 보내시고, 개강 때 뵙겠습니다.

---

Hi, everyone.
Greetings from the TA.
Welcome to the course!!

Here’s what you need to set up for this course:

• Students will use OCaml and several tools for programming assignments. Please follow the setup guide to prepare your environment for the assignments.
  • Note that KCLOUD VM will be prepared soon. We will let you know with the comments on this issue
• Join Gradescope. You can refer to the guide

Here are the GitHub classroom links for the assignments to get you started:

• HW 0-1: https://classroom.github.com/a/xZJc4p-T
• HW 0-2: https://classroom.github.com/a/S2zY3QJQ
• HW 0-3: https://classroom.github.com/a/CQwM2aAv
  You can generate your own repository for each assignment using the above links.

Homework 0-1, 0-2

These are programming assignments.
There is no deadline or evaluation since they are not mandatory.
However, we recommend completing them if you are not familiar with git or OCaml.

Homework 0-3

This is a writing assignment.
Write a critique based on slide 34 of Lecture 1. If you're a native Korean speaker, write your essay in Korean; otherwise, write it in English.
This assignment is also non-mandatory. However, outstanding essays will be rewarded with bonus points, sweet drinks, and even sweeter fame — so give it your best shot!

We will open HW 0-3 on KLMS, which will be linked to the corresponding Gradescope assignment.
Please submit your work as a PDF via Gradescope.

Due: March 7th (Fri.) 23:59

Enjoy the rest of your winter break!
Looking forward to seeing you soon.

[AemonJape]

In the Environment Setup guide, the VScode extension Remote - Containers may have been renamed to Dev Containers.

[goodtaeeun]

You are right. We will update the setup guide.

[znunc]

In Homework 0-1 github page, the link provided (https://www.seas.upenn.edu/~cis341/current/programming_style.shtml) seems invalid.

[goodtaeeun]

Oh I see. The webpage seems to have been updated. Here is a valid link https://www.seas.upenn.edu/~cis3410/current/codestyle.html

[arikapt]

Hello, is it possible to have a arm64 version of the docker container image for Ocaml as I use an apple computer ?

[goodtaeeun]

In such a case, I recommend using the virtual machine which we will provide soon.

[ssamt]

Is the kcloud vm available somewhere, or should I wait for a notice?

[bongjunj]

Hi, we almost prepared the VMs. We will provide details very soon. Thank you.

[ssamt]

Thank you. But for some reason I cannot download the kcloud client from https://kcloud.kaist.ac.kr/index.php/board/?pageid=1&mod=list. Clicking download does nothing. Is it just me?

[leehahoon]

아래 링크를 통해 직접 KCLOUD Client 설치 가이드를 다운로드 받으실 수 있습니다. 감사합니다.

• Windows (Guide)
  
• Linux
• Mac

---

You can download the KCLOUD Client installation guide directly through the link below. Thank you.

• Windows (Guide)
  
• Linux
• Mac

[ssamt]

A minor issue - in HW0-2, satTest.ml:

open Sat
open OUnit2

let suite =
  "suite"
  >::: [
         ("test1" >:: fun _ -> assert_equal (solve (And (X, Not X))) UnSAT);
         ( "test2" >:: fun _ ->
           assert_equal
             (solve (And (Or (Z, Not Y), Or (Not X, Not Z))))
             (SAT (false, false, false)) );
       ]

let _ = OUnit2.run_test_tt_main suite

I think the second test case has multiple answers, and the test should be accepting all of them.

[goodtaeeun]

You are right. Multiple answers are possible in this case. Thank you for reporting.

[mcpeblocker]

Where can I find "provided Latex template" to use for writing HW0-3?

[goodtaeeun]

You can find one if you generate the homework repository via the provided link.

[bongjunj]

Follow up announcement

Follow up: #770