The TeXsnipp Manifesto

The $\TeX$snipp Manifesto

서문: 도구는 부드러워야 한다

지식을 기록하는 과정에서 도구가 지식의 확장을 방해해서는 안 됩니다. \(\TeX\)snipp은 단순한 에디터를 넘어, 수학적 사고가 텍스트와 수식으로 치환되는 과정에서 발생하는 모든 ’마찰’을 제거하기 위해 탄생했습니다.

기존 환경의 한계: Overleaf를 넘어서

Overleaf는 협업의 표준이 되었지만, 개인의 창작 흐름을 유지하는 데는 몇 가지 치명적인 한계를 보입니다.

  • 네트워크 의존성: 서버 응답을 기다리는 ’컴파일 딜레이’는 즉각적인 피드백을 원하는 연구자의 몰입을 깨뜨립니다.
  • 맥락 전환의 피로: 다국어 입력과 \(\LaTeX\) 문법 사이의 불일치는 인지적 부하를 가중시킵니다. 매번 한/영 전환을 눌러야 한다는 제약은 신체에 너무 큰 부담을 줍니다.
  • 무거운 인터페이스: 웹 기반의 비대한 UI는 작업의 본질인 '글쓰기’보다 ’도구 관리’에 더 많은 신경을 쓰게 만듭니다.
  • 잘못된 방향: 도대체 왜 \(\LaTeX\) 에디터에 AI 기능이 필요합니까? “AI”라는 허울 좋은 핑계를 대면서 사람들의 프로젝트 파일에 접근해 뒤에서 개인정보를 수집하고 데이터를 팔아먹겠다는 의도가 보입니다. Corporate greed도 선이 있습니다. 이미 Overleaf는 그 선을 넘었습니다.

TeXsnipp의 3대 핵심 가치

심리스한 다국어 워크플로우

우리는 한국어 사용자가 수식을 작성할 때 겪는 전환의 고통을 이해합니다. \(\TeX\)snipp은 입력 소스와 수식 모드 사이의 장벽을 허물어, 언어의 경계를 느끼지 않고 수식을 코딩할 수 있는 환경을 제공합니다.

스니펫을 통한 고속 작문 (Velocity)

단순한 자동 완성을 넘어, 스니펫은 사고의 최소 단위가 됩니다. 반복되는 정리(Theorem)와 복잡한 수식 구조를 단 몇 글자의 입력으로 완성함으로써, 타자 속도가 생각의 속도를 추월하도록 돕습니다.

로컬 퍼스트의 반응성

WASM(WebAssembly) 기술을 활용한 로컬 컴파일러는 서버를 거치지 않는 즉각적인 피드백을 보장합니다. 당신의 데이터는 오직 당신의 제어 하에 있으며, 수정과 동시에 렌더링되는 결과물은 논리 전개의 속도를 비약적으로 높여줍니다.

“수식을 코딩하는 시간은 줄이고, 수학을 사유하는 시간은 늘리는 것.
그것이 TeXsnipp이 존재하는 이유입니다.”

댓글

댓글도 $\displaystyle \LaTeX{} $ 를 지원합니다!
\$(latex code)\$ 로 수식을 입력하세요!

post-of-the-week

미분적분학 II - 편미분

이미지
01-01-Partial derivatives 다변수함수 편미분에 대해 어쩌고 저쩌고 하기전에 일단 다변수함수가 무었인지 알아야 한다.. [!정의] 이변수함수의 정의 순서쌍 ( x , y ) 의 집합 D 를 정의역으로 하고, 임의의 (집합 D 의 원소인) 순서쌍 ( x , y ) 에 대하여 이를 공역에 원소에 대응시키는 규칙을 이변수 함수라고 한다. [!정의] level curves the level curves of a function f is the set of ( x , y ) that satisfies the equation f ( x , y ) = k ∴ level curve = { ( x , y )   |   f ( x , y ) = k } 여기서 한단계 더 나아간다면? “레벨 서피스” 가 만들어 진다고 할수 있다. [!정의] 레벨 서피스 방정식 f ( x , y , z ) 에 대하여 { ( x , y , z )   |   f ( x , y , z ) = k } 리미트와 연속성 이제부터는, 다변수 함수의 극한을 생각해야 한다. [!정의] limit (multi-variable) lim ( x , y ) → ( a , b )   f ( x , y ) = L ⟺ ∀ ϵ > 0 , ∃ δ > 0   s.t.   ( x − a ) 2 + ( y − b ) 2 < δ ⟹ | f ( x , y ) − L | < ϵ 이를 해석하는 방법은, ( x , y ) 가 ( a , b ) 로 어떤 “길” 을 따라서 가든, 일정한 값에 가까워 져야함을 의미한다. note: 우리는 입실론 델타를 이용해서 극한값을 구할수 없음을 안다 (입델은 극한값으로 의심되는 값을 컨펌하는 도구이지, 절대 극한값을 구하는 도구가 아니다!). 직관적으로, y = n x m 을 대입해 분석해 보자. 그리고 우리는 조임정리 가 다변수 상황에서도 동일하...
Read more »

미분적분학 II - 다중적분

이미지
01-02-다중적분 Prelude And Motivation 지금까지 우리는 편미분 을 배웠다. 그렇다면 이젠 뭔가 적분도 배워야 하지 않을까? 라는 생각이 저절로 든다. 그렇기에 우리는 “다중적분” 에 대해 배울 것이다. 일단 기본적인 컨셉은 “일중적분” 과 같다, 적분을 그냥 여러번 하면 다중적분인 거다. ∫ 0 1 ∫ 0 1 x y   d x d y 를 생각하자, 여기서 x , y 는 둘다 변수 이므로, 사실은 이렇게 보면 된다 : ∫ 0 1 ( ∫ 0 1 x y   d x ) d y 이보다 간단할수는 없는 산수를 하면, ∫ 0 1 [ 1 2 x 2 y ] x = 0 x = 1   d y = ∫ 0 1 1 2 y   d y = 1 4 이다. 이처럼 간단한 컨셉인 “nested-integral” 에서 시작해서 깊은 이해까지 나아가 보도록 하자. Remark 적분이란 무엇인가? 우선 [!정의] (리만)적분 lim n → ∞ ∑ k = 1 n Δ x k f ( x k ) (구분구적법) 을 생각하자, 이떄, lim n → ∞ m a x ( Δ x 1 , Δ x 2 ⋯ Δ x n ) = 0 이고, 어떻게 구간을 나누든 저 무한합이 유니크한 값을 가진다면 , 그 값을 ∫ a b f ( x ) d x 라 정의한다. 마찬가지로, 이중적분도, [!정의] 이중적분 영역 R = [ a , b ] × [ c , d ] 에 대하여 ∬ R f ( x , y ) d A = lim m , n → ∞ ∑ i = 1 m ∑ j = 1 n f ( x i j ′ , y i j ′ ) ( Δ x Δ y ) 어떻게 구간을 나누든 저 무한합이 유니크한 값을 가진다면 , 그 값을 ∬ R f ( x ) d x 라 정의한다. 이처럼 정의한다. 이때, ∫ 는 1차원인 (단변수) 것을 적분하여 2차원의 넓이가 나온다! (area under the curve) 그렇다면 ∬ 는 2차원인 (2변수) 것을 적분하여 3차원의 ...
Read more »

해석학- 집합의 성질들

이미지
01-01-집합의 성질들 Before We Start… 우리는 지금까지 미적분학 을 배우면서 practical 한 수학에 있었다. 특히 벡터 미적분학은 물리를 위한 수학이라고 불러도 무방할 정도로 물리와의 깊은 연관을 보여주었다. 하지만 우리는 물리학자가 아닌 수학자, 결국 순수수학의 세상으로 빠질 대비가 필요해진다. 이런 “수학으로의 빠짐” 의 초석이라 할수있는 해석학 을 시작해 보자. 우선 아주 중요한 사실 하나를 집고 넘어가도록 하자, 그건 바로 이 세상의 모든건 추상 을 통해 만들어진 것이다. 즉 우리는 이제부터 자연수, 유리수 ,정수를 전부 우리가 엄밀한 정의 를 통해서 만들어낸 대상 으로 보아야 한다는 것이다. 실수의 정의 (“건축”) [!정의] \[\begin{align*} &\mathbb{N} = \{ 1,2,3, \cdots\} \\ &\mathbb{Z} = \{ \dots -3,-2,-1 , 0 ,1,2,3,\cdots \} \\ & \mathbb{Q} = \left\{ \frac{n}{m} ~|~ n,m \in \mathbb{Z} , m \neq0\right \} \end{align*} \] 을 통해서 우리는 자연수,정수,유리수를 정의했다. 이정도면 충분하게 많은 종류의 수들을 “정의” 했다고도 할수 있지만, 아직 우리는 많이 부족하다. \(x^2 =2\) 를 만족하는 해 \(x\) 가 존재하는가? 라는 질문에 대해 우리는 (귀류법을 통해서) “그런 유리수는 없다” 라는 답변을 얻는다. 하지만 여기서 “위 식을 만족하는 새로운 수” 를 “정의” 할수 있게 된다 . (이것이 실수!) 1 우선 실수의 formal 한 정의를 알아보도록 하자. 해석학의 스탠다드 교제인 루딘의 책에 따르면 실수 \(\mathbb{R}\) 는 “ \( \mathbb{Q}\) 를 부분집합으로 가지는 최소상계 성질(least-upper-bound property)을 가지는 순서체(ordered f...
Read more »