검색 결과
"mathematics" · 6개 기사 · Dev/Tools
Turns는 Radians보다 낫다 (2022)
Turns are Better than Radians (2022)
각도 표현에서 turns 단위의 직관성과 계산 편의성을 강조. 프로그래밍과 그래픽스에서 radians보다 읽기 쉽고 오류를 줄일 수 있음.
Palomar: Lean 검증 수학 레지스트리
Palomar: A registry of Lean verified mathematics
Lean으로 검증된 수학 정리와 결과를 모아 관리하는 레지스트리를 소개. 형식 검증 수학의 재사용성과 검색성을 높이는 시도.
NoiseLang: N=5는 Dirac delta와 같다
NoiseLang: Where N = 5 is a Dirac delta
N=5를 Dirac delta에 비유한 NoiseLang 소개. 실험적 언어 설계와 수학적 유머를 섞은 기술 글.
Show GN: Algorithm Addict - 이산수학·알고리즘을 단원별 문제로 학습하는 Android 퀴즈 앱
Show GN: Algorithm Addict - 이산수학·알고리즘을 단원별 문제로 푸는 안드로이드 퀴즈 앱
이산수학과 알고리즘을 18개 단원, 800개 이상의 문제로 학습하는 Android 앱. 명제 논리·그래프·트리·BFS·DFS·최소 신장 트리 등을 객관식과 단답형으로 제공.
1910년의 『프린키피아 마테마티카』가 현대적으로 읽히는 이유
1910년의 『프린키피아 마테마티카』가 현대적으로 읽히는 이유
Principia Mathematica가 참조 투명성, 타입, 자유 변수와 바인딩 변수, 치환, 스코프 같은 현대 프로그래밍 언어의 핵심 개념을 이미 다뤘다고 설명함. 명제 함수와 겉보기 변수 개념이 람다 항, 바인딩 변수, 알파 동등성, 캡처 회피 치환과 대응된다는 점을 짚음.
πFS - 데이터를 하드 드라이브 대신 π에 저장하는 파일 시스템
πFS - 데이터를 하드 드라이브 대신 π에 저장한다는 파일 시스템
πFS는 파일을 디스크가 아니라 π에 저장한다는 발상을 구현한 실험적 파일 시스템임. π가 가능한 모든 파일을 포함한다는 수학적 가정에 기반한 개념 증명 성격의 프로젝트임.