論文>
<メタデータ 型="解説">
<題名>論文型文書題名>
<作者 読み="Umetani, Takeshi">梅谷 武作者>
<題目 NDC="021.4">文書型, 論文型題目>
<要約>XeXで使用する文書型である論文型について定める。要約>
<出版者>IMS - Information Machine Studio出版者>
<寄与者>寄与者>
<作成日付>2000-11-29作成日付>
<更新日付>2005-04-20更新日付>
<型>text型><形式>text/html形式>
<識別子>IMS:20001129001識別子>
<情報源>情報源>
<言語>ja言語>
<関係>関係>
<時空範囲>時空範囲>
<権利>Copyright 2000-2002 Takeshi Umetani権利>
メタデータ>
<文書>
<節 題名="論文型文書">
<小節 題名="文書型">
<段落>
<p>あいうえお</p><p>かきくけこ</p> <段落>あいうえお</段落><段落>かきくけこ</段落>
あいうえお
かきくけこ
段落> <段落> あいうえお 段落> <段落> かきくけこ 段落> 小節> <小節 題名="br:改行"> <段落>改行位置を<br />指定します。改行位置を
詳細は<cite>ISO/IEC 10646</cite>を参照してください。詳細はISO/IEC 10646を参照してください。 段落> 小節> <小節 題名="blockquote:引用文"> <段落>
<blockquote><p>私とは、私と環境である。私がもし私の環境を救わなければ、 私自身を救わないことになる。(オルテガ・イ・ガセット) </p></blockquote>
段落> 小節> <小節 題名="em:強調"> <段落>私とは、私と環境である。私がもし私の環境を救わなければ、 私自身を救わないことになる。(オルテガ・イ・ガセット)
斜体で<em>強調</em>します。斜体で強調します。 段落> 小節> <小節 題名="strong:強い強調"> <段落>
太字で<strong>強く強調</strong>します。太字で強く強調します。 段落> 小節> <小節 題名="sup:上付き文字"> <段落>
x<sup>n</sup>+y<sup>n</sup>=z<sup>n</sup>xn+yn=zn 段落> 小節> <小節 題名="sub:下付き文字"> <段落>
(x<sub>0</sub>,…,x<sub>n-1</sub>)(x0,…,xn-1) 段落> 小節> <小節 題名="ul:番号無しリスト"> <段落>
<ul> <li>項目1</li> <li>項目2</li> <li>項目3</li> </ul>
<ol> <li>項目1</li> <li>項目2</li> <li>項目3</li> </ol>
<table border="1" align="center"> <caption>サンプル</caption> <thead> <tr><th>項目1</th><th>項目2</th><th>項目3</th></tr> </thead> <tbody> <tr><td>値1</td><td>値2</td><td>値3</td></tr> </tbody> </table>
項目1 | 項目2 | 項目3 |
---|---|---|
値1 | 値2 | 値3 |
<img src="img/test" alt="テスト画像" width="379" height="190" />段落> 小節> <小節 題名="pre:整形済み文書"> <段落>
<pre> >path PATH=C:\WINDOWS;C:\WINDOWS\COMMAND ></pre>
>path PATH=C:\WINDOWS;C:\WINDOWS\COMMAND >段落> 小節> <小節 題名="code:算譜書体"> <段落>
<code> function sample(x, y) { z = x + y; return z; } </code>
function sample(x, y) { z = x + y; return z; }
段落>
小節>
<小節 題名="a:参照">
<段落>
自分自身<a href="0.html">0.html</a>を参照します。自分自身0.htmlを参照します。 段落> 小節> <小節 題名="u:下線"> <段落>
<u>underline</u>underline 段落> 小節> 節> <節 題名="XeX要素"> <小節 題名="en:英語環境"> <段落>
English,<en>English</en>English,
表示 | TeX表記 | HTML表記 | UCS2 |
---|---|---|---|
\S | § | #x00A7 | |
\"{} | ¨ | #x00A8 | |
\'{} | ´ | #x00B4 | |
\P | ¶ | #x00B6 | |
\`{A} | À | #x00C0 | |
\'{A} | Á | #x00C1 | |
\^{A} | Â | #x00C2 | |
\~{A} | Ã | #x00C3 | |
\"{A} | Ä | #x00C4 | |
\v{A} | Å | #x00C5 | |
\AE | Æ | #x00C6 | |
\c{C} | Ç | #x00C7 | |
\`{E} | È | #x00C8 | |
\'{E} | É | #x00C9 | |
\^{E} | Ê | #x00CA | |
\"{E} | Ë | #x00CB | |
\`{I} | Ì | #x00CC | |
\'{I} | Í | #x00CD | |
\^{I} | Î | #x00CE | |
\"{I} | Ï | #x00CF | |
\~{N} | Ñ | #x00D1 | |
\`{O} | Ò | #x00D2 | |
\'{O} | Ó | #x00D3 | |
\^{O} | Ô | #x00D4 | |
\~{O} | Õ | #x00D5 | |
\"{O} | Ö | #x00D6 | |
\O | Ø | #x00D8 | |
\`{U} | Ù | #x00D9 | |
\'{U} | Ú | #x00DA | |
\^{U} | Û | #x00DB | |
\"{U} | Ü | #x00DC | |
\'{Y} | Ý | #x00DD | |
\ss | ß | #x00DF | |
\`{a} | à | #x00E0 | |
\'{a} | á | #x00E1 | |
\^{a} | â | #x00E2 | |
\~{a} | ã | #x00E3 | |
\"{a} | ä | #x00E4 | |
\aa | å | #x00E5 | |
\ae | æ | #x00E6 | |
\c{c} | ç | #x00E7 | |
\`{e} | è | #x00E8 | |
\'{e} | é | #x00E9 | |
\^{e} | ê | #x00EA | |
\"{e} | ë | #x00EB | |
\`{\i} | ì | #x00EC | |
\'{\i} | í | #x00ED | |
\^{\i} | î | #x00EE | |
\"{\i} | ï | #x00EF | |
\~{n} | ñ | #x00F1 | |
\`{o} | ò | #x00F2 | |
\'{o} | ó | #x00F3 | |
\^{o} | ô | #x00F4 | |
\~{o} | õ | #x00F5 | |
\"{o} | ö | #x00F6 | |
\o | ø | #x00F8 | |
\`{u} | ù | #x00F9 | |
\'{u} | ú | #x00FA | |
\^{u} | û | #x00FB | |
\"{u} | ü | #x00FC | |
\'{y} | ý | #x00FD | |
\"{y} | ÿ | #x00FF |
表示 | TeX表記 | HTML表記 | UCS2 |
---|---|---|---|
\OE | Œ | #x0152 | |
\oe | œ | #x0153 | |
\v{S} | Š | #x0160 | |
\v{s} | š | #x0161 | |
\"{Y} | Ÿ | #x0178 |
<eu>le fran\c{c}aise</eu>
<rw href="0.html">0.html</rw>を別の窓で参照します。
<con> >path PATH=C:\WINDOWS;C:\WINDOWS\COMMAND ></con>
<ws />字下げします。
<命題 種類="定理" 別名="C(G)上の標準直交基底とそのFourier展開"> <qt>k=0,…,n-1</qt>について<qt>e_k(ζ^i)=ζ^{ik}</qt>によって <qt>e_k:C(G)→R</qt>を定義すると<qt>\{e_k:k=0,…,n-1\}</qt>は <qt>C(G)</qt>の直交基底となる。すなわち、任意の<qt>f∈C(G)</qt>は、 <qd> f = 農{i=0}^{n-1}{(f,e_i)e_i} </qd> と一意的に表現することができる。これを<qt>f</qt>のFourier展開と呼ぶ。 </命題>段落> <命題 種類="定理" 別名="C(G)上の標準直交基底とそのFourier展開">
<証明 別名="[1]による"> 線形性は明らかである。条件3.を使うことによって以下のように同型性を 示すことができる。 <qdarray> F^{-1}・F(f)(ζ^r) = {n^{-1}農{t=0}^{n-1}{F(f)(ζ^t)ζ^{-tr}}} \\ {} = {n^{-1}農{t=0}^{n-1}{(農{s=0}^{n-1}{f(ζ^s)ζ^{st}})ζ^{-tr}}} \\ {} = {n^{-1}農{s=0}^{n-1}{f(ζ^s)(農{t=0}^{n-1}{ζ^{t(s-r)}})}}\\ {} = {n^{-1}f(ζ^r)(農{t=0}^{n-1}{ζ^0)}}\\ {} = f(ζ^r) </qdarray> </証明>段落> <証明 別名="[1]による"> 線形性は明らかである。条件3.を使うことによって以下のように同型性を 示すことができる。