- 중간고사 30%
- 기말고사 40%
- 개별과제 20%
- 출석 10%
소프트웨어 저작권 소유자 holder가 모든 사람들에게 소스코드를 publish, use, copy, modify, distribute할 권리를 부여
오픈소스 사용, 복제, 수정, 배포 권한을 범위로 지정
- 상용화 관점
- Comercial SW
- 개별 이용 허락
- 로열티 지급
- 실행 바이너리만 제공
- 복제, 배포, 수정 불가
- 사용 기한, 목적 제한
- Open Source SW
- 일괄 사전 이용 허락
- 로열티 없음
- 소스코드 제공
- 복제, 배포, 수정 허용
- 기간, 목적 제한 없음
- 철학적 관점
- Free Software
- Richard Stallman (GPU 창시자)
- Copyleft (No SW 특허)
- 라이센스 : GPL
- Open Spirce Software
- Eric S.Raymond (성당과 시장)
- 라이센스 under law
- git add : 작업 디렉터리에서 수정·추가한 파일을 Index(stage)에 올린다.
- git commit : 스테이지에 올라와 있는 파일을 local repository로 커밋한다.
- git commit -a : a는 all 의 줄임으로 수정사항을 자동으로 add 후 commit한다.
- git commit -m “커밋메시지” : m은 message의 줄임 으로 에디터를 열지 않고 메시지를 작성하여 커밋할 수 있다.
- git push : local 레포지터리에 있는 커밋을 remote 레포지터리로 업로드한다.
- git push origin : local 레포지터리에서 remote 레포지터리로 파일을 업로드한다.
- git fetch : 원격 저장소의 최신 정보를 가져오기만 한다. (local branch에는 반영되지 않는다.)
- git merge : 현재 브랜치에 fetch로 가져온 브랜치의 변경사항에 합친다.
- git pull : fetch + merge

- Intro/Summary
- A global community of develoeprs that's growing fast
- The state of open source
- The state of generative AI in 2024
- The state of security and automation in 2024
- The most popular programming language
- Take ths with you
나의 과제 : 4번 2024년 보안 자동화 현황 파일 다운로드
- GHC 환경 설치
- Hello World 출력해서 제출하기
- stack ghci => 터미널에서 ghci 실행시킴
- :load 파일명.hs => 하스켈 소스파일 로드
- :type 식 => 식의 타입 확인
- :{ => 여러 줄의 코드 시작
- :} => 여러 줄의 코드 작성 종료
- :quit => ghci 종료
하스켈 무크 사이트 해당 사이트의 연습문제 풀기
마크다운 tutorial 사이트를 이용하여 마크다운 자습
Markdown 문법을 익히고 Week별 강의 내용을 마크다운으로 정리하기
- 옥토버스
- 깃과 깃 허브
- 마크다운 (과제 내용 위주)
- 하스켈 (첨부 파일 참고)
- 람다계산법(발표 자료 P.1 ~ P.31
- (시험 범위 제외: P.13, P.17~18)