Math
To compute the rotation automorphism homomorphically, we use the fact that $(\Z/2^n\Z)^* \simeq \span{-1, 5}$. I couldn't find a clear proof of this result online, so I just accepted the fact although it wasn't very satisfying. After more than a year, I
Development
마크다운에서 수식을 사용하는 것은 생각보다 어렵다. 애초에 마크다운은 원래 수식을 지원하지 않는다. 그저 Github, Obsidian 등 다양한 플랫폼이 마크다운의 확장 형태로 수식 입력을 지원하고 있는 상황이다. 이 블로그는 jekyll을 사용하기 때문에 모든 글이 마크다운으로 작성되어 있다. 수학을 좋아하는 나의 특성상 블로그 글에 수식을 입력할 일이 많은데, 어느 날 블로그에서 깨져있거나
Data Structures
Here are the expected time complexities of the search operation in hash tables. Assumptions * Let $m$ be the number of buckets in the hash table. * Let $n$ be the number of entries currently in the hash table. * Let $\alpha = n/m$ be the load factor. * Elements are uniformly hashed to
Articles
* Link to original text. * I recommend reading the full text. It may seem a bit long but I assure you that it is worth the time. * The talk is mainly about how to do first-class work, something significant as a great scientist. The following is a list of quotes from
Development
2024. 2. Undergraduate Thesis, Received Best Paper Award! Secure IAM on AWS with Multi-Account StrategyMany recent IT companies use cloud services for deploying their products, mainly because of their convenience. As such, cloud assets have become a new attack surface, and the concept of cloud security has emerged. However, cloud
Math
Integration on Complex Valued Function Let $(X, \mathscr{F}, \mu)$ be a measure space, and $E \in \mathscr{F}$. 정의. 1. A complex valued function $f = u + iv$, (where $u, v$ are real functions) is measurable if $u$ and $v$ are both measurable. 2. For a complex function $f$, $$f
Math
This is a list of proofs with Coq, for each rule of inference stated in List of Rules of Inference (Wikipedia) Some rules that need the law of excluded middle are at the end of the section. Rules for Negation Lemma reductio_ad_absurdum : forall P Q : Prop, (P -&
Math
Comparison with the Riemann Integral 먼저 혼동을 막기 위해 Lebesgue measure $m$에 대하여 르벡 적분을 $$\int _ {[a, b]} f \,d{m} = \int _ {[a, b]} f \,d{x} = \int _ a ^ b f \,d{x}$$ 와 같이 표기하고, 리만 적분은 $$\mathcal{R}\int _ a ^ b f\,d{x}$$ 로 표기하겠습니다. 정리.
Math
Almost Everywhere 지난 글에서 measure가 0인 집합 위에서 적분하면 결과가 0이 됨을 확인했습니다. 적분 입장에서 보면 measure가 0인 곳에서의 적분은 의미가 없다고 생각할 수 있겠죠? 그러면 앞으로 그런걸 무시해도 된다고 하면 어떨까요? 정의. (Almost Everywhere) $P = P(x)$ 가 어떤 성질이라 하자.[1] 만약 measure가 0인 집합 $N$이 존재하여
Math
르벡 적분 이론에서 굉장히 자주 사용되는 수렴 정리에 대해 다루겠습니다. 이 정리들을 사용하면 굉장히 유용한 결과를 쉽게 얻을 수 있습니다. Monotone Convergence Theorem 먼저 단조 수렴 정리(monotone convergence theorem, MCT)입니다. 이 정리에서는 $f _ n \geq 0$ 인 것이 매우 중요합니다. 정리. (단조 수렴 정리) $f _ n: X \rightarrow[
Math
Lebesgue Integration 르벡 적분을 단계적으로 정의하려고 합니다. $X = (X, \mathscr{F}, \mu)$ 라고 계속 가정합니다. $\mathscr{F}$는 $\sigma$-algebra on $X$, $\mu$는 $\mathscr{F}$의 measure 입니다. $E \in \mathscr{F}$ 일 때, 적분을 정의하기 위해 $$\mathscr{F} _ E = \lbrace A \cap E : A \in \mathscr{F}\rbrace,
Math
Lebesgue integral을 공부하기 전 마지막 준비입니다. Lebesgue integral은 다음과 같이 표기합니다. $$\int _ X f \,d{\mu}$$ 표기를 보면 크게 3가지 요소가 있음을 확인할 수 있습니다. 바로 집합 $X$, measure $\mu$, 그리고 함수 $f$입니다. 집합과 measure는 다루었으니 마지막으로 함수에 관한 이야기를 조금 하면 Lebesgue integral을 정의할 수 있습니다! Measurable Function