타입 검사를 컴파일 통과로만 보던 시선에서, 논리로 읽는 타입 시스템까지
Jan 25, 2026
펑터와 모나드로 함수 합성의 실패를 다루는 법
Jan 27, 2020
수학이 어렵다고? 패턴만 봐도 문제 해결이 쉬워진다
Oct 30, 2019
데이터가 많아질수록 평균 계산이 느려진다고? 이렇게 해결하자!
Aug 11, 2019
수학을 잘해야 좋은 개발자가 되는 건 아니지만
Jul 17, 2019
중앙제곱법, 선형합동법, 메르센 트위스터로 보는 난수 생성 알고리즘
Jul 14, 2019
오차를 줄이기 위해 신경망이 값을 조정하는 과정
Jul 19, 2018
만유인력 법칙을 적용한 중력 시뮬레이션
May 06, 2017
중력은 어떻게 공간을 휘게 만드는가?
케플러 방정식을 활용한 천체 시뮬레이션 구현
May 03, 2017