高速フーリエ変換 (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
ボルツァーノ–ワイエルシュトラスの定理
有限次元ユークリッド空間の有界な数列から収束部分列を得る証明を示し、コンパクト性との違いも整理します。
フロイド–ワーシャル法
フロイド–ワーシャル法の全点対最短経路の漸化式を導き、安全なC++実装と到達不能・負閉路の解釈を解説します。
最大フロー最小カット定理
残余ネットワークの到達可能性を使って最大フロー最小カット定理を証明し、小さな例で最適性を確かめます。