• 翻訳上の注意：
  • この翻訳は、和志武 功久が独自に翻訳をしたもので、翻訳途上における誤植・誤訳を含んでいる可能性があります。
  • 日本語版はあくまで参考試訳であり、唯一標準たり得るものはW3Cのウェブサイトに掲載されている英語版 のみです。英語版と意味上の差異がある場合は、英語版が標準となります。
  • もし翻訳上の誤訳を発見した場合は、どんな些細なことでも構いませんので、こちらのフォームからご連絡ください。
  • なお、一般的な日本語環境に特有の問題を防ぐため、以下のような処置を施しています (W3C承諾):
    • 斜体 は和文書体では読みづらかったり表示が崩れることがあるため、原文中で斜体になっている単語は 太字 + 下線付き に変更しました。
    • 翻訳上の補足等を訳注として付加しています。

要旨

この仕様書は、数学マークアップ言語、すなわちMathMLについて定義するものです。 MathMLは、数式を表現し、その構造と内容の両方を捉えるためのXMLアプリケーションです。 MathMLの目的は、HTMLがテキストに対して可能にした機能のように、数学がワールドワイドウェブ上で提供され、受信され、そして処理されるようにすることです。

このマークアップ言語MathMLの仕様書は、それを用いたレンダラーやエディター、つまりMathMLを入出力のプロトコルとして用いて通信するソフトウェアを開発または実装する人々を主な読者として想定しています。 本文書は、ユーザーガイドではなく、どちらかというと参考文献です。

MathMLは、数学の表記及び内容の両方を符号化するために用いることができます。 MathMLのタグの約38%は抽象的な表記上の構造を表現するためのものであり、また、170個ほどのタグは曖昧さを残さずに式の意図を特定するためのものです。 本仕様書の後半の章では、MathMLのコンテンツ要素とプレゼンテーション要素がどのように相互作用し、MathMLのレンダラーがどのように実装されブラウザと相互作用すべきかについて論じています。 最後に本文書は、数学に用いられる特別な文字について、そのMathMLにおける取り扱い、Unicodeにおける表現(presence)、及び書体との関係について述べています。

MathMLは人間に可読ですが、一般的には、数式エディター、対話プログラム、及び他の特別なソフトウェア・ツールを用いてMathMLを生成することになります。 そのようなMathMLツールは、フリーウェア・商用プロダクトともすでに存在しており、また、さらに多くのものが開発されています。

本文書の位置づけ

この節は、本文書の公開時における位置づけについて述べたものです。 他の文書によって本文書が取って代わられることがあります。 W3Cの最新の出版物一覧及び本技術報告書の最新改訂は、W3C技術報告書一覧 (http://www.w3.org/TR/) にあります。

本文書は、W3C数学作業部会によって勧告として作成されたもので、W3C数学活動の一部です。 W3C数学作業部会の目標は、W3C数学作業部会憲章(2006年7月改訂)で論じています。 本文書の著者は、W3C数学作業部会のメンバーです。 W3C数学作業部会の参加者の一覧が入手できます。

本文書は、W3C委員、ソフトウェア開発者、及び他のW3C部会や関連団体によって審議され、W3C委員長によりW3C勧告として承認されたものです。 これは安定した文書であり、他の文書から参考文献または引用文献として利用することができます。 W3Cは勧告を作成することにより、仕様への注目を集め、その広い利用を推進することとし、もってウェブの機能性及び相互運用可能性を向上させています。

W3C数学作業部会は、包括的な テストスイートを保守しています。 これは一般に公開されており、開発者はその表示結果を提出することが推奨されます。 テスト結果は、一般に公開されます。 それぞれの代表的なテストに対して最低2つの相互運用可能な実装を表示しています。 詳しくは、実装報告にあります。

MathML 3.0 仕様書と非常に関連の高いものに、同じく勧告として承認されたCSSのためのMathMLプロファイルがあります。 これはカスケーディングスタイルシートを用いて書式設定が可能なMathML 3.0のプロファイルについて述べたものです。

MathML 2.0仕様(及びその第2版)は、2001年からW3C勧告となっていました。 その勧告以来、W3C数学関連部会は、MathMLの利用及び改善可能な問題点についての体験報告を集めました。 数学作業部会の再設立は、MathMLの全体的な設計を変更する目的ではありません。 MathML 3における主な追加事項は、双方向レイアウト、よりよい改行や明確な位置指定、初等算術表記、及びよく定義されたセマンティクスにおける新たなコンテンツMathMLボキャブラリーです。 MathML 3では、仕様書の構造も見直されました。

本文書は、 W3C特許ポリシー(2004年2月5日)の下で活動する部会によって作成されました。 W3Cは、当該部会の成果物と関連して作成された特許開示公開リストを保守しています。 同ページは、また、特許開示のための手続きについても触れています。 Essential Claim(s)を含むと信じられる特許について知識を有するいかなる人も、当該情報について、W3C特許ポリシー第6節に基づき開示しなければなりません。

MathML及びW3Cを通じた支援に関する問題についての議論は、数学作業部会の公開メーリングリスト (リストアーカイブ) で行われています。 購読するには、件名にsubscribeを含めたメールをwww-math-request@w3.orgへ送信してください。

本文書の基本的な章構成は、以前のMathML 2.0勧告 [MathML2]の構成に基づいています。 MathML 2.0はW3C勧告MathML 1.01 [MathML1]の、MathML 3.0はW3C勧告MathML 2.0の、それぞれ改訂となっています。 すべての章が更新され、新しい要素と属性が追加されるとともに、廃止されたものがあります。 説明資料や文字及び実体についての資料、MathML DOMについての資料等などが、別文書に移動しました。 文字実体に関する議論は、別のW3C勧告 XML文字実体定義 [Entities] としてまとめられました。 MathMLのCSSとの併用に関する問題については、別文書CSSのためのMathMLプロファイル [MathMLforCSS]としてまとめられ、これも付随するW3C勧告となっています。

MathML 2.0 第2版からの最大の違いは第4章及び第5章ですが、仕様書を通して細かな修正が加えられています。 前勧告からの変更点の詳細は、以下の通りです。

• かつて第1章及び第2章に含まれていた非標準的な解説や過去のMathML仕様書に含まれていた例の多くはMathML 3の仕様書から削除され、MathML Primerに含まれ、別文書として扱われる予定です。 このことにより、この正式なMathML3仕様書は実装における参考文書となり、MathMLの展開についての理解を支援するための一助となることでしょう。 第1章及び第2章の残りの内容は、文書のその他の部分の変更点や急速に発展するウェブ環境を反映して編集されました。 一部の文章は、ウェブ及びXMLの黎明期に遡って解説をしていましたが、こうした説明も一般的となりましたので本仕様では特別に扱わないことにしました。

• 第3章は、プレゼンテーションマークアップについて述べたもので、改行や多くの国々で使われる初等算術表記(mstackやmlongdiv等)のためのマークアップについて追加しています。 その他の変更点として、mglyph、mpadded及びmaction要素の改訂及び属性値の大規模な統合と整理が行われました。 また、W3Cノート「Arabic mathematical notation」に記録されているように、これまでの作業により、双方向テキストとの関連づけの明確化とRTLテキストの例が追加されました。

• 第4章は、コンテンツマークアップに関するもので、大規模な変更及び追加を含みます。 実際のコンテンツの意味づけについては原則としてこれまでのままですが、よりよい表現のために様々な変更がなされました。 また、新しい要素がいくつか追加されました。

• 第5章は、マークアップ言語の混在の処理という目標が明確になったことから、さらに改良されました。 この章では、特にMathML仕様の各部分---特にプレゼンテーションマークアップとコンテンツマークアップ---の相互関係について、取り上げます。

• 第6章は新しく追加された章で、MathMLとそのホスト環境との相互作用について取り扱っています。 この章では、ウェブ上での展開の観点から、MathML仕様とXMLやHTMLの相互関係について取り扱います。 特に、MathMLとCSSの相互作用について議論しています。

• 第7章は、以前の第6章を引き継いだもので、Unicode及びW3Cにおける名前付き文字実体にまつわる新たな状況を反映し、書き換え及び再構成されました。 W3Cの新たなXML Entity Definitions for Charactersは、これまで数学に用いられていた文字実体を取り込み、新たなW3C勧告[Entities]となりました。

• 8つの付録についても、改訂が行われました。 付録Aは、新しくRelaxNGスキーマを加え、またMathML3のDTD問題について議論しています。 付録Bは、MathMLに関連づけられるメディアタイプについて言及し、W3Cの現在の標準的手続きに則り、新しく3つのメディアタイプを登録することについて暗に要求しています。 付録Cは、演算子ディクショナリーについて、単純化し再検討を行っています。 付録D、E、F、G及びHは、以前の仕様に含まれていた非標準的内容を含み、適宜更新されています。

• 本文書の変更点についての詳細な議論は、付録F 変更点にあります。