총무성 전국형 CTF에서 AI Agent를 돌려본 후기 — 26위·5,701점, 그리고 운영 병목
AI 사용이 허용된 전국형 CTF에 개인 참가해 challenge 수집부터 agent 분배, 검증, 제출까지 한 pipeline으로 돌려봤다. 공식 결과는 26위·5,701점. 실제 병목은 model보다 ownership, shared state, verification, control plane에 가까웠다.
노트
공부하며 정리한 노트와 설명.
수학, 컴퓨터 과학, 시스템, 인공지능과 소프트웨어 공학을 다루는 검토된 노트입니다. 검토를 마친 주제가 더해지면 목록도 함께 넓어집니다.
검증은 자주, 배포는 신중하게: Jekyll과 GitHub Pages
Jekyll + GitHub Pages에서 PR과 기능 브랜치는 검증만 하고, main에 병합된 변경만 gh-pages로 배포하도록 CI와 CD를 나눈 구조와 이유를 정리한다.
고속 푸리에 변환 (FFT)
DFT의 정규화부터 radix-2 버터플라이와 다항식 합성곱까지 살펴보고, 부동소수점 정수 계산의 한계를 설명합니다.
볼차노–바이어슈트라스 정리
유한 차원 유클리드 공간의 유계 수열에서 수렴 부분수열을 얻는 증명을 살펴보고 콤팩트성과 구별합니다.
단조 수렴 정리
실수 단조 수열의 수렴 정리를 상한 성질로 증명하고 대표적인 예로 설명합니다.
축소구간 정리
실수의 완비성으로 중첩 닫힌구간의 공통점을 보이고, 길이가 0으로 줄어들 때 유일함을 증명합니다.
거리공간과 기본 정의 (2)
대수 구조, 거리공간, 순서, 완비성, 극한 개념을 주제별로 정리한 해석학 참고 자료입니다.
수학의 기초 개념: 간략 용어집
집합, 대수적 구조, 함수, 기수에 관한 기초 개념 19가지를 예와 함께 주제별로 정리한 간략 참고 자료입니다.
베주 항등식: 정수와 체 위의 다항식
두 정수의 최대공약수가 정수 선형결합으로 표현됨을 최소 양의 결합으로 증명하고, 체 위 다항식 확장도 구분해 설명합니다.
유클리드 알고리즘: 최대공약수 구하기
유클리드 알고리즘의 불변식과 계산 예를 증명하고, 비음수 입력을 전제로 한 C++ 구현 및 로그 단계 수를 설명합니다.
Flow network - 네트워크 플로우
실현 가능한 유량부터 잔여 간선의 증가와 취소, 컷의 상한, 포드–풀커슨 알고리즘의 종료 조건까지 살펴봅니다.
Floyd-Warshall Algorithm - 플로이드 워셜 알고리즘
플로이드–워셜의 모든 쌍 최단 경로 점화식을 유도하고, 안전한 C++ 구현과 도달 불가·음수 사이클의 의미를 살펴봅니다.
Max-flow min-cut theorem - 최대 유량 최소 컷 정리
잔여 네트워크의 도달 가능성을 이용해 최대 유량 최소 컷 정리를 증명하고, 작은 예제로 최적성을 확인합니다.
그래프 이론: 강한 연결 요소들(SCC)
강한 연결 요소의 의미와 타잔 알고리즘의 발견 번호·low-link·활성 스택 불변식을 예제와 구현으로 설명합니다.
드무아브르 공식: 정수 거듭제곱
오일러 공식을 이용해 드무아브르 공식의 양수·0·음수 정수 지수를 구분해 증명하고 세제곱 예를 살펴봅니다.