2025 국방 AI경진대회(MAICON) 후기

안녕하세요 Gliver 입니다.이번 글은 2025 MAICON(국방 AI 경진대회) 본선 후기입니다. 결과는 아쉽지만, 대회 준비는 꽤 열심히 했기 때문에 자세하게 작성해 보겠습니다. 대회 소개대회 일정예선은 온라인으로 진행되는 개인전이며, 예선을 통과한 참가자들끼리 5인 1팀으로 총 10팀으로 본선에 진출하게 된다.참고로, 예선을 통과하게 되면 팀빌딩 페이지가 제공되어 여기서 게시글을 올려 팀원을 구하거나 팀원으로 들어갈 수 있는 구조이다.이후에 약 3주간의 멘토링 과정이 진행되며 이후에 2박 3일 동안의 오프라인 본선이 진행된다.멘토링은 일주일에 1회, 3주 동안 총 3회 진행되었다. 예선 소개예선은 온라인으로 진행되며 군장병 30명, 사관생도 10명, 일반인 10명을 뽑는다. 따라서, 예선 커트라..

계수-퇴화차수 정리(Rank-Nullity Theorem) 증명

안녕하세요 Gliver 입니다.이번 글에서는, 계수-퇴화차수 정리(Rank-Nullity Theorem)를 증명해 보겠습니다.  계수-퇴화차수 정리(Rank-Nullity Theorem)란?계수-퇴화차수 정리는 아래와 같다. 행렬 $M \in \mathcal{M}_{m \times n}(F)$ 에 대하여 다음이 성립한다.$n = \mathrm{rank}M + \mathrm{nullity}M$$m$은 행렬의 행의 개수, $n$은 행렬의 열의 개수를 의미$\mathrm{rank} M$: 행렬 $M$의 계수를 의미$\mathrm{nullity} M$: 행렬 $M$의 영공간의 차원을 의미행렬에 대해 정의되는 계수-퇴화차수 정리는 선형사상에 대해 정의되는 차원 정리와 대응된다. (차원 정리 글 링크)왜냐하면, 행..

차원 정리(Dimension Theorem) 증명

안녕하세요 Gliver 입니다.이번 글에서는, 차원 정리(dimension theorem)를 증명해 보겠습니다.  차원 정리(Dimension Theorem)란?차원 정리의 정의는 아래와 같다. 유한차원 벡터공간 $V$와 선형사상 $L: V \rightarrow W$ 에 대하여 다음이 성립한다.$\dim(V) = \dim(\mathrm{ker} L) + \dim( \mathrm{im}L)$$\dim(V)$: 정의역 $V$의 차원을 의미$\dim(\mathrm{ker} L)$: 핵 $\mathrm{ker} L$의 차원을 의미$\dim(\mathrm{im} L)$: 상 $\mathrm{im} L$의 차원을 의미간단하게, $\mathrm{ker} L$은 0벡터가 나오게 하는 정의역 공간, $\mathrm{im..

스칼라 곱(내적) 공식 증명

안녕하세요 Gliver 입니다.이번 글에서는, 스칼라 곱(내적) 공식 $\mathbf{v} \cdot \mathbf{w} = v_1w_1 + v_2w_2 + \cdots + v_nw_n$ 을 증명해 보겠습니다.  스칼라 곱(내적)이란?스칼라 곱(scalar product)은 내적(inner product) 또는 점곱(dot product)이라고도 부른다.  스칼라 곱(scalar product)은 유클리드 공간의 두 벡터로부터 실수 스칼라를 얻는 연산이다.간단히 말하면, 두 벡터에 더해 정의되는 연산이며 그 결과로 실수가 나온다는 것이다. 스칼라 곱(scalar product)스칼라 곱의 기호는 $\cdot$ 이며, 스칼라 곱은 아래와 같은 식으로 정의된다.$\mathbf{v} \cdot \mathbf{..

크래머 공식(Cramer's Rule) 증명

안녕하세요 Gliver 입니다.이번 글에서는, 크래머 공식(Cramer's Rule)을 증명해 보겠습니다.   크래머 공식(Cramer's Rule) 이란?크래머 공식(Cramer's Rule)을 간단히 말하면, 아래와 같은 선형 방정식 $A \mathbf{x} = \mathbf{b}$의 해 $\mathbf{x}$를 구하는 공식이다. $\begin{pmatrix}a_{11} & a_{12} & \cdots & a_{1n} \\a_{21} & a_{22} & \cdots & a_{2n} \\\vdots & \vdots & \ddots & \vdots \\a_{n1} & a_{n2} & \cdots & a_{nn}\end{pmatrix} \begin{pmatrix}x_1 \\x_2 \\\vdots \\x_n..