数学用マークアップ言語 (MathML) ヴァージョン 3.0 第2版(Mathematical Markup Language (MathML) Version 3.0 2nd Edition 日本語訳) (original) (raw)

W3C勧告2014年4月10日

W3C Recommendation 10 April 2014

この文章のヴァージョン:
This version:

http://www.w3.org/TR/2014/REC-MathML3-20140410/

最新ヴァージョンのMathML 3:
Latest MathML 3 version:

http://www.w3.org/TR/MathML3/

最新のMathML勧告:
Latest MathML Recommendation:

http://www.w3.org/TR/MathML/

一つ前のヴァージョン:
Previous versions:

http://www.w3.org/TR/2014/PER-MathML3-20140211/
http://www.w3.org/TR/2010/REC-MathML3-20101021/

編集者のヴァージョン:
Editors' version:

http://www.w3.org/Math/draft-spec/

編集者:
Editors:

David Carlisle, NAG(訳注:ニューメリカルアルゴリズムグループ)
David Carlisle, NAG

Patrick Ion, アメリカ数学会 Mathematical Reviews(訳注:アメリカ数学会が発行している書誌情報データベース)
Patrick Ion, Mathematical Reviews, American Mathematical Society

Robert Miner (故人), Design Science社
Robert Miner (deceased), Design Science, Inc.

Ron Ausbrooks, Stephen Buswell, David Carlisle, Giorgi Chavchanidze, Stﾃｩphane Dalmas, Stan Devitt, Angel Diaz, Sam Dooley, Roger Hunter, Patrick Ion, Michael Kohlhase, Azzeddine Lazrek, Paul Libbrecht, Bruce Miller, Robert Miner (故人), Chris Rowley, Murray Sargent, Bruce Smith, Neil Soiffer, Robert Sutor, Stephen Watt
Ron Ausbrooks, Stephen Buswell, David Carlisle, Giorgi Chavchanidze, Stﾃｩphane Dalmas, Stan Devitt, Angel Diaz, Sam Dooley, Roger Hunter, Patrick Ion, Michael Kohlhase, Azzeddine Lazrek, Paul Libbrecht, Bruce Miller, Robert Miner (deceased), Chris Rowley, Murray Sargent, Bruce Smith, Neil Soiffer, Robert Sutor, Stephen Watt

この文書の正誤表を参照できます. 正誤表は重要な訂正を含んでいる場合があります.

Please refer to the errata for this document, which may include some normative corrections.

HTML版に加えて(注釈:英語版はHTML4.0で書かれていますが, 日本語訳はXHTML1.0で書かれています), 次の標準でないフォーマットでもこの文書は利用できます. 差分付きHTML版, XHTML+MathML版, 単独のページのHTML5+MathML版, PDF版が利用できます(注釈:英語版のみです).

In addition to the HTML version, this document is also available in these non-normative formats: diff marked HTML version, XHTML+MathML version, single page HTML5+MathML version, and PDF version.

訳についても見ることができます.

概要

Abstract

この仕様書は, 数学用マークアップ言語, MathMLを定義しています. MathMLは数学表記を記述したり, その構造と意味をうまく再現したりするマークアップ言語です. MathMLの目標は, HTMLが文章に対してできるようにしたように, 数学をインターネット上で提供したり, 受け取ったり, 処理できたりするようにすることです.

This specification defines the Mathematical Markup Language, orMathML. MathML is a markup language for describing mathematical notation and capturing both its structure and content. The goal of MathML is to enable mathematics to be served, received, and processed on the World Wide Web, just as HTML has enabled this functionality for text.

このマークアップ言語MathMLの仕様書は本来, MathMLの描画ソフトウェアや編集ツール, もしくは入出力のプロトコルにMathMLを利用して通信するソフトウェアの, 開発もしくは実装をしている人々を読者として想定しています. この仕様書は, ユーザーガイドでは_なく_参照用の文書です.

This specification of the markup language MathML is intended primarily for a readership consisting of those who will be developing or implementing renderers or editors using it, or software that will communicate using MathML as a protocol for input or output. It is not a User's Guide but rather a reference document.

MathMLは, 数学表記と数学の内容の両方をコード化するのに利用できます. 約38のMathMLタグが抽象的な表記構造については説明しており, 他の約170のMathMLタグが式の意図している意味を明確に特定する方法を提供しています. さらに続く章では, どのようにMathMLのコンテント要素とプレゼンテーション要素が相互に作用するか, どのようにMathML描画ソフトウェアが実装されブラウザと相互に作用するか論じています. 最後に, この文書は, 数学で利用される特別な文字の問題, それらの文字のMathMLでの処理, ユニコードでの存在, フォントの関係について取り組んでいます.

MathML can be used to encode both mathematical notation and mathematical content. About thirty-eight of the MathML tags describe abstract notational structures, while another about one hundred and seventy provide a way of unambiguously specifying the intended meaning of an expression. Additional chapters discuss how the MathML content and presentation elements interact, and how MathML renderers might be implemented and should interact with browsers. Finally, this document addresses the issue of special characters used for mathematics, their handling in MathML, their presence in Unicode, and their relation to fonts.

MathMLは人が読める言語ですが, MathMLを書く人は典型的に, 数式編集ツールや変換ソフトウェア, また, MathMLを生成する他の特別なソフトウェアを利用するでしょう. 様々なヴァージョンのそういったMathMLソフトウェアが存在し, 無料で利用できるソフトウェアも商用ソフトウェアも両方あり, さらにたくさんのソフトウェアが開発中です.

While MathML is human-readable, authors typically will use equation editors, conversion programs, and other specialized software tools to generate MathML. Several versions of such MathML tools exist, both freely available software and commercial products, and more are under development.

MathMLは元来XMLアプリケーションとして仕様が定められており, この仕様書の例のほとんどはXMLの構文を想定しています. 他の構文も利用可能で, 中でも[HTML5]はHTMLの中のMathMLの構文を定めています. 特に注意書きが無い場合, この仕様書の例は有効なHTMLの構文でもあります.

MathML was originally specified as an XML application and most of the examples in this specification assume that syntax. Other syntaxes are possible most notably[HTML5] specifies the syntax for MathML in HTML. Unless explictly noted, the examples in this specification are also valid HTML syntax.

この文章の位置付け

Status of this Document

この節では, 公表された時点でのこの文書の位置付けについて述べます. 他の文書がこの文書に取って代わっているかもしれません. 最新のW3Cの公表した文書のリストやこの技術報告書の最新版は, W3C技術報告書の索引(http://www.w3.org/TR/)で見ることができます.

This section describes the status of this document at the time of its publication. Other documents may supersede this document. A list of current W3C publications and the latest revision of this technical report can be found in the W3C technical reports index at http://www.w3.org/TR/.

この文書は, W3C数学作業部会により勧告として提供され, W3C数学事業の一部です. W3C数学作業部会の目的は, W3C数学作業部会憲章(2006年7月改訂)の中で述べています. この文書の著者は, W3C数学作業部会のメンバーです. W3C数学作業部会の参加者の一覧を見ることができます.

This document was produced by the W3C Math Working Group as a Recommendation and is part of the W3C Math Activity. The goals of the W3C Math Working Group are discussed in the W3C Math WG Charter (revised July 2006). The authors of this document are the W3C Math Working Group members. A list of participants in the W3C Math Working Group is available.

この文書は, W3Cのメンバー, ソフトウェア開発者, 他のW3Cの作業部会や興味を持った団体によって検討され, 責任者によりW3C勧告とされました. この文書は完成版であり, 資料として参照されたり, 他の文書に引用されたりします. 勧告を行う上でのW3Cの役割は, 仕様書に注意を引くことと広範囲に普及させることです. このことによりウェブの機能性や使用性を高めます.

This document has been reviewed by W3C Members, by software developers, and by other W3C groups and interested parties, and is endorsed by the Director as a W3C Recommendation. It is a stable document and may be used as reference material or cited from another document. W3C's role in making the Recommendation is to draw attention to the specification and to promote its widespread deployment. This enhances the functionality and interoperability of the Web.

第1版の報告された全ての誤りについて, この変更で取組みました. また, 全ての変更点の記録は, 付録F 変更点で見ることができます. 序文でリンクしている差分付き版は, 第1版と第2版の変更点を強調表示しています. 誤りに対応したことに加え, この変更における主要な点は, HTMLとXMLでの利用において異なっていたために必要となった[HTML5]で決められたMathMLの処理を取り込んだことです.

All reported errata to the first edition have been addressed in this addition, and a full change log appears inAppendix F Changes. The diff-marked version linked in the frontmatter highlights all changes between the first and second editions. In addition to incorporating errata, the main change in this addition is to recognise that MathML parsing is also specified in [HTML5] and where necessary to note where HTML and XML usage differ.

作業部会は, 総合的なテストツールを管理しています. このテストツールは誰でも利用でき, 開発者は表示されたテスト結果を報告するよう促されています. テストツールは, 不可欠なテストそれぞれに少なくとも2つの相互運用可能な実装を示しています. より詳細については実装の報告で見ることができます.

The Working Group maintains a comprehensive Test Suite. This is publicly available and developers are encouraged to submit their results for display. The Test Results are public. They show at least two interoperable implementations for each essential test. Further details may be found in the Implementation Report.

mathML 2.0(第2版)仕様書は, 2001年からW3C勧告となっています. この勧告の後, W3C数学関連部会はMathMLの展開に伴う体験の報告を集め, 改善できるであろうMathMLの課題を特定してきました. 数学作業部会の憲章の更新は, MathML全体の設計に対し何の変更の合図にもなっていません. MathML3でのおもな追加点は, 双方向性を持つ文章への対応, よりふさわしい改行やはっきりした位置取り, 初等数学の表記, 明確に定義された意味を持つ厳格なコンテントMathMLの要素の追加です. MathML3仕様書は構成も見直されています.

The MathML 2.0 (Second Edition) specification has been a W3C Recommendation since 2001. After its recommendation, a W3C Math Interest Group collected reports of experience with the deployment of MathML and identified issues with MathML that might be ameliorated. The rechartering of a Math Working Group did not signal any change in the overall design of MathML. The major additions in MathML 3 are support for bidirectional layout, better linebreaking and explicit positioning, elementary math notations, and a new strict content MathML vocabulary with well-defined semantics. The MathML 3 Specification has also been restructured.

この文書は, 2004年2月5日のW3Cの特許指針の下で運営した作業部会により作成されました. W3Cは, この作業部会の成果に関連して作成された特許開示の公開一覧を管理しています. この一覧のページは, 特許を開示する場合の指示書きを含んでいます. 特許について実際に生じている情報を持っている方は, その情報が本質的な主張(訳注:当該日本語訳では"Essential Claim"の日本語訳に"本質的な主張"を当てていますが, "Essential Claim"という用語はW3C特許指針で定義された用語です.)に当たると思われる場合, W3C特許指針の第6節に従って必ずその情報を開示して下さい.

This document was produced by a group operating under the 5 February 2004 W3C Patent Policy. W3C maintains a public list of any patent disclosures made in connection with the deliverables of the group; that page also includes instructions for disclosing a patent. An individual who has actual knowledge of a patent which the individual believes contains Essential Claim(s) must disclose the information in accordance with section 6 of the W3C Patent Policy.

MathMLについての公式な議論やW3Cを通じたインターネット上の数学に関する対応の課題については, 数学作業部会の公式なメーリングリスト(履歴一覧)で交わされています. 寄付をされたい場合, 題名にsubscribeという語句を記入してwww-math-request@w3.orgにメールを送付して下さい.

Public discussion of MathML and issues of support through the W3C for mathematics on the Web takes place on the public mailing list of the Math Working Group (list archives). To subscribe send an email to www-math-request@w3.org with the word subscribe in the subject line.

この文章の基本となる章立ての構成は, 以前のMathML2.0勧告[MathML2]に基づいています. MathML2.0自身は以前のW3C勧告MathML1.01[MathML1]の改訂です. MathML3.0はW3C勧告MathML2.0の改訂です. MathML2.0に対し, 全ての以前の章が更新されており, 新しい要素や属性が追加されたり, 非推奨になったりしています. 文字や実体についての資料やMathML DOMについての資料といった, 説明用資料を含む文書を分割するよう進められてきました. 文字実体についての議論は, 現在W3C勧告である文書_文字に対するXML実体の定義_ [実体]になりました. MathMLのCSSの利用に関係する部分は, MathML3.0に付随するW3C勧告である文書_CSSに対応するMathMLの概要書_[MathMLforCSS]になりました.

The basic chapter structure of this document is based on the earlier MathML 2.0 Recommendation [MathML2]. That MathML 2.0 itself was a revision of the earlier W3C Recommendation MathML 1.01[MathML1]; MathML 3.0 is a revision of the W3C Recommendation MathML 2.0. It differs from it in that all previous chapters have been updated, some new elements and attributes added and some deprecated. Much has been moved to separate documents containing explanatory material, material on characters and entities and on the MathML DOM. The discussion of character entities has led to the document_XML Entity Definitions for Characters_ [Entities], which is now a W3C Recommendation. The concern with use of CSS with MathML has led to the document A MathML for CSS Profile [MathMLforCSS], which was a W3C Recommendation accompanying MathML 3.0.

仕様書に細かい改良が加えられましたが, MathML2.0(第2版)からの最大の変更点は第4章と第5章です. 以前の勧告との変更点のより詳細な説明は次のとおりです.

The biggest differences from MathML 2.0 (Second Edition) are in Chapters 4 and 5, although there have been smaller improvements throughout the specification. A more detailed description of changes from the previous Recommendation follows.

以前は第1章および第2章に書かれていた標準でない説明の大多数と, 以前はMathML仕様書の他のいろいろなところにあったたくさんの例は, MathML仕様書から取り除かれ, 分割された文書として準備されているMathML入門書に組み込まれるよう計画されています. それら入門書になる部分は, 実装の参考文献として正規のMathML3仕様書の利用を助け, MathMLの展開を理解する際の新しい利用者の手助けとなるでしょう. 第1章および第2章の別の部分は, 素早いインターネット環境の発展の中での, この文書の他のいろいろなところの変更を反映するよう編集されました. それらの文章の部分はインターネットやXMLの初期のころに立ち戻ったものもあり, その説明は今ではありふれたものになっていました.
Much of the non-normative explication that formerly was found in Chapters 1 and 2, and many examples from elsewhere in the previous MathML specifications, were removed from the MathML3 specification and planned to be incorporated into a MathML Primer to be prepared as a separate document. It is expected this will help the use of this formal MathML3 specification as a reference document in implementations, and offer the new user better help in understanding MathML's deployment. The remaining content of Chapters 1 and 2 has been edited to reflect the changes elsewhere in the document, and in the rapidly evolving Web environment. Some of the text in them went back to early days of the Web and XML, and its explanations are now commonplace.
プレゼンテーション(表示)に適応したマークアップについての第3章は, 改行についての新しい資料や, たくさんの国で利用されている初等数学の表記に対応するマークアップ(mstack, mlongdivや他の関係する要素)を加えました. その他の変更点は, mglyph, mpadded, maction要素についての改訂や, 属性の値の有意義な統一や整理です. W3Cのノートアラビア数学の表記に記録された以前の成果により, 双方向の文章との連携が鮮明になり, 右から左へ読む文章の例が加わりました.
Chapter 3, on presentation-oriented markup, adds new material on linebreaking, and on markup for elementary math notations used in many countries (mstack, mlongdiv and other associated elements). Other changes include revisions to the mglyph, mpadded and maction elements and significant unification and cleanup of attribute values. Earlier work, as recorded in the W3C Note Arabic mathematical notation, has allowed clarification of the relationship with bidirectional text and examples with RTL text have been added.
内容(コンテント)に適応したマークアップについての第4章は, 主要な変更や追加を含んでいます. 実際の内容(コンテント)の意味は特段以前と変わらず残っていますが, それらをより良く表現するためにたくさんの作業が行われてきました. わずかに新しい要素が加えられました.
Chapter 4, on content-oriented markup, contains major changes and additions. The meaning of the actual content remains as before in principle, but a lot of work has been done on expressing it better. A few new elements have been added.
第5章は, マークアップ言語が混在する場合の扱いをよりはっきりさせることを目的に, より洗練したものになってきました. この章は, 特にMathML仕様書の部分部分の相互関係, 中でもプレゼンテーションマークアップとコンテントマークアップについてのものを扱います.
Chapter 5 has been refined as its purpose has been further clarified to deal with the mixing of markup languages. This chapter deals, in particular, with interrelations of parts of the MathML specification, especially with presentation and content markup.
第6章は, MathMLとホスト環境の相互作用の課題を扱うように加えられました. この章は, MathML仕様書とXMLやHTMLの相互作用を扱っています. ただし, インターネットで展開されるもの対象です. 特にMathMLとCSSの相互作用について論じています.
Chapter 6 is a new addition which deals with the issues of interaction of MathML with a host environment. This chapter deals with interrelations of the MathML specification with XML and HTML, but in the context of deployment on the Web. In particular there is a discussion of the interaction of CSS with MathML.
第7章は以前の第6章を置き換えたもので, ユニコードについての新しい状況や名前付き文字実体について変更されたW3Cの文章を反映するよう書き直され再編集されました. 数学で使用される実体名を組み込んだ新しいW3C仕様書_文字に対するXML実体の定義_はW3C勧告になりました[実体].
Chapter 7 replaces the previous Chapter 6, and has been rewritten and reorganized to reflect the new situation in regard to Unicode, and the changed W3C context with regard to named character entities. The new W3C specification XML Entity Definitions for Characters, which incorporates those used for mathematics has become a a W3C Recommendation, [Entities].
8つある付録は改訂されてきました. 付録Aは現在MathML3に対する新しいRelaxNGスキーマやMathML3 DTDの課題の議論を含んでいます. 付録BはMathMLと結びつくメディアタイプについて取組み, 現在W3Cからの成果に対し標準となっている3つの新しいメディアタイプの登録を実施します. 付録Cは新しい単純化され再考された演算子辞書を含んでいます. 付録D, E, F, G, Hは, 以前の仕様書で標準でない類似した資料を含んでおり, 現在, 適切に更新されています.
The Appendices, of which there are eight shown, have been reworked. Appendix A now contains the new RelaxNG schema for MathML3 as well as discussion of MathML3 DTD issues. Appendix B addresses media types associated with MathML and implicitly constitutes a request for the registration of three new ones, as is now standard for work from the W3C. Appendix C contains a new simplified and reconsidered Operator Dictionary. Appendices D, E, F, G and H contain similar non-normative material to that in the previous specification, now appropriately updated.
文書の発達の全ての議論については, 付録F 変更点で見ることができます.
A fuller discussion of the document's evolution can be found in Appendix F Changes.