Mathematical Markup Language

このページは著作権侵害のおそれが指摘されており、事実関係の調査が依頼されています。 このページの現在または過去の版は、ウェブサイトや書籍などの著作物からの無断転載を含んでいるおそれが指摘されています。もしあなたが転載元などをご存知なら、どうぞこのページのノートまでご一報ください。 著作権侵害が確認されると、このページは削除の方針により一部の版または全体が削除されます。もしこのページの加筆や二次利用をお考えでしたら、この点を十分にご認識ください。

この項目「Mathematical Markup Language」は翻訳されたばかりのものです。不自然あるいは曖昧な表現などが含まれる可能性があり、このままでは読みづらいかもしれません。（原文：MathML 15:14, 2 January 2017 の版） 修正、加筆に協力し、現在の表現をより自然な表現にして下さる方を求めています。ノートページや履歴も参照してください。（2017年2月）

Mathematical Markup Language（マスマティカル マークアップ ランゲージ 略：MathML（マスエムエル））は、XMLアプリケーションの一つで、数式を記述するためのマークアップ言語である。単体では数式の記述しかできないため、文書として利用するにはXHTMLに埋め込んでXHTML文書として扱うなどする。

コンピュータ上で数式を記述する要求はウェブが普及する前からあった。なかでもTeXは有名でかつよく使われており、数式の表記方法としてもテキストのみで表記せざるを得ないときなどに用いられる他、ウィキペディアを含むウィキ等での数式を表現する手段として今日でもよく使われている。しかし、HTML上で数式を表現する手段がなく、ウェブで数式を表現するには画像にするか、PDFなどHTML以外の形式にすることが多い。

なお、HTML 3.0では数式を表現できるようにしていた。1995年の案ではMATH要素が入れられることになっていた^[1]。これはMathematicaで有名な Wolfram Research の提案をもとにしたものである。しかしHTML3.0は後に破棄され、またほとんどのブラウザはMATH要素に対応しなかった。HTMLに数式を載せること自体は果たせなかったものの、後のW3CのMathワーキンググループの前身といえる HTML Math Editorial Review Board が設立されるなどした。ちなみに、これは現在のMathMLとは違い、TeXの数式表記に似た表記法であった。

1999年7月にMathML規格バージョン1.01がW3CのMathワーキンググループから勧告された。そして2001年2月にバージョン2.0が勧告され、2003年10月にバージョン2.0第2版が勧告された。その後、2010年10月にバージョン3.0が勧告された。

MathMLのオリジナルのバージョンでは名前空間が決められていなかった。というのも、まだXML名前空間の仕様自体が決まっていなかったからである。こうした事情から名前空間を指定されないことが多いが、名前空間を http://www.w3.org/1998/Math/MathML と指定しないとMathMLと認識しない実装も多い。

MathMLは数式の要素のその表示をもってだけでなくその意味もまた処理する（MathMLの後者のものは「内容MathML」として知られる^{[訳注 1]}）。その内容が利用者にたいして通じるかどうかは、（方程）式の意味がその表示から離れて保たれるかどうかによる。例えば、それらにおいてMathMLが埋め込まれたウェブページは多くのブラウザーで自然なウェブページとして見ることができる、しかし視覚障害の利用者はそれらをスクリーンリーダー（例えば、Internet Explorer、(あるいは)9656+ビルトのOpera9.5のためのMathPlayerプラグイン、またはFirefoxのためのFire Vox（英語版）拡張版）の利用を通して同じようにMathMLを読むこともできる。

表現MathMLは（方程）式の（視覚的）表示に向けて用途を絞る、そしておおよそ30 個の構成要素をもつ。構成要素の名前はすべてmから始まる。ひとつの表現MathMLの表示は、それらのレイアウトを制御するものである（主に細部を細かく制御するものである、おおよそ50個の標識がまたある）、上位レベルの構成要素を使って組み合わされたところのトークンから組み立てられる。

内容MathMLは意味論においてまたは意味について、またはそれのレイアウトよりもむしろ表現に向いて用途を絞る。内容MathMLの中心は関数の適用を表示するところの<apply>構成要素である。適用されるその関数は<apply>のもとの最初の子の構成要素であり、そしてそれのオペランドまたはパラメーターは子の構成要素を保持する。内容MathMLはわずかな標識しか用いない。
識別子のようなものや数は、表現MathMLと比べて多量に、しかしciとcnのようなものの構成要素をもって、個別にマークアップされる。トークンの単なる他のタイプの存在よりもむしろ、times、powerなどの、数学的な意味をMathMLが認めるものである、明確な構成要素によってオペレーターは表示される。いろいろな関数とオペレーターのために100個を超えるいろいろな構成要素がある（[1]を見よ）。

よく知られた二次方程式の解の公式を例にする:

${\displaystyle x={\frac {-b\pm {\sqrt {b^{2}-4ac}}}{2a}}}$

これをTeXで記述すると以下のようになる:

x = \frac{-b \pm \sqrt{b^2 - 4ac}}{2a}

MathMLで記述すると以下のようになる:

<math>
 <mrow>
  <mi>x</mi>
  <mo>=</mo>
  <mfrac>
   <mrow>
    <mrow>
     <mo>-</mo>
     <mi>b</mi>
    </mrow>
    <mo>&PlusMinus;</mo>
    <msqrt>
     <mrow>
      <msup>
       <mi>b</mi>
       <mn>2</mn>
      </msup>
      <mo>-</mo>
      <mrow>
       <mn>4</mn>
       <mo>&InvisibleTimes;</mo>
       <mi>a</mi>
       <mo>&InvisibleTimes;</mo>
       <mi>c</mi>
      </mrow>
     </mrow>
    </msqrt>
   </mrow>
   <mrow>
    <mn>2</mn>
    <mo>&InvisibleTimes;</mo>
    <mi>a</mi>
   </mrow>
  </mfrac>
 </mrow>
</math>

このように人間の可読性を求めるならばTeXのほうが優れている。しかし、XMLアプリケーションであるMathMLは本来コンピュータによる数式の意味認識において有利となるよう設計されたものであり、人間がMathMLを直接書いたり編集したりすることは意図していない^[2]。

2015年現在、普及はしているとは言い難いが、MathML出力をサポートしているソフトは増えつつある。

MathMLをサポートするネイティブなエディタにはデザイン・サイエンス（英語版）からのMathFlowとMathType、ウルフラム・リサーチからのMathMagic（英語版）、Publicon（英語版）、そしてWIRISがある。^[3] W3CにMathMLのエディタのリストがある。^[4]
Mathematica、MapleおよびCasio ClassPad 300（英語版）のウィンドウズ版のようなものの数学のソフトウェア製品と同様に、（OpenOffice Mathによる）Apache OpenOffice、（LibreOffice Mathによる）LibreOffice、（以前の KOfficeの）Calligra Suite、そしてMS Office 2007のような主要な製品によってもMathMLはサポートされている。
Mozilla FirefoxのアドオンのFiremath（英語版）は、WYSIWYGのMathMLエディタを提供する。
たいていのエディタは表現MathMLだけを作り出す。MathDoxの数式エディタは表現だけでなく内容MathMLもまた提供するOpenMathエディタである。MathMLの表現、内容、ならびにそれらの混ざったマークアップを編集するのにFormulator MathML WeaverはWYSIWYGスタイルを使う。

TeXmacsなどのWYSIWYGなエディタでMathML出力をすることができるものや、MathMLをネイティブに読込・保存できるソフトとしてFormulator^[5]、Amayaなどがある。

他の数式表現形式からMathMLに変換するソフトもあり、例えばTeXからの変換ソフトとしてConTeXtやMathType、itex2mmlなどがある。またウェブ上で変換をするページもある。

ブラウザでのMathMLネイティブサポート（ブラウザのレンダリングエンジンによるMathMLのレンダリング）は進んでいない。対応しているのは、Gecko を採用している Mozilla Firefox などのブラウザ^[6]、Safari 5.1 以降にとどまる。Google ChromeではChrome 24で対応したが、実装上の問題からChrome 25で非対応になり^[7]、Chrome 109から再び対応した^[8]。Microsoft Edgeでも同様に対応した。Presto を採用している、Opera 9.50^[9]〜12.1 においては単体でほとんどの数式の表示が可能となったが、Opera 14 よりレンダリングエンジンが WebKit そして Blink になり非対応となった。

Internet Explorer は対応していない。ただしJavaScriptライブラリのMathJax^[10]や、Internet Explorer 用のプラグインMathPlayerなどを使うと、MathML非対応ブラウザでも表示することができる。

ブラウザでのMathMLのレンダリングの品質はインストールされているフォントに依存する。STIXフォント事業はオープンライセンスの数学フォントをリリースしている。Microsoft Windows付属のCambria Mathフォントもサポートしている。

アンテナハウスのAH FormatterはXMLまたはHTML中に埋め込まれたMathMLを可視化して印刷したり、PDFやSVGなどに出力できる^[11]。

JAWSは2015年に発売されたVersion 16.0よりMathMLに対応している^[12]。

コンピューター・エイデッド・エデュケーション（遠隔教育、電子教科書、そして他の教材）；魅力的なレポートの自動作成；数式処理システム；著作、教育、出版ツール（ウェブとデスクトップ・オリエンテッドの両方）、そして数学、科学、ビジネス、経済、その他の多くの他のアプリケーションのような多様なものにおいてMathMLフォーマットのサポートはソフトウェア・アプリケーションの開発を加速する。ソフトウェア開発者らにたいして彼らのアプリケーションにおいて機能的で数学的なレンダリング／編集／処理を組み入れるように簡易な方法の提供を行って、幾つかのソフトウェア・ベンダーらは彼らのMathMLエディタのコンポーネント・エディションを提案する。例えば、Hermitech LaboratoryからのFormulator ActiveX ControlはMathMLのエディタと同じようになるようにアプリケーションへ合併するようできる、Design Science（英語版）はインタラクティブな数式を含むものであるウェブ・ページを組み立てるためのツールキットを提供する（MathFlow DEvelopers Suite^[13]）。

1. ^ HTML Math
2. ^ “Mathematical Markup Language (MathML™) 1.01 Specification (Abstract)” (1999年7月7日). 2008年5月10日閲覧。 “While MathML is human-readable it is anticipated that, in all but the simplest cases, authors will use equation editors, conversion programs, and other specialized software tools to generate MathML.”
3. ^ WIRIS editor page describing the use of MathML.Wiris.com.Retrieved on 9 May 2012.
4. ^ MathML Software - Editors at W3C. W3C.org (24 April 2012). Retrieved on 9 May 2012.
5. ^ Hermitech Laboratory - Formulator Mathml Weaver
6. ^ Authoring MathML for Mozilla
7. ^ 「WebKitの数式（MathML）でSafariはボランティアの努力を採用し、数式を表示できる。Chromeは同じものを不採用として批判を浴びる。」『電子書籍、電子出版のCAS-UBブログ』 アンテナハウス株式会社、2014年3月8日
8. ^ “「MathML」に対応した「Google Chrome 109」が正式版に ～Windows 7/8.1対応はこれが最後”. 窓の杜. 2023年1月11日閲覧。
9. ^ Opera Desktop Team - Even more work
10. ^ MathJax
11. ^ MathML で記述した数式を PDF に変換
12. ^ JAWS16.0日本語版
13. ^ MathFlow, Dessci.com. Retrieved on 9 May 2012.

• W3C Math Home 規格書、FAQ、ソフトウェアの一覧がある

• Pavi, Sandhu (December 12, 2002). “The Mathml Handbook”. Charles River Media. 2015年10月2日閲覧。
• MathML 数式組版入門
• wiris - 数学教育のグローバルソリューション エディタの使用を体験できるデモンストレーション
• MathMLの未来を考える―（1）現状の整理

表 話 編 歴 W3C標準
製品・標準	推奨 ActivityPub CDF CSS DOM EXI Geolocation API（英語版） HTML (HTML5) ITS MathML OWL P3P PLS（英語版） RDF RDF Schema（英語版） SISR（英語版） SMIL SOAP SRGS（英語版） SSML SVG SPARQL Timed Text（英語版） VoiceXML ウェブストレージ WSDL WebSocket XForms XHTML XInclude XLink XML XML基底 XML暗号化 XML Events（英語版） XML情報集合 XML名前空間 XML Schema XML署名 XPath XPointer XProc（英語版） XQuery XSL XSL-FO XSLT 正準XML 勧告候補 Web Workers（英語版） 作業草稿 CCXML（英語版） CURIE Indexed Database API InkML（英語版） RIF（英語版） SCXML（英語版） sXBL（英語版） WICD（英語版） WebRTC XFDL（英語版） XFrames XBL（英語版） XHTML+MathML+SVG（英語版） XMLHttpRequest 覚書 XAdES XHTML+SMIL（英語版） 方針 Web Content Accessibility Guidelines 発案 W3C MMI（英語版） W3C MVS 廃止 C-HTML HDML JSSS（英語版） PGML（英語版） VML Web SQL Database（英語版）
団体	World Wide Web Consortium World Wide Web Foundation（英語版） SVG Working Group（英語版） WebOnt（英語版） W3C Device Description Working Group（英語版） WHATWG
ソフトウェア	Agora（英語版） Argo（英語版） Arena（英語版） Amaya Libwww Line Mode Browser
関連会議	IW3C2（英語版） World Wide Web Conference（英語版） WWW1（英語版）
Category:W3C勧告

この項目は、コンピュータに関連した書きかけの項目です。この項目を加筆・訂正などしてくださる協力者を求めています（PJ:コンピュータ/P:コンピュータ）。

• 表示
• 編集