프로그래밍의 도를 찾아서

프로그래밍 언어의 의미공간 이론(domain theory)에서는 더 혹은 덜 정의되어 있는지를 순서 관계로 정의한다. 이러한 순서로 만들어지는 여러 구조들에 대해서 살펴본다.

SwiftUI의 재귀적인 View 구조로 Sierpinski 프랙탈을 구현한 후, Shape와 Animatable을 통해 프랙탈 트리를 만들어본다.

SwiftUI의 Alignment, Preference, GeometryReader, 그리고 Anchor을 통해 중첩된 View들을 정렬하는 방법을 알아본다.

SwiftUI와 Combine을 사용해 Clean Architecture를 구현해보고, 왜 Clean Architecture가 iOS 환경에 어울리지 않는지 주장한다.

블로그를 GitHub Pages와 Jekyll로 이전하면서 있었던 삽질을 기록한다.

복소수에 대해 알아본 후, 지수의 정의역을 복소수로 확장해 i의 i승의 값을 구해본다.

에라토스테네스의 체를 통해 C언어, Python 2의 CPython 2 구현 및 PyPy2 구현, Swift 4의 실행 속도를 비교해본다.

브라키스토크론(brachistochrone), 혹은 최단시간강하곡선을 오일러-라그랑주 방정식을 통해 유도하여, 이것이 사이클로이드와 일치함을 보인다.

Fermat 점(페르마 점)은 Euclid 평면(유클리드 평면)에서 주어진 세 점이 있을 때, 그 세점들까지의 거리의 합이 최소인 점이다. Fermat 점에서 세 꼭짓점까지 이루는 직선들은 서로 120도를 이룬다는 것을 해석적인 증명과 기하적인 증명, 두 가지로 보인다.

영화 《컨택트》 (원제: Arrival)의 원작 소설인 〈네 인생의 이야기〉에는 감동적인 스토리뿐만이 아니라 하드 SF 답게 과학적으로 철학적인 내용도 담고 있다. 〈네 인생의 이야기〉의 내용뿐만이 아니라 최소 작용 원리, 라그랑주 역학 등에 기초한 소설의 배경에 대해서도 알아본다.