고속 푸리에 변환 (FFT)
DFT의 정규화부터 radix-2 버터플라이와 다항식 합성곱까지 살펴보고, 부동소수점 정수 계산의 한계를 설명합니다.
학습과 연구의 공개 기록
공부와 연구, 프로젝트와 에세이를 담습니다.
학습 노트와 연구, 실제 구현을 기록한 프로젝트, 성찰을 담은 에세이를 한곳에 정리합니다.
현재 기술 작업
총무성 전국형 CTF에서 AI Agent를 돌려본 후기 — 26위·5,701점, 그리고 운영 병목
AI 사용이 허용된 전국형 CTF에 개인 참가해 challenge 수집부터 agent 분배, 검증, 제출까지 한 pipeline으로 돌려봤다. 공식 결과는 26위·5,701점. 실제 병목은 model보다 ownership, shared state, verification, control plane에 가까웠다.
26위공식 5,701점추적한 challenge 110개
2026-10-05간행물 섹션
글의 성격에 따라 보기
LAW / 일본어 원문
법률 노트
민법·행정법의 조문과 판례를 정리한 일본어 학습 글입니다. 현재 본문은 일본어로 제공됩니다.
일본어 법률 노트 전체 보기 →아카이브의 오래 남을 설명
선별한 기초 글
수학·알고리즘 설명 일부를 원래 발행일과 함께 소개합니다.
2022-05-14
볼차노–바이어슈트라스 정리
유한 차원 유클리드 공간의 유계 수열에서 수렴 부분수열을 얻는 증명을 살펴보고 콤팩트성과 구별합니다.
Floyd-Warshall Algorithm - 플로이드 워셜 알고리즘
플로이드–워셜의 모든 쌍 최단 경로 점화식을 유도하고, 안전한 C++ 구현과 도달 불가·음수 사이클의 의미를 살펴봅니다.
Max-flow min-cut theorem - 최대 유량 최소 컷 정리
잔여 네트워크의 도달 가능성을 이용해 최대 유량 최소 컷 정리를 증명하고, 작은 예제로 최적성을 확인합니다.