Latest

Brain - Part 0

최근에 뇌캠프에 참여하였다. 아주 재미있었다. 이를 준비하면서 배운 것과 캠프에서 새로 배운 것을 정리하여 Brain에 관한 글을 써보자. 뇌 과학은 여러 세부 분야를 가진다. 대표적으로 1. Molecular and Cellular Neuroscience 2. Systems Neuroscience 3. Neuroanatomy 4. Neurology 5. Neuroscience and Artificial Intelligence 등이 있다. 이 외에도 굉장히 다양한 분야가 있으니

시리즈 | Book Review - 6. 상실의 시대(원제: ノルウェイの森/노르웨이의 숲)

한국과학영재학교에 입학한 2025년, 그 한 해를 마쳐가며 읽은 무라카미 하루키 작가의 [상실의 시대]는 아마도 먼 훗날이 되어도 작가 개인에게 큰 의미로 다가올 것이다. 영화만을 바라보고 있던 작가에게 예술로서의 문학이 가지는 힘과 무게감을 단번에 체험하게 한 소설이다. 동시에 같은 작가의 [1Q84]를 읽으면서 아주 재미있어한 것은 사실이지만 여러 방면에서 취향에

Matroid Theory - 1. What is Matroid?

알고리즘 문제 해결 분야의 다양한 문제를 접하다 보면, 이른바 'Proof by AC(Accepted)'라고 불리는 상황을 자주 접하게 된다. 온라인 저지에서는 내 코드가 맞았다고 하긴 하는데... 정작 코드를 작성한 본인은 해당 로직이 왜 작동하는지 이해하지 못하는 상황. 이러한 상황이 발생하는 대표적인 사례는 정당성 증명을 생략한 상태로 그리디 알고리즘

연속 속도 변화 환경에서의 최단 시간 경로 분석

본 포스트는 본인이 제작한 2025학년도 경기과학고등학교 수학II 과목 자율탐구보고서의 내용을 기반으로 작성되었습니다. 서론 공간상의 각 위치에서 이동 속도가 주어질 때, 한 점에서 다른 점으로 이동하는 최단 시간 경로를 찾는 문제는 실생활의 다양한 사례와 연계된다. 대표적으로 해변가에서 최단 구조 시간 경로를 찾는 문제는 한 직선을 기준으로 두 평면에서 이동 속도가 다를

후원 아동'다움’이라는 허상 - 『후원 명세서』(오선영)을 읽고

우리는 종종 선행(善行)을 통해 스스로의 도덕적 만족감을 충족하고자 한다. 나의 행동이 다른 사람에게 도움이 되었다는 생각에서 오는 행복은 사회의 힘든 이들을 돕는, ‘후원’의 강력한 원동력이 되기도 한다. 오선영의 소설 『후원 명세서』는 ‘후원’이라는 행위 속 숨겨진 사람들의 복잡한 심리를 다룬다. 소설은 오랜 기간 아동을 후원해 온

시리즈 | Quantum Chemistry - 1. 흑체 복사와 양자역학의 태동

양자역학의 문을 연 전설적인 발견

영화 단평

List 1. 극장판 짱구는 못 말려: 어른 제국의 역습 2. 천공의 성 라퓨타 3. 극장판 체인소맨: 레제편 4. 마보로시 한 영화에 대한 긴 글만 쓰려니 부담감에 이어나가기도 어려워 시작한 활동. 지속적으로 업데이트될 가능성이 높다. 몇몇 영화는 확장되어 별도의 글로 작성될 수 있다. [극장판 짱구는 못 말려: 어른 제국의 역습] (2008)

슈트라센 알고리즘

행렬 곱 빠르게 하기

딥러닝으로 증명하기(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)-S_

상자 속 입자 문제 | Particle in a Box

❗이 글을 이해하기 위해서는 슈뢰딩거 방정식을 알고 있어야 합니다. 잘 모른다면 이 글을 꼭 한번 쭉 읽고 오세요~! 양자역학이란 미시 세계의 물질 작용을 파동함수를 활용해 탐구하는 학문으로, 우리에겐 매우 추상적이고 어렵게 느껴지는 분야다. 그러나, 양자역학적 도구를 활용한다면 의외로 우리 삶 중 기존 모델로 설명이 안되는 현상이 쉽게 설명되기도 해, 양자역학을