1주차는 ocaml의 문법과 여러 오퍼레이터 등을 속전속결로 배움. dune부터 기본 문법까지.. 상태는 불변, 함수형 프로그래밍 같은 개념부터.. 물론 side-effect가 존재할 수 있으나, 본수업에서는 다루지 않음. 라이브러리 함수가 종종 나오면, 이거 공부 해야할거 같기도 하고,, 너무 나오네 .. fuck\ variable은 ...

파일 지워지지 않는 정보의 저장 단위, 이름이 주어짐.. 파일에 대해 할 수 있는 연산은 Create, Delete, Open, Close, Read, Write 등.. 입/출력으로 파일을 많이 사용함. 파일로 저장하고, 오픈…. 안전한 장치에 저장하면, 나중에 다시 보기 편해진다. 파일 관리의 대상은 파일과 파일 시스템(파일을 체계적으로 관...

Mutual exclusion, synchronization 컨쿼런시 프로세스 충돌? 왜 발생? 방지 방법 프로세스 충돌(컨쿼런시 충돌) 다수의 프로세스, 다수의 쓰레드, 다수의 이벤트가, 동시다발적(컨쿼런드 하게)으로 발생 컴퓨터 자원을 대상으로 발생, 메모리, 파일, 입출력 장치… 이를 예방, 방지 해주는 기술이 필요함.. 그래서 프로세...

Thread 쓰레드와 프로세스의 차이, 실행 단위: instruction의 그룹 프로세스 내부 실행 단위, 실행 가능한 instruction의 그룹 process도 instruction을 실행.. process 내부 thread가 실행된다는 뜻 컴퓨팅 자원 필요 .. 운영체제에게 할당 thread 만들어달라고 요청.. 의문? 어떻게 만드는가...

프로세스 프로세스 정의 프로세스: 실행 단계인 프로그램 프로세스의 구성요소 프로세스는 3가지의 구성 요소를 가지고 있습니다. executable program: 실행 가능한 프로그램으로 코드 등이 있습니다. data: 실행 프로그램이 처리해야 할 대상 정보입니다. execution context: 컴퓨팅 자원 집합 프로세스와...

운영체제 개요 운영체제란? 운영체제를 간단히 설명하면, 입/출력, 하드디스크가 메인보드에 연결되서 프로그램이 실행될 때, 이런 하드웨어를 지시하고 조정하는 주체입니다. 운영체제를 공부하면 응용 프로그램을 구현할 때 안정성과 속도 개선 측면에서 이점이 있습니다. 컴퓨터 시스템 역할 컴퓨터 시스템의 역할은 6개 있습니다. Booting Ru...

서론 그럭저럭 만족할만한 성과를 거둔 컨테스트였습니다. Problem A if 문 하나로 풀리는 문제입니다. B $n$개의 Query에 대해, state machine 설계를 하면 되는 문제였습니다. C 구간 합과 modulo 연산을 이용해서 $O(n)$시간 안에 Bottom-up 방식으로 재귀적으로 계산하면 됩니다. D 문자열 $s$와 길이 ...

서론 Finate automata를 정의하는 방법과 이를 이용해 아호-코라식을 정의해봅시다. 유한 오토마타 유한 오토마타는 5-tuple $M = (Q, \Sigma, \delta, q_0, F)$로 정의됩니다. 기호 의미 $Q$ 상태(state)의 유한 집합 ...

서론 불맛이 나는 컨테스트였습니다. (이게 Beginner?) Problem A 길이가 갚은 문자열 2개가 주어질 때, 각 문자를 비교했을 때 다른 게 몇 개 있는지 세는 문제입니다. B 사람 1부터 N까지 번호가 주어지고 사람마다 점수가 존재하면, 이 점수를 기반으로 랭크를 매기는 문제입니다. 만약 동률(Tie)일시 낮은 순위로 통일합니다. ...

서론 해시, 트리를 사용한 집합과 맵 자료구조에 매우 취약했다는 것을 배웠던 컨테스트 였습니다. Problem A 문자열의 중앙을 찾는.. 어찌보면 if-문 만 잘 써도 되는 쉬운 문제였네요. B 숫자의 개수를 세서 압축하고, 이를 내림차순 정렬해서 첫 번째 원소가 3 이상이고 두 번째 원소가 2개 이상임을 알아내기만 하면 되는 문제였습니다. C...