Tregs
2025 Nobel Prize in Physiology or Medicine ... "For the Discovery of Peripheral Immune Tolerance"
Latest
슈트라센 알고리즘
행렬 곱 빠르게 하기
딥러닝으로 증명하기(DL4TP)
https://github.com/ZHAOYU-LI/dl4tp
1. DL4TP란 무엇인가?
Welcome to our repository! This is a curated collection of resources related to deep learning for theorem proving.
수학 정리 증명(Theorem Proving) 분야는 오랫동안 사람이 작성한 논리 규칙 등에 기반해 발전해왔다. 하지만, 최근에는 대형 언어 모델(LLM)들이 빠르게 이
Proof of the Intermediate Value Theorem
Stewart Calculus에 나오는 Intermediate Value Theorem을 증명하여 보았다.
오일러 공식을 이끌어내는 5가지 방법
Introduction
오늘은 오일러 공식을 이끌어내는 5가지 방법을 알아보도록 하자.
제목이 <오일러 공식을 증명하는 5가지 방법>이 아니라 <오일러 공식을 이끌어내는 5가지 방법>인 이유는 엄밀한 증명을 위해서는 고급 수학을 다뤄야 하기 때문이다. 그래서 수학적 엄밀함 보다는 아이디어에 초점을 맞추고 글을 읽도록 하자.
I. 테일러 급수
각
유당불내증의 역사
유당불내증. 말 그대로 유당을 소화할 수 없는 상태이다. 필자도 유당불내증이 있어 일반적인 우유 대신 유당이 없는 락토프리 우유를 마신다. 락토프리 우유를 마시다 보면 드는 생각이 있다. 유당불내증은 왜 생길까?
원래는 누구나 유당불내증이었다
모든 사람이 처음부터 유당을 분해할 수 있었던 건 아니다. 애초에 우유를 만드는 포유류는 극히 어릴 때 빼고는 우유를
시리즈 | FA - 8. 푸리에 급수의 평균제곱수렴성
FA-2 글에서 어떤 구간에서 정의된 리만적분 가능한 함수들이 내적공간을 이룬다는 것을 얘기하며 평균제곱수렴을 언급했습니다.
그래서 오늘은 드디어 [STEIN 푸리에 해석학] 에서 소개된 푸리에급수의 평균제곱수렴성의 증명을 봅시다.
푸리에 해석 8
푸리에 급수의 평균제곱수렴성
📖Theorem - Mean Square Convergence
f가 적분가능한 함수이면
$$\frac{1}{2\pi}\int_0^{2\pi}|f(x)