테브난 정리 | Thevenin's Theorem
복잡한 회로를 단순화하는 획기적인 방법
Latest
Tregs
2025 Nobel Prize in Physiology or Medicine ... "For the Discovery of Peripheral Immune Tolerance"
슈트라센 알고리즘
행렬 곱 빠르게 하기
딥러닝으로 증명하기(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. 테일러 급수
각
유당불내증의 역사
유당불내증. 말 그대로 유당을 소화할 수 없는 상태이다. 필자도 유당불내증이 있어 일반적인 우유 대신 유당이 없는 락토프리 우유를 마신다. 락토프리 우유를 마시다 보면 드는 생각이 있다. 유당불내증은 왜 생길까?
원래는 누구나 유당불내증이었다
모든 사람이 처음부터 유당을 분해할 수 있었던 건 아니다. 애초에 우유를 만드는 포유류는 극히 어릴 때 빼고는 우유를