타입 시스템은 왜 증명처럼 동작하는가

타입 검사를 컴파일 통과로만 보던 시선에서, 논리로 읽는 타입 시스템까지

Jan 25, 2026

어떻게 하면 안전하게 함수를 합성할 수 있을까?

펑터와 모나드로 함수 합성의 실패를 다루는 법

Jan 27, 2020

수학과 함께 복잡한 문제를 단순하게 만들자

수학이 어렵다고? 패턴만 봐도 문제 해결이 쉬워진다

Oct 30, 2019

실시간 데이터의 평균을 효율적으로 구하기

데이터가 많아질수록 평균 계산이 느려진다고? 이렇게 해결하자!

Aug 11, 2019

개발자는 수학을 잘해야할까?

수학을 잘해야 좋은 개발자가 되는 건 아니지만

Jul 17, 2019

컴퓨터가 만드는 랜덤은 정말로 랜덤할까?

중앙제곱법, 선형합동법, 메르센 트위스터로 보는 난수 생성 알고리즘

Jul 14, 2019

[Deep Learning 시리즈] Backpropagation, 역전파 알아보기

오차를 줄이기 위해 신경망이 값을 조정하는 과정

Jul 19, 2018

[JavaScript로 중력 구현하기] 2. 코딩하기

만유인력 법칙을 적용한 중력 시뮬레이션

May 06, 2017

[JavaScript로 중력 구현하기] 1. 중력이란 무엇일까?

중력은 어떻게 공간을 휘게 만드는가?

May 06, 2017

[JavaScript로 천체 구현하기] 행성의 움직임을 구현해보자

케플러 방정식을 활용한 천체 시뮬레이션 구현

May 03, 2017