blob: 825adc03a4e4023f3601488e9d38055f5640e2a6 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
|
---
title: <semantics>
slug: Web/MathML/Element/semantics
tags:
- MathML
- MathML Reference
- 'MathML:Element'
translation_of: Web/MathML/Element/semantics
---
<div>{{MathMLRef}}</div>
<p class="summary">MathMLにおいては，数学をタグ付けるには二つの方法があり，<em><ruby>表示<rp> (</rp><rt>presentation</rt><rp>)</rp></ruby></em>MathMLが数式の配置を制御するのに用いられる一方，<em><ruby>内容<rp> (</rp><rt>content</rt><rp>)</rp></ruby></em>MathMLは数式の論理的意味の符号化及び<ruby>数式処理系<rp> (</rp><rt>computer algebra system</rt><rp>)</rp></ruby>に適するような数式の変換を念頭に設計されています。MathML要素<code><semantics></code>，<code><annotation></code>及び<code><annotation-xml></code>を用いることで，表示MathMLと内容MathMLを組み合せ，数式の配置情報及び論理的意味の双方を記述できます。</p>
<p><code><semantics></code>要素は注釈に関連したコンテナ要素として振舞い，子要素を持たなくてはなりません（そうでない場合，<em>無効なタグ付け</em>として誤り報告されます）。<code><annotation></code>要素には非XML形式の論理的情報が含まれ，対して<code><annotaiton-xml></code>要素にはXML形式の情報（例: 内容MathMLやOpenMath）が含まれます。</p>
<p><code><semantics></code>要素における可視子要素を決定する規則を次に挙げます。</p>
<ul>
<li>適用すべき規則がない場合: 既定では最初の子要素のみ描画しますが，当要素は表示MathMLでなくてはなりません。</li>
<li>最初の子要素が<code><annotation></code>又は<code><annotation-xml></code>以外の表示MathML要素の場合，当要素が描画されます。</li>
<li>表示MathMLが見当らない場合，<code><semantics></code>要素の最初の<code><annotation></code>又は<code><annotation-xml></code>子要素を描画します。<br>
<code>encoding</code>属性で次の孰れかが指定されている場合，<code><annotation-xml></code>要素のみが認識されることに気を付けてください。
<ul>
<li>application/mathml-presentation+xml</li>
<li>MathML-Presentation</li>
<li>SVG1.1</li>
<li>text/html</li>
<li>image/svg+xml</li>
<li>application/xml</li>
</ul>
ここに「application/mathml+xml」を挙げて<em>いない</em>ことに留意してください，というのもこれでは内容MathMLか表示MathMLかを区別できないからです。</li>
</ul>
<h2 id="属性">属性</h2>
<p><code><annotation></code>及び<code><annotation-xml></code>要素には次の属性が設定できます。</p>
<dl>
<dt id="attr-definitionurl">definitionURL</dt>
<dd>The location of the annotation key symbol.</dd>
<dt id="attr-encoding">encoding</dt>
<dd>当注釈における論理的情報の符号化方法（例: 「MathML-Content」，「MathML-Presentation」，「application/openmath+xml」，「image/png」）。</dd>
<dt id="attr-cd">cd</dt>
<dd>The content dictionary that contains the annotation key symbol.</dd>
<dt id="attr-name">name</dt>
<dd>The name of the annotation key symbol.</dd>
<dt id="attr-src">src</dt>
<dd>論理的情報の為の外部資源の場所。</dd>
</dl>
<h2 id="例">例</h2>
<pre class="brush: html"><math>
<semantics>
<!-- 表示MathML -->
<mrow>
<msup>
<mi>x</mi>
<mn>2</mn>
</msup>
<mo>+</mo>
<mi>y</mi>
</mrow>
<!-- 内容MathML -->
<annotation-xml encoding="MathML-Content">
<apply>
<plus/>
<apply>
<power/>
<ci>x</ci>
<cn type="integer">2</cn>
</apply>
<ci>y</ci>
</apply>
</annotation-xml>
<!-- 画像注釈 -->
<annotation encoding="image/png" src="some/path/formula.png"/>
<!-- TeX形式の注釈 -->
<annotation encoding="application/x-tex">
x^{2} + y
</annotation>
</semantics>
</math></pre>
<h2 id="仕様">仕様</h2>
<table class="standard-table">
<thead>
<tr>
<th scope="col">仕様</th>
<th scope="col">状態</th>
<th scope="col">備考</th>
</tr>
</thead>
<tbody>
<tr>
<td>{{ SpecName('MathML3', 'chapter5.html', 'Mixing Markup Languages for Mathematical Expressions') }}</td>
<td>{{ Spec2('MathML3') }}</td>
<td>現在の仕様</td>
</tr>
<tr>
<td>{{ SpecName('MathML2', 'chapter5.html', 'Combining Presentation and Content Markup ') }}</td>
<td>{{ Spec2('MathML2') }}</td>
<td>初期の仕様</td>
</tr>
</tbody>
</table>
<h2 id="ブラウザー互換機">ブラウザー互換機</h2>
<p>{{Compat("mathml.elements.semantics")}}</p>
<h2 id="Gecko固有の注記">Gecko固有の注記</h2>
<ul>
<li>{{geckoRelease("23")}}において，semantics要素下の可視子要素を決定する算法がMathML仕様に準じるよう修正されました。以前では，最初の子要素が〔無条件に〕描画されていました。</li>
<li>Geckoでは，src属性が指定されている場合，<code><annotation></code>及び<code><annotation-xml></code>は無視されます。</li>
</ul>
|
