수학적 마크업 언어

수학적 마크업 언어는 수학적 표기법에 기초한 수학적 공식의 표현을 위한 컴퓨터 표기법이다.컴퓨터는 일반적으로 선형 텍스트와 더 한정된 문자 집합을 다루기 때문에 전문 마크업 언어가 필요하다(유니코드에 대한 지원 증가는 매우 단순한 사용을 낭비하고 있지만).공식적으로 표준화된 구문은 컴퓨터가 렌더링 또는 평가를 위해 다른 모호한 내용을 해석할 수 있게 한다.컴퓨터 해석 가능한 구문의 경우 TeX/LaTeX와 MathML(Mathematical Markup Language)이 가장 인기 있다.

인적 입력에 대한 공지침

인간의 입력과 컴퓨터의 해석에 인기 있는 언어는 TeX^[1]/LaTeX와^[2] eqn이다.^[3]

Macsyma, Mathematica (Wolfram Language), Mapatica, MATLAB와 같은 컴퓨터 대수 시스템은 각각 고유의 구문을 가지고 있다.

다른 인간과의 비공식적인 의사소통이 목적일 때, 구문은 종종 임시방편으로, 때로는 "ASCII 수학 표기법"이라고도 불린다.학계는 논문 작성에 익숙해 TeX에 기반한 구문을 사용하는 경우가 있다.언어를 프로그래밍하는 데 사용되는 사람들은${\displaystyle \mathrm{}}${$${\$displaystyle \neg$}에 대해 "!!"와 같은 속기를 사용할 수도 있다$.$ 웹 페이지는 작은 부분집합(예: 위첨자)을 표시하기 위해 제한된 양의 HTML을 사용할 수도 있다.^[4]애드혹 구문은 모호한 구문을 해석하기 위한 맥락을 필요로 하는데, 예를 들어 "<="는 "에 의해 암시된다"거나 "보다 작거나 같을 수 있다"거나 "dy/dx"는 파생상품을 나타낼 가능성이 있지만, 엄격히 말하면 dx로 나눈 유한 수량 dy를 의미할 수도 있다.

유니코드는 ASCII에만 비해 수학에 대한 지원을 향상시킨다.^[5][6]

예

TEX	eqn	특별 ASCII	애드혹 유니코드	공식
$a^2$	2인승.	a^2	a²	${\displaystyle a^{2}}$
$\sum_{k=1}^N k^2 $	{k = 1 }에서 N { k Sup 2 }까지의 합계	sum_{k=1}^N k^2	σ_{k=1}^N k²	${\displaystyle \sum _{k=1}^{{N}k^{2}}$
$\neg (a > 2) \Rightarrow a \le 2$	neg (a > 2) drarrow a <= 2	!(a > 2) => a <= 2	¬(a > 2) ⇒ a ≤ 2	${\displaystyle \neg (a)2)\오른쪽 화살표 a\leq 2}$

컴퓨터 교환을 위한 마크업 언어

컴퓨터 간 통신에 최적화된 마크업 언어로는 MathML,^[7] OpenMath, OMDoc 등이 있다.이것들은 명확성, 구문 분석성 및 모호성을 최소화하기 위해 장황한 가격으로 설계된다.그러나, 그 장황한 점은 인간이 직접 타이핑하는 것을 더 서투르게 만든다.^[7]

전환

많은 입력, 렌더링 및 변환 도구가 존재한다.

마이크로소프트 워드는 2007년까지 MathType의 제한된 버전인 방정식 편집기를 포함했다.이를 통해 그래픽 사용자 인터페이스를 사용하여 공식을 입력하고 MathML과 같은 표준 마크업 언어로 변환할 수 있다. 마이크로소프트가 마이크로소프트 오피스 2007과 오피스 오픈 XML 파일 형식을 출시하면서, 새로운 형식인 "Office Math Markup Language"(OMML)를 사용하는 새로운 방정식 편집기를 도입했다.양립성의 결여로 인해 일부 권위 있는 과학 저널들은 마이크로소프트 오피스 2007을 사용하여 제작된 원고를 받아들이지 않았다.^[8][9]

SciWriter는 MathML과 LaTeX를 생성할 수 있는 또 다른 GUI이다.^[10]

자바스크립트 프로그램인 ASCIIMathML은 특별 ASCII 표기법을 MathML로 변환할 수 있다.^[11]

참고 항목

• 문서 마크업 언어 목록
• 문서 마크업 언어 비교

참조

외부 링크

• MathML 공식 웹사이트