본문 바로가기

전체 글

(20)
[Monthly Quiz] - 2022.12. 이번 달에는 월드컵이 열리는 만큼 월드컵 관련 퀴즈로 준비해 보았다. 월드컵 중에 올리면 기록이 계속 바뀔 수 있어 지금에야 올리게 된다. 1. 월드컵 역사상 최다 득점자는? 더보기 Miroslav Klose (16골, 독일) Reference: https://en.wikipedia.org/wiki/FIFA_World_Cup_top_goalscorers 여담: 클로제는 총 4번의 월드컵에 출전해서 16득점을 했다. 정말 대단한 기록인데, 음바페는 2번 출전하는 동안 총 12 득점을 했다... 운이 좋다면 다음 월드컵에서 이 기록이 깨질지 모른다. 2. 월드컵 우승 경험이 없는 국가 중 준우승 횟수가 가장 많은 국가는? 더보기 Netherlands (네덜란드, 3회: 1974, 1978, 2010) Ref..
2022 ICPC Seoul Regional 본선 후기 Links Problem Scoreboard 대회 후기 예선 때와 마찬가지로 정말 준비를 못하고 대회를 쳤다. 고작 대회 직전에 팀 연습 2번이 다였다. 작년보다 더 잘하고 싶은 마음은 있었지만 사실 힘들다는 것은 어느 정도 알고 있었다. 그래도 정말 운이 좋게 작년과 같은 상인 동상을 수상할 수 있었고, 충분히 만족한다. 스코어보드는 아래와 같고 간단히 문제를 복기해보려 한다. ------------------------------------------------------------- I: 쉬운 문제였고, 우리 팀이 제일 먼저 푼 문제이다. (12 min.) J: Tree의 Euler Tour가 주어져 있을 때, leaf node들의 깊이의 합을 출력하는 문제인데, 역시 쉬운 문제였지만 long lo..
[Monthly Quiz] - 2022.11. 1. MCU(Marvel Cinematic Universe)가 처음으로 영화를 만든 년도와 그 작품들은? 더보기 2008년, Iron Man, The Incredible Hulk Reference: https://en.wikipedia.org/wiki/List_of_Marvel_Cinematic_Universe_films 2. 북회귀선과 남회귀선 사이에 가장 큰 영역을 차지하고 있는 국가는? 더보기 Brazil (브라질) Reference: https://www.jetpunk.com/quizzes/countries-by-a-single-clue-1 3. 미국의 50개 주(States) 중, 다른 나라 이름과 일치하는 곳이 있는데 그 이름은? 더보기 Georgia (조지아) 4. 전 세계에서 코끼리가 가장..
2022 ICPC Seoul Regional 예선 후기 Links Problem Scoreboard 대회 후기 작년 ICPC 이후, 우리 팀은 내년에는 좀 더 잘해보자 라는 마인드로 1년을 다시 준비했다. 그런데 대회 시즌이 됐을 때, 다들 각자 바빠서 대회 준비를 잘하지 못했다. 비록 UCPC에서 수상을 하긴 했지만 서울대 쿼터를 뚫기는 정말 쉽지 않기 때문에 전날까지도 긴장을 했다. 대회 중에도 계속 걱정을 했는데 정말 다행히도 운 좋게 턱걸이로 교내 6등을 하며 본선에 진출했다. 대회가 끝나고도 계속 바빠서 후기 작성을 못했는데, 본선 전에는 복기를 하고 싶어 간단히라도 남긴다. 아래는 스코어보드이다. 우선, 올해 대회 문제 셋은 너무 평이했다. 9솔이면 9솔, 8솔이면 8솔, 모든 팀들이 푼 문제가 다 똑같다. 그 말은 문제들의 난이도 배열이 너무나 ..
SNUPC 2022 (Div. 1) 후기 Links Problem Scoreboard Solutions 대회 후기 SNUPC는 서울대학교 교내 PS 대회로, 상당한 실력자들이 많이 등장하는 대회이다. 그렇기에 2020년부터 참여했지만 한 번도 수상권에 들지 못했다. 작년엔 호기롭게 Div. 1에 도전했다가 보기 좋게 망했다. 그래서 올해 대회를 신청할 때는 Div. 2로 나가볼까 생각도 했었는데, 그래도 "가오가 있지" 하면서 다시 도전했다. 결론은 아래 스코어보드대로 15등을 했고, 15등까지 수상권이어서 운 좋게 턱걸이로 5등상을 받을 수 있었다. 대회에 참여한 지 시간이 꽤나 흘렀지만 더 늦어지면 대회 때의 기억이 사라질 것 같아 간략히 후기를 적어보려 한다. (각 문제의 정확한 풀이가 궁금하다면 맨 위 링크를 참조바란다.) 대회 당일, ..
[Monthly Quiz] - 2022.10. 내가 한 달 동안 알게 된 상식들 중에 재미있고 신기한 것들을 이곳에 정리해서 공유해보려고 한다. 그 시작이 2022년 9월이다. 혹시 심심하거나 관심이 있다면 재미 삼아 풀어보길 바란다! 1. GMT+11 Timezone에 위치한 도시 중 가장 큰 도시는? 더보기 Yuzhno Sakhalinsk (유즈노 사할린스크) Reference: https://www.jetpunk.com/quizzes/biggest-city-in-time-zones-quiz 2. 네덜란드어(Dutch)를 공식 언어로 채택한 남미 국가는? 더보기 Suriname (수리남) Reference: https://www.jetpunk.com/user-quizzes/246906/random-name-a-valid-country 3. 인구가..
[Automata Theory] DFA = NFA DFA = NFA 우선, DFA가 만들 수 있는 언어는 모두 NFA로도 만들 수 있다. 이는 정의에 의해 자명하다. 그렇다면 여기서 당연히 NFA가 만들 수 있는 언어는 모두 DFA로도 만들 수 있는지에 대한 궁금증이 생긴다. 결론부터 말하면 맞다. 이를 증명하기 전에, 앞서 보았던 NFA 하나를 DFA로 바꿔보자. 위 NFA를 $M$이라고 하면 $M=(\{q_0, q_1, q_2\}, \{0, 1\}, \Delta, q_0, \{q_2\})$이다. $\Delta$의 함숫값을 구하면 $\Delta^*(q_0, 0) = \{q_0\}$ $\Delta^*(q_0, 1) = E(\Delta(q_0, 1)) = \{q_0, q_1, q_2\}$ $\Delta^*(q_1, 0) = \Delta^*(q_1, 1) ..
Type System of TypeScript What is TypeScript? TypeScript는 JavaScript에 타입 추론 기능을 추가한 언어로, MS에서 개발되었고 많은 분야에서 사용되고 있다. 기존의 JavaScript언어는 타입을 엄격하게 관리하지 않아 타입 관련 이슈들이 많았다 (프로그래머가 실수로 잘못 작성한 코드가 멀쩡히 실행되는 경우가 많아 디버깅이 어렵다). 이를 해결하기 위해 'typeof'함수를 이용해 방어적으로 프로그래밍을 해야 했는데, 코드가 굉장히 길어진다는 단점이 있었다. 그래서 이를 해결하고자 TypeScript가 등장했고, JavaScript의 모든 기능을 수행할 수 있으면서 TypeSystem을 도입해 compile time에 타입을 추론해 예상치 못한 에러를 잡아냈다. Soundness 모든 언어에는 각자..