총무성 전국형 CTF에서 AI Agent를 돌려본 후기 — 26위·5,701점, 그리고 운영 병목
AI 사용이 허용된 전국형 CTF에 개인 참가해 challenge 수집부터 agent 분배, 검증, 제출까지 한 pipeline으로 돌려봤다. 공식 결과는 26위·5,701점. 실제 병목은 model보다 ownership, shared state, verification, control plane에 가까웠다.
이 언어로 공개된 모든 글을 모았습니다. 현재 작업, 검토된 노트, 선별된 섹션 글과 보존된 과거 글이 원래 발행일과 함께 공존합니다. 홈과 노트는 선별된 발견 경로이며, 이 아카이브는 전체 공개 기록과 안정적인 URL을 보존합니다.
AI 사용이 허용된 전국형 CTF에 개인 참가해 challenge 수집부터 agent 분배, 검증, 제출까지 한 pipeline으로 돌려봤다. 공식 결과는 26위·5,701점. 실제 병목은 model보다 ownership, shared state, verification, control plane에 가까웠다.
Jekyll + GitHub Pages에서 PR과 기능 브랜치는 검증만 하고, main에 병합된 변경만 gh-pages로 배포하도록 CI와 CD를 나눈 구조와 이유를 정리한다.
이전 아카이브에서 보존한 기술 글: BOJ 10803 — 정사각형 만들기: 점화식 경계의 증명.
DFT의 정규화부터 radix-2 버터플라이와 다항식 합성곱까지 살펴보고, 부동소수점 정수 계산의 한계를 설명합니다.
이전 아카이브에서 보존한 기술 글: BOJ 1199번 — 오일러 회로.
유한 차원 유클리드 공간의 유계 수열에서 수렴 부분수열을 얻는 증명을 살펴보고 콤팩트성과 구별합니다.
실수 단조 수열의 수렴 정리를 상한 성질로 증명하고 대표적인 예로 설명합니다.
실수의 완비성으로 중첩 닫힌구간의 공통점을 보이고, 길이가 0으로 줄어들 때 유일함을 증명합니다.
이전 아카이브에서 보존한 기술 글: BOJ 7579번 — 앱.
대수 구조, 거리공간, 순서, 완비성, 극한 개념을 주제별로 정리한 해석학 참고 자료입니다.
집합, 대수적 구조, 함수, 기수에 관한 기초 개념 19가지를 예와 함께 주제별로 정리한 간략 참고 자료입니다.
두 정수의 최대공약수가 정수 선형결합으로 표현됨을 최소 양의 결합으로 증명하고, 체 위 다항식 확장도 구분해 설명합니다.
이전 아카이브에서 보존한 기술 글: 백준 1006번 - 습격자 초라기.
이전 아카이브에서 보존한 기술 글: 백준 1035번 - 조각 움직이기.
이전 아카이브에서 보존한 기술 글: 백준 1395번 - 스위치.
이전 아카이브에서 보존한 기술 글: 백준 19565번 - 수열 만들기.
이전 아카이브에서 보존한 기술 글: 백준 3653번 - 영화 수집.
유클리드 알고리즘의 불변식과 계산 예를 증명하고, 비음수 입력을 전제로 한 C++ 구현 및 로그 단계 수를 설명합니다.
실현 가능한 유량부터 잔여 간선의 증가와 취소, 컷의 상한, 포드–풀커슨 알고리즘의 종료 조건까지 살펴봅니다.
플로이드–워셜의 모든 쌍 최단 경로 점화식을 유도하고, 안전한 C++ 구현과 도달 불가·음수 사이클의 의미를 살펴봅니다.
잔여 네트워크의 도달 가능성을 이용해 최대 유량 최소 컷 정리를 증명하고, 작은 예제로 최적성을 확인합니다.
이전 아카이브에서 보존한 기술 글: 백준 5373번 - 큐빙.
이전 아카이브에서 보존한 기술 글: BOJ 7469 - K번째 수.
이전 아카이브에서 보존한 기술 글: 백준 1520번 - 내리막 길.
이전 아카이브에서 보존한 기술 글: BOJ 2494 - 숫자 맞추기.
이전 아카이브에서 보존한 기술 글: BOJ 2162 - 선분 그룹.
이전 아카이브에서 보존한 기술 글: 백준 1069번 - 집으로.
이전 아카이브에서 보존한 기술 글: 백준 7869번 - 두 원.
이전 아카이브에서 보존한 기술 글: 백준 17386번 - 선분 교차 1.
이전 아카이브에서 보존한 기술 글: 백준 17387번 - 선분 교차 2.
이전 아카이브에서 보존한 기술 글: BOJ 11378 - 열혈강호 4.
이전 아카이브에서 보존한 기술 글: BOJ 11376 - 열혈강호 2.
이전 아카이브에서 보존한 기술 글: 백준 11375번 - 열혈강호.
이전 아카이브에서 보존한 기술 글: BOJ 15927 - 회문은 회문이 아니야!!.
이전 아카이브에서 보존한 기술 글: BOJ 16235 — 나무 재테크.
이전 아카이브에서 보존한 기술 글: BOJ 1240 - 노드사이의 거리.
이전 아카이브에서 보존한 기술 글: BOJ. Cheese (2636).
이전 아카이브에서 보존한 기술 글: BOJ 14890 — 경사로.
이전 아카이브에서 보존한 기술 글: BOJ 11437 - 최소 공통 조상.
이전 아카이브에서 보존한 기술 글: BOJ 5052 - 전화번호 목록.
이전 아카이브에서 보존한 기술 글: BOJ 17144 — 미세먼지 안녕!.
이전 아카이브에서 보존한 기술 글: BOJ 1339 - 단어 수학.
이전 아카이브에서 보존한 기술 글: BOJ 2169 — 로봇 조종하기.
이전 아카이브에서 보존한 기술 글: BOJ 15683 — 감시.
이전 아카이브에서 보존한 기술 글: BOJ 16234 — 인구 이동.
이전 아카이브에서 보존한 기술 글: BOJ 13460 — 구슬 탈출 2.
이전 아카이브에서 보존한 기술 글: BOJ 14500 - 테트로미노.
이전 아카이브에서 보존한 기술 글: BOJ 14503 — 로봇 청소기.
이전 아카이브에서 보존한 기술 글: BOJ 3190 — 뱀.
이전 아카이브에서 보존한 기술 글: BOJ 14499 - 주사위 굴리기.
이전 아카이브에서 보존한 기술 글: BOJ 16236 - 아기 상어.
이전 아카이브에서 보존한 기술 글: BOJ 15686 - 치킨 배달.
이전 아카이브에서 보존한 기술 글: BOJ 13275 - 가장 긴 팰린드롬 부분 문자열.
이전 아카이브에서 보존한 기술 글: BOJ 17131 - 여우가 정보섬에 올라온 이유.
이전 아카이브에서 보존한 기술 글: BOJ 10999 - 구간 합 구하기 2.
이전 아카이브에서 보존한 기술 글: BOJ 1725 - 히스토그램.
이전 아카이브에서 보존한 기술 글: BOJ 2268 - 수들의 합 7.
이전 아카이브에서 보존한 기술 글: BOJ 1275 - 커피숍2.
이전 아카이브에서 보존한 기술 글: BOJ 10868 - 최솟값.
이전 아카이브에서 보존한 기술 글: BOJ 2836 - 수상 택시.
이전 아카이브에서 보존한 기술 글: BOJ 5419 - 북서풍.
이전 아카이브에서 보존한 기술 글: BOJ 2170 - 선 긋기.
이전 아카이브에서 보존한 기술 글: BOJ 4013 - ATM.
이전 아카이브에서 보존한 기술 글: Codeforces 1638A - Reverse.
이전 아카이브에서 보존한 기술 글: BOJ 11281 - 2-SAT - 4.
이전 아카이브에서 보존한 기술 글: AtCoder ARC 135 A — Floor, Ceil Decomposition.
이전 아카이브에서 보존한 기술 글: AtCoder ARC 135 B - Sum of Three Terms.
이전 아카이브에서 보존한 기술 글: AtCoder ARC 135 C - XOR to All.
이전 아카이브에서 보존한 기술 글: Codeforces 1637B - MEX and Array.
이전 아카이브에서 보존한 기술 글: BOJ 3648 - 아이돌.
이전 아카이브에서 보존한 기술 글: Codeforces 1637C - Andrew와 돌.
이전 아카이브에서 보존한 기술 글: Codeforces Global Round 19 A — Sorting Parts.
이전 아카이브에서 보존한 기술 글: BOJ 11280 - 2-SAT - 3.
이전 아카이브에서 보존한 기술 글: BOJ 13511 - 트리와 쿼리 2.
이전 아카이브에서 보존한 기술 글: BOJ 3977 - 축구 전술.
이전 아카이브에서 보존한 기술 글: BOJ 4196 - 도미노.
이전 아카이브에서 보존한 기술 글: BOJ 1509 - 팰린드롬 분할.
이전 아카이브에서 보존한 기술 글: BOJ. 최솟값 찾기 (11003).
이전 아카이브에서 보존한 기술 글: BOJ 3176 - 도로 네트워크.
이전 아카이브에서 보존한 기술 글: BOJ 11438 - LCA 2.
이전 아카이브에서 보존한 기술 글: BOJ. 합성함수와 쿼리 (17435).
이전 아카이브에서 보존한 기술 글: BOJ 3584 - 가장 가까운 공통 조상.
이전 아카이브에서 보존한 기술 글: BOJ 1086 - 박성원.
이전 아카이브에서 보존한 기술 글: BOJ. 외판원 순회 (2098).
이전 아카이브에서 보존한 기술 글: BOJ. RGB거리 2 (17404).
이전 아카이브에서 보존한 기술 글: BOJ 3665 - 최종 순위.
이전 아카이브에서 보존한 기술 글: BOJ 1766 - 문제집.
이전 아카이브에서 보존한 기술 글: BOJ 1009 - 분산 처리.
이전 아카이브에서 보존한 기술 글: AtCoder ABC 238 A — Exponential or Quadratic.
이전 아카이브에서 보존한 기술 글: AtCoder ABC 238 B — Pizza.
이전 아카이브에서 보존한 기술 글: AtCoder ABC 238 C - digitnum.
이전 아카이브에서 보존한 기술 글: BOJ 2482 - 색상환.
이전 아카이브에서 보존한 기술 글: BOJ 1005 - ACM Craft.
이전 아카이브에서 보존한 기술 글: BOJ 1305 - 광고.
이전 아카이브에서 보존한 기술 글: BOJ 2213 - 트리의 독립집합.
이전 아카이브에서 보존한 기술 글: BOJ 1949 - 우수 마을.
이전 아카이브에서 보존한 기술 글: BOJ. 사회망 서비스(SNS) (2533).
이전 아카이브에서 보존한 기술 글: BOJ 5670 - 휴대폰 자판.
이전 아카이브에서 보존한 기술 글: BOJ 10266 - 시계 사진들.
이전 아카이브에서 보존한 기술 글: AtCoder ABC 237 E — Skiing.
이전 아카이브에서 보존한 기술 글: AtCoder ABC 237 D — LR 삽입.
이전 아카이브에서 보존한 기술 글: AtCoder ABC 237 C — kasaka.
이전 아카이브에서 보존한 기술 글: AtCoder ABC 237 B - 행렬 전치.
이전 아카이브에서 보존한 기술 글: AtCoder ABC 237 A — Not Overflow.
이전 아카이브에서 보존한 기술 글: BOJ 1786 - 찾기.
이전 아카이브에서 보존한 기술 글: BOJ 14425 - 문자열 집합.
이전 아카이브에서 보존한 기술 글: BOJ. 개미굴 (14725).
이전 아카이브에서 보존한 기술 글: BOJ 4354 - 문자열 제곱.
이전 아카이브에서 보존한 기술 글: BOJ. 두 용액 (2470).
이전 아카이브에서 보존한 기술 글: BOJ. 냅색 문제 (1450).
이전 아카이브에서 보존한 기술 글: BOJ 3273 - 두 수의 합.
이전 아카이브에서 보존한 기술 글: BOJ. 부분합 (1806).
이전 아카이브에서 보존한 기술 글: BOJ 1094 - 막대기.
이전 아카이브에서 보존한 기술 글: BOJ. 할 일 정하기 1 (1311).
이전 아카이브에서 보존한 기술 글: BOJ. 줄 세우기 (2252).
이전 아카이브에서 보존한 기술 글: BOJ. 행렬 곱셈 순서 (11049).
이전 아카이브에서 보존한 기술 글: BOJ. 연속된 소수의 합 (1644).
이전 아카이브에서 보존한 기술 글: BOJ. 집합 (11723).
이전 아카이브에서 보존한 기술 글: BOJ. Strongly Connected Component (2150).
이전 아카이브에서 보존한 기술 글: BOJ. 트리와 쿼리 (15681).
이전 아카이브에서 보존한 기술 글: BOJ. 다리 만들기 2 (17472).
이전 아카이브에서 보존한 기술 글: BOJ. 행성 터널 (2887).
이전 아카이브에서 보존한 기술 글: BOJ. 최소 스패닝 트리 (1197).
이전 아카이브에서 보존한 기술 글: BOJ. 디지털 비디오 디스크 (9345).
이전 아카이브에서 보존한 기술 글: BOJ. Josephus problem(2) (1168).
이전 아카이브에서 보존한 기술 글: BOJ. Data Structure (12899).
이전 아카이브에서 보존한 기술 글: BOJ. 경찰차 (2618).
이전 아카이브에서 보존한 기술 글: BOJ. 수열과 쿼리 21 (16975).
이전 아카이브에서 보존한 기술 글: AtCoder ABC 235 D - Multiply and Rotate.
이전 아카이브에서 보존한 기술 글: AtCoder ABC 235 A - Rotate.
이전 아카이브에서 보존한 기술 글: AtCoder ABC 235 B — 타카하시의 등산.
이전 아카이브에서 보존한 기술 글: AtCoder ABC 235 C - The Kth Time Query.
이전 아카이브에서 보존한 기술 글: BOJ. Floyd(2) (11780).
이전 아카이브에서 보존한 기술 글: BOJ. 최소비용 구하기 2 (11779).
이전 아카이브에서 보존한 기술 글: BOJ. DSLR (9019).
이전 아카이브에서 보존한 기술 글: BOJ 13913 — 숨바꼭질 4.
이전 아카이브에서 보존한 기술 글: BOJ. LCS 2 (9252).
이전 아카이브에서 보존한 기술 글: BOJ. 가장 긴 증가하는 부분 수열 5 (14003).
이전 아카이브에서 보존한 기술 글: BOJ 14002 — 가장 긴 증가하는 부분 수열 4.
이전 아카이브에서 보존한 기술 글: BOJ. Make into 1(2) (12852).
이전 아카이브에서 보존한 기술 글: BOJ 2263 — 트리 순회.
이전 아카이브에서 보존한 기술 글: BOJ 1517 — 버블 소트.
이전 아카이브에서 보존한 기술 글: BOJ 1991 — 트리 순회.
이전 아카이브에서 보존한 기술 글: BOJ 1967 — 트리의 지름.
이전 아카이브에서 보존한 기술 글: BOJ. 트리의 지름 (1167).
이전 아카이브에서 보존한 기술 글: BOJ. 트리의 부모 찾기 (11725).
이전 아카이브에서 보존한 기술 글: BOJ. 최솟값과 최댓값 (2357).
이전 아카이브에서 보존한 기술 글: BOJ. 이진 검색 트리 (5639).
이전 아카이브에서 보존한 기술 글: BOJ 20040 — 사이클 게임.
이전 아카이브에서 보존한 기술 글: LeetCode 131. 팰린드롬 분할.
이전 아카이브에서 보존한 기술 글: BOJ. Friend Network (4195).
이전 아카이브에서 보존한 기술 글: BOJ 1976 — 여행 가자.
이전 아카이브에서 보존한 기술 글: BOJ. 파일 합치기 (11066).
이전 아카이브에서 보존한 기술 글: BOJ 1956 — 운동.
이전 아카이브에서 보존한 기술 글: BOJ. KCM Travel (10217).
이전 아카이브에서 보존한 기술 글: BOJ 11404 — 플로이드.
이전 아카이브에서 보존한 기술 글: LeetCode 997. 마을 판사 찾기.
이전 아카이브에서 보존한 기술 글: BOJ. Time Machine (11657).
이전 아카이브에서 보존한 기술 글: BOJ. 미확인 도착지 (9370).
이전 아카이브에서 보존한 기술 글: LeetCode 312. 풍선 터뜨리기.
이전 아카이브에서 보존한 기술 글: BOJ. 특정한 최단 경로 (1504).
이전 아카이브에서 보존한 기술 글: BOJ. 구간 곱 구하기 (11505).
이전 아카이브에서 보존한 기술 글: BOJ. Shortest Path (1753).
이전 아카이브에서 보존한 기술 글: Programmers. 네트워크.
이전 아카이브에서 보존한 기술 글: BOJ. Bipartite Graph (1707).
이전 아카이브에서 보존한 기술 글: BOJ. 나이트의 이동 (7562).
이전 아카이브에서 보존한 기술 글: LeetCode 40. 조합의 합 II.
이전 아카이브에서 보존한 기술 글: AtCoder Typical 90 018 — Statue of Chokudai.
이전 아카이브에서 보존한 기술 글: AtCoder Typical 90 014 — 함께 노래를 부르곤 했지.
이전 아카이브에서 보존한 기술 글: AtCoder Typical 90 015 — Don't be too close(6).
이전 아카이브에서 보존한 기술 글: AtCoder Typical 90 016 — Minimum Coins.
이전 아카이브에서 보존한 기술 글: AtCoder Typical 90 013 — Passing.
이전 아카이브에서 보존한 기술 글: AtCoder Typical 90 009 — Three Point Angle.
이전 아카이브에서 보존한 기술 글: AtCoder Typical 90 010 — Score Sum Queries (2).
이전 아카이브에서 보존한 기술 글: AtCoder Typical 90 011 — Gravy Jobs.
이전 아카이브에서 보존한 기술 글: AtCoder Typical 90 012 — Red Painting (4).
이전 아카이브에서 보존한 기술 글: AtCoder. 008 AtCounter (4).
이전 아카이브에서 보존한 기술 글: AtCoder Typical 90 007 — CP Classes (3).
이전 아카이브에서 보존한 기술 글: AtCoder Typical 90 006 — 가장 작은 부분 수열 (5).
이전 아카이브에서 보존한 기술 글: AtCoder Typical 90 005 — 제한된 숫자 (7).
이전 아카이브에서 보존한 기술 글: AtCoder Typical 90 004 — Cross Sum (2).
이전 아카이브에서 보존한 기술 글: AtCoder. 001 요칸 파티 (4).
이전 아카이브에서 보존한 기술 글: AtCoder. 002 괄호 도감 (3).
이전 아카이브에서 보존한 기술 글: AtCoder Typical 90 003 — 가장 긴 원형 도로 (4).
이전 아카이브에서 보존한 기술 글: BOJ. 집합의 표현 (1717).
이전 아카이브에서 보존한 기술 글: LeetCode 39. 조합의 합.
이전 아카이브에서 보존한 기술 글: BOJ. 벽 부수고 이동하기 (2206).
이전 아카이브에서 보존한 기술 글: BOJ. Prefix sum (2042).
이전 아카이브에서 보존한 기술 글: BOJ. Hide and Seek (1697).
이전 아카이브에서 보존한 기술 글: 프로그래머스 — 가장 큰 수.
이전 아카이브에서 보존한 기술 글: LeetCode. 38. Count and Say.
이전 아카이브에서 보존한 기술 글: BOJ. 토마토 (7569).
이전 아카이브에서 보존한 기술 글: LeetCode. 37. Sudoku Solver.
이전 아카이브에서 보존한 기술 글: LeetCode 36. 유효한 스도쿠.
이전 아카이브에서 보존한 기술 글: BOJ 1655 - 가운데를 말해요.
이전 아카이브에서 보존한 기술 글: LeetCode. 33. Search in Rotated Sorted Array.
이전 아카이브에서 보존한 기술 글: LeetCode. 34. 정렬된 배열에서 첫 번째와 마지막 위치 찾기.
이전 아카이브에서 보존한 기술 글: LeetCode. 32. Longest Valid Parentheses.
이전 아카이브에서 보존한 기술 글: BOJ 11279 - 최대 힙.
이전 아카이브에서 보존한 기술 글: Codility - 배열 역전 쌍 개수.
이전 아카이브에서 보존한 기술 글: LeetCode. 35. Search Insert Position.
이전 아카이브에서 보존한 기술 글: LeetCode. 31. Next Permutation.
이전 아카이브에서 보존한 기술 글: LeetCode. 30. Substring with Concatenation of All Words.
이전 아카이브에서 보존한 기술 글: LeetCode 29. 두 정수 나누기.
이전 아카이브에서 보존한 기술 글: LeetCode 28. strStr() 구현.
이전 아카이브에서 보존한 기술 글: LeetCode. 27. Remove Element.
이전 아카이브에서 보존한 기술 글: LeetCode. 26. Remove Duplicates from Sorted Array.
이전 아카이브에서 보존한 기술 글: LeetCode. 25. Reverse Nodes in k-Group.
이전 아카이브에서 보존한 기술 글: LeetCode 24. 쌍별 노드 교환.
이전 아카이브에서 보존한 기술 글: LeetCode. 23. Merge k Sorted Lists.
이전 아카이브에서 보존한 기술 글: LeetCode. 21. Merge Two Sorted Lists.
이전 아카이브에서 보존한 기술 글: LeetCode. 10. Regular Expression Matching.
이전 아카이브에서 보존한 기술 글: LeetCode. 17. Letter Combinations of a Phone Number.
이전 아카이브에서 보존한 기술 글: LeetCode. 20. Valid Parentheses.
이전 아카이브에서 보존한 기술 글: AtCoder Typical 90 021 — Come Back in One Piece.
강한 연결 요소의 의미와 타잔 알고리즘의 발견 번호·low-link·활성 스택 불변식을 예제와 구현으로 설명합니다.
이전 아카이브에서 보존한 기술 글: LeetCode 19. 뒤에서 n번째 노드 삭제하기.
오일러 공식을 이용해 드무아브르 공식의 양수·0·음수 정수 지수를 구분해 증명하고 세제곱 예를 살펴봅니다.
이전 아카이브에서 보존한 기술 글: LeetCode. 1. Two Sum.
이전 아카이브에서 보존한 기술 글: LeetCode 461. 해밍 거리.
이전 아카이브에서 보존한 기술 글: LeetCode 540. 정렬된 배열에서 단일 원소 찾기.
이전 아카이브에서 보존한 기술 글: LeetCode 94. Binary Tree Inorder Traversal.
이전 아카이브에서 보존한 기술 글: BOJ 11659 - 구간 합 구하기 4.
이전 아카이브에서 보존한 기술 글: LeetCode. 53. Maximum Subarray.
이전 아카이브에서 보존한 기술 글: LeetCode 13번 - Roman to Integer.
이전 아카이브에서 보존한 기술 글: LeetCode. 83. Remove Duplicates from Sorted List.
이전 아카이브에서 보존한 기술 글: LeetCode 14번 - Longest Common Prefix.
이전 아카이브에서 보존한 기술 글: LeetCode. 11. 물을 담을 수 있는 가장 많은 컨테이너.
이전 아카이브에서 보존한 기술 글: LeetCode 12번 - Integer to Roman.
이전 아카이브에서 보존한 기술 글: LeetCode. 15. 3Sum.
이전 아카이브에서 보존한 기술 글: LeetCode 16 - 세 수의 합에 가장 가까운 값.
이전 아카이브에서 보존한 기술 글: LeetCode. 3. 반복 문자가 없는 가장 긴 부분 문자열.
이전 아카이브에서 보존한 기술 글: LeetCode. 4. 두 정렬 배열의 중앙값.
이전 아카이브에서 보존한 기술 글: LeetCode. 5. Longest Palindromic Substring.
이전 아카이브에서 보존한 기술 글: LeetCode. 6. ZigZag Conversion.
이전 아카이브에서 보존한 기술 글: LeetCode. 7. Reverse Integer.
이전 아카이브에서 보존한 기술 글: LeetCode. 9. Palindrome Number.
이전 아카이브에서 보존한 기술 글: BOJ. Tree (4803).