Warning : Undefined variable $type in /home/users/1/sub.jp-asate/web/wiki/extensions/HeadScript/HeadScript.php on line 3
Warning : "continue" targeting switch is equivalent to "break". Did you mean to use "continue 2"? in /home/users/1/sub.jp-asate/web/wiki/includes/json/FormatJson.php on line 297
Warning : Trying to access array offset on value of type bool in /home/users/1/sub.jp-asate/web/wiki/includes/Setup.php on line 660
Warning : session_name(): Session name cannot be changed after headers have already been sent in /home/users/1/sub.jp-asate/web/wiki/includes/Setup.php on line 834
Warning : ini_set(): Session ini settings cannot be changed after headers have already been sent in /home/users/1/sub.jp-asate/web/wiki/includes/session/PHPSessionHandler.php on line 126
Warning : ini_set(): Session ini settings cannot be changed after headers have already been sent in /home/users/1/sub.jp-asate/web/wiki/includes/session/PHPSessionHandler.php on line 127
Warning : session_cache_limiter(): Session cache limiter cannot be changed after headers have already been sent in /home/users/1/sub.jp-asate/web/wiki/includes/session/PHPSessionHandler.php on line 133
Warning : session_set_save_handler(): Session save handler cannot be changed after headers have already been sent in /home/users/1/sub.jp-asate/web/wiki/includes/session/PHPSessionHandler.php on line 140
Warning : "continue" targeting switch is equivalent to "break". Did you mean to use "continue 2"? in /home/users/1/sub.jp-asate/web/wiki/languages/LanguageConverter.php on line 773
Warning : Cannot modify header information - headers already sent by (output started at /home/users/1/sub.jp-asate/web/wiki/extensions/HeadScript/HeadScript.php:3) in /home/users/1/sub.jp-asate/web/wiki/includes/Feed.php on line 294
Warning : Cannot modify header information - headers already sent by (output started at /home/users/1/sub.jp-asate/web/wiki/extensions/HeadScript/HeadScript.php:3) in /home/users/1/sub.jp-asate/web/wiki/includes/Feed.php on line 300
Warning : Cannot modify header information - headers already sent by (output started at /home/users/1/sub.jp-asate/web/wiki/extensions/HeadScript/HeadScript.php:3) in /home/users/1/sub.jp-asate/web/wiki/includes/WebResponse.php on line 46
Warning : Cannot modify header information - headers already sent by (output started at /home/users/1/sub.jp-asate/web/wiki/extensions/HeadScript/HeadScript.php:3) in /home/users/1/sub.jp-asate/web/wiki/includes/WebResponse.php on line 46
Warning : Cannot modify header information - headers already sent by (output started at /home/users/1/sub.jp-asate/web/wiki/extensions/HeadScript/HeadScript.php:3) in /home/users/1/sub.jp-asate/web/wiki/includes/WebResponse.php on line 46
https:///mymemo.xyz/wiki/api.php?action=feedcontributions&user=103.56.113.55&feedformat=atom
miniwiki - 利用者の投稿記録 [ja]
2024-04-19T07:44:26Z
利用者の投稿記録
MediaWiki 1.31.0
総和
2016-09-26T19:25:48Z
<p>103.56.113.55: Hisagi (会話) による ID:61300841 の版を取り消し</p>
<hr />
<div>{{Otheruses|数学用語|茨城県にあった自治体|総和町}}<br />
{{出典の明記|date=2015年9月}}<br />
{{Calculation results}}<br />
[[数学]]において、'''総和'''('''そうわ'''、''summation'')とは与えられた数を総じて[[四則演算|加える]]ことである。<br />
<br />
==概説==<br />
有限個の数を加えるためには 2 つの数を加えるという操作を[[帰納]]的に繰り返せばよく、[[加法]]については[[交換法則]]が成り立つので、このとき数を加える順序は気にする必要もない。一方で、無限個の数を加えるということはそれほど自明な操作ではない。18世紀以前には、無限個の和に対しても有限和と同じように、加える順序について放漫に扱われる傾向にあり、奇妙な矛盾を結果として導いてしまうこともたびたびあったようである。<br />
<br />
無限和についての正しい取り扱いは、[[ディリクレ]]、[[ベルンハルト・リーマン|リーマン]]、[[オーギュスタン=ルイ・コーシー|コーシー]]といった[[数学者]]によって[[極限]]の概念が整備される19世紀を待たなければならなかった{{sfn|遠山啓|1960|pp=61&ndash;66}}。<br />
<br />
== 定義 ==<br />
総和は、加法が定義された[[集合]] {{mvar|M}} の[[元 (数学)|元]]の[[数列|列]] {{math|''x''<sub>1</sub>, ''x''<sub>2</sub>, ..., ''x<sub>n</sub>''}} に対する [[算法|{{mvar|n}} 項演算]]({{mvar|n}} は[[順序数]])である。それは、[[再帰]]的に次のように定義される。<br />
* {{math|''s''<sub>1</sub> {{=}} ''x''<sub>1</sub>,}}<br />
* {{math|''s''<sub>''i''</sub> {{=}} ''s''<sub>''i''&minus;1</sub> + ''x<sub>i</sub>''.}}<br />
こうして得られる {{mvar|s<sub>i</sub>}} は {{mvar|i}} 番目の'''部分和''' {{en|(partial sum)}} と呼ばれる<ref group="注">一般には、部分列を取り出して和をとったものを総じて[[部分和]]と呼ぶ。</ref>。{{mvar|n}} が有限であれば、この操作は有限回で終了し、{{math|''x''<sub>1</sub>, ''x''<sub>2</sub>, ..., ''x<sub>n</sub>''}} の総和は部分和 {{mvar|s<sub>n</sub>}} に等しい。これを<br />
:<math>s_{n} = \sum^{n}_{i=1} x_i</math><br />
と記す。記号 {{math|&sum;}} は、ギリシャ文字の[[Σ|シグマ]]の大文字である。これは、{{en|Sum}}(和)を意味するラテン語 {{la|''Summa''}} の頭文字 S の翻字である。この記号は、{{LaTeX}} においては <code>\sum</code>、HTML においては文字参照 <code>&amp;sum;</code> を用いて表わされる。また、{{math|&sum;}} の上下の添字は、添え字 {{mvar|i}} <ref group="注">{{mvar|i}} は {{en|'''i'''ndex}}(添え字)を意味する。このような変数は、和の結果には現れないため、[[自由変数と束縛変数|'''ダミー変数''']] {{en|(dummy variable)}} または'''束縛変数''' {{en|(bound variable)}} と呼ばれる。同様の例として、[[積分]]における積分変数はダミー変数である。</ref>の値を {{math|1}} より始めて {{mvar|n}} まで順に動かすことを表す。総和は、[[線型性]]を持つ演算である。<br />
:<math>\sum_{i=a}^b\left(x_i+y_i\right) = \left(\sum_{i=a}^b x_i\right) + \left(\sum_{i=a}^b y_i\right),</math><br />
:<math>\sum_{i=a}^b\lambda x_i = \lambda \sum_{i=a}^b x_i.</math><br />
<br />
また、[[有限集合]] {{mvar|R}} の[[濃度 (数学)|濃度]]を {{mvar|n}} とすると、{{mvar|R}} は有限の順序数 {{mvar|n}} で添え字付けられるので、{{mvar|R}} の全ての[[元 (数学)|元]]に適当に番号を振って {{math|''x''<sub>1</sub>, ''x''<sub>2</sub>, ..., ''x<sub>n</sub>''}}<br />
とすれば、集合 {{mvar|R}} の元すべての総和を定義できる。これを<br />
:<math>\sum R = \sum_{x\in R} x = \sum_{i=1}^n x_i</math><br />
などと記す。もちろん {{mvar|R}} が[[空集合]]であっても構わない。特に、和の定義された集合 {{mvar|M}} に和に関する[[単位元]]([[零元]]){{math|0<sub>''M''</sub>}} が存在するとき、あるいは基点が定められているとき、便宜的に空集合を添え字集合 {{mvar|I}} とする列(つまりは空な列)の総和は零元あるいは基点とする。すなわち、<br />
:<math>\sum \emptyset = 0_M.</math><br />
([[空和]]も参照。)<br />
<br />
== 級数 ==<br />
{{main|級数|総和法}}<br />
有限和の場合を拡張して、[[可算集合|可算無限個]]の[[元 (数学)|元]]の[[数列|列]] {{math|''x''<sub>1</sub>,''x''<sub>2</sub>, ...}} に対しても総和を定義することができる。これを特に'''無限和''' {{en|(infinite sum)}}、'''無限級数''' {{en|(infinite series)}} あるいは単に'''級数'''(きゅうすう、{{en|series}})と呼ぶ。<br />
<br />
総和と同様に、部分和をとる操作を行う。しかし、この操作は、元が有限個である場合と違って有限回で終了しない。ここで、部分和 {{mvar|s<sub>i</sub>}} の極限を級数の'''値'''とする(ただし、[[チェザロ和]]などのように値の算出法が異なる[[総和法]]も存在する)。部分和の列 {{mvar|s<sub>i</sub>}} が[[収束]]または[[発散]]することを以って、級数は'''収束''' {{en|(converge)}} あるいは'''発散''' {{en|(diverge)}} するという。与えられた列から作られる級数が収束するとき、その級数の値をもとの列の'''和'''と呼ぶ。<br />
<br />
可算列 {{math|{{(}}''x<sub>i</sub>''{{)}}<sub>''i''&isin;'''N'''</sub>}} の級数を記号で<br />
:<math>\sum^{\infin}_{i=1} x_i </math><br />
と表す。このようにして、[[可算無限集合]]の全ての元に対しても、先程と同様に級数として総和を定義することができる。なお上の級数は、<br />
:<math>\sum^{\infin}_{i=1} x_i = \sum_{i\in\mathbf{N}} x_i</math><br />
とも書かれる。<br />
<br />
なお一般に(可算とは限らない)[[無限集合]]で添え字付けられるような元の[[族 (数学)|族]] {{math|(''x''<sub>&lambda;</sub>)<sub>&lambda;&isin;&Lambda;</sub>}} の総和も形式的には<br />
:<math>\sum_{\lambda\in\Lambda} x_\lambda</math><br />
として表すことができるが、この場合きちんと収束性について調べなければ、これが定義されているのかすら分からない。<br />
<br />
=== 絶対収束・条件収束 ===<br />
無限数列の級数<br />
:<math>\sum_{i=1}^\infty x_i </math><br />
に対して<br />
:<math>\sum_{i=1}^\infty \left|x_i\right| </math><br />
が収束する場合、この級数は'''[[絶対収束]]'''する {{en|(converge absolutely)}} という。絶対収束していれば、級数は収束する。<br />
<br />
絶対収束していないが収束する場合、この級数は'''[[条件収束]]'''する {{en|(converge conditionally)}} という。<br />
<br />
注意すべきこととして、有限和に対しては和の順序を変えても結果は変わらないのに対して、無限和の場合には順序を変えると結果が変わってしまうことがあり得る。正確に述べると {{mvar|&phi;}} を自然数の集合 {{math|'''N'''}} 上の[[対称群|置換]]とするとき、<br />
:<math>\sum_{i=1}^\infty x_{\phi(i)} \ne \sum_{i=1}^\infty x_i </math><br />
となることが起こり得る。<br />
<br />
ただし、級数が絶対収束しているならば(有限和の場合と同じく)和の順序を変えても結果は変わらないので、収束性を調べる場合に絶対収束はとても重要な性質の一つになる。<br />
<br />
== 公式 ==<br />
* <math> \sum^{n}_{i=1} i = \frac{n(n+1)}{2}</math><br />
* <math> \sum_{i=1}^{n} i^{2} = \frac{n(n+1)(2n+1)}{6} </math><br />
* <math> \sum_{i=1}^{n} i^{3} = \left(\frac{n(n+1)}{2}\right)^{2} </math><br />
* <math> \sum_{i=1}^{n} i^{4} = \frac{n(n+1)(2n+1)(3n^2+3n-1)}{30} </math><br />
* <math> \sum_{i=1}^{n} i^{5} = \frac{n^{2}(n+1)^{2}(2n^2+2n-1)}{12} </math><br />
* <math> \sum_{i=1}^{n} {i(i+1)(i+2)\cdots(i+k)} = \frac{n(n+1)(n+2)\cdots(n+k+1)}{k+2} </math><br />
* <math>\sum_{i=0}^n i^m = \frac{(n+1)^{m+1}}{m+1} + \sum_{k=1}^m\frac{B_k}{m-k+1}{m\choose k}(n+1)^{m-k+1},</math>({{mvar|B<sub>k</sub>}} は[[ベルヌーイ数]])<br />
* <math> \sum_{i=1}^{n} (2i - 1) = n^2 </math><br />
* <math> \sum_{i=0}^{n} x^{i} = \frac{x^{n+1}-1}{x-1} </math><br />
* <math> \sum_{i=0}^{\infty} x^{i} = \frac{1}{1-x} \qquad\left(|x| < 1\right) </math><br />
* <math> \sum_{i=0}^{n} {n \choose i} = 2^{n} </math> <br />
* <math> \sum_{i=0}^{n-1} {i \choose k} = {n \choose k+1} </math><br />
<br />
==脚注==<br />
<references /><br />
<references group="注" /><br />
<br />
== 参考文献 ==<br />
*{{Cite book|和書<br />
|author=遠山啓<br />
|authorlink=遠山啓<br />
|title=数学入門(下)<br />
|accessdate=2009-03-05<br />
|edition=初版<br />
|publisher=[[岩波書店]]<br />
|series=[[岩波新書]]<br />
|pages=pp. 61-66<br />
|date=1960-10-20<br />
|ref=harv<br />
}}<br />
<br />
* Marko Petkovsek, Herbert Wilf and Doron Zeilberger: "A=B", A K Peters, Ltd., 1996. url=<https://www.math.upenn.edu/~wilf/AeqB.html> ※ 超幾何級数を用いた総和法など。<br />
* マーコ ペトコブセク、ドロン ザイルバーガー、ハーバート・S. ウィルフ、小林 [ゆう]治 (翻訳)、伊藤 尚史 (翻訳) :「A=B―等式証明とコンピュータ」(AKピータース・トッパン数理科学シリーズ) 、トッパン、ISBN 978-4810189728(1997年9月)。※上記書籍の邦訳。<br />
<br />
== 関連項目 ==<br />
* [[加法]]<br />
* [[級数]]<br />
* [[総乗]]<br />
* [[冪級数]]<br />
* [[テイラー展開|テイラー級数]]<br />
* [[ローラン級数]]<br />
* [[フーリエ級数]]<br />
<br />
{{DEFAULTSORT:そうわ}}<br />
[[Category:数学の表記法]]<br />
[[Category:解析学]]<br />
[[Category:数学に関する記事]]</div>
103.56.113.55
Pic言語
2016-09-26T19:21:57Z
<p>103.56.113.55: Hisagi (会話) による ID:61300806 の版を取り消し</p>
<hr />
<div>'''Pic言語'''は、[[C言語]]の開発者の一人である[[ブライアン・カーニハン]]が、長方形とそれを結ぶ矢印でフローチャートのような図を自動的に作成するために考案した、[[プログラミング言語]]である<ref>Brian W. Kernighan. ''PIC - A Language for Typesetting Graphics'', Software Practice Experience '''12''' (1982), 1–20.</ref>。用途は図の生成に限られており、[[ドメイン固有言語]]である。pic言語のコンパイラは、pic言語で書かれたソースファイルを読み、具体的な描画命令に変換する。pic言語は[[手続き型言語]]であり、変数、変数への代入、マクロ、条件分岐、ループを備えている。''小さな言語''の代表例であり、元々 [[Unix]] 環境下で専業プログラマでない人の作業を簡素化することを目的として開発された<ref>J. Bentley. ''More Programming Pearls'', Addison-Wesley (1988)</ref>。<br />
<br />
最初は [[troff]] 処理のためのプリプロセッサとして実装され、現在でもそうして使われている。pic プリプロセッサはフィルタとして troff 原稿を処理し、pic言語で書かれた部分だけを実際の描画命令に変換し、他の部分は何も変更せずに出力する。<br />
<br />
[[GNU]] 版の troff である groff にも picプリプロセッサが含まれている。その GNU pic は [[TeX|{{TeX}}]] 原稿中の pic 言語部分を処理することができる。pic 言語部分には、任意の文字列を書いて groff や {{TeX}} に処理させることができ、また後処理を行うプログラム (post-processor) を文書整形処理の前にはさんでもよい。Dwight Aplevich による実装[http://www.ece.uwaterloo.ca/~aplevich/dpic/ DPIC] では、プリプロセッサとしての動作に加えて、直接 [[PostScript]] 形式の出力を行うこともできる。現在の主な pic 処理系の実装は3種類である。多くの [[Linux]] に含まれる GNU pic、dpic(この2つはフリー)、それと AT&T のオリジナルの実装である。<br />
<br />
pic言語の処理系には、[[MetaPost]] や [[DOT言語]] ([[graphviz]]) と共通した特徴があると言える。<br />
<br />
== 脚注 ==<br />
<references/><br />
<br />
== 外部リンク ==<br />
*[http://floppsie.comp.glam.ac.uk/Glamorgan/gaius/web/pic.html Making Pictures With GNU PIC]<br />
*[http://www.kohala.com/start/troff/troff.html Troff resources ("pic" section を参照)]<br />
*[http://www.onlamp.com/pub/a/onlamp/2007/06/21/in-praise-of-pic.html?page=1 ONLamp.com: ''In Praise of Pic'']<br />
*[http://www.ece.uwaterloo.ca/~aplevich/dpic/ DPIC], Dwight Aplevich による pic 言語の処理系。PostScript 以外の出力形式もあり、また他にも改良点がある。<br />
<br />
[[Category:プログラミング言語|Picけんこ]]</div>
103.56.113.55
TIPA
2016-09-26T19:13:45Z
<p>103.56.113.55: Hisagi (会話) による ID:61300749 の版を取り消し</p>
<hr />
<div>'''TIPA''' は [[LaTeX|{{LaTeX}}]] 上で[[国際音声記号]] (IPA) やその他の音声記号を表示するための[[フリーソフトウェア]]。[[東京大学]]の[[福井玲]]によって開発された。より古い [[TSIPA]] というソフトウェアが元になっている。<br />
<br />
[[TeX|{{TeX}}]] 標準の書体である [[Computer Modern]] に合わせたデザインのほかいくつかの書体が利用可能。利用したい記号に対応するマクロ名を入力するか、次の環境内でショートカット文字を利用する。例えば、曖昧母音 [ə] は ¥textschwa 命令、または以下の環境内でショートカット文字 @ を用いることで表示できる。<br />
*¥textipa{...}<br />
*{¥tipaencoding ...}<br />
*¥begin{IPA} ... ¥end{IPA}<br />
<br />
== 使用例 ==<br />
{|class="prettytable" style="text-align: center; vertical-align: middle;"<br />
!style="text-align: right;" | LaTeX ソース<br />
|<code>\textipa{[""Ekspl@"neIS@n]}</code><br />
|<code>\textipa{/f@"nEtIks/}</code><br />
|-<br />
!style="text-align: right;" | 出力<br />
|[[ファイル:Tipa explanation.svg|129px]]<br />
|[[ファイル:Tipa phonetics.svg|99px]]<br />
|-<br />
!style="text-align: right;" | [[Unicode]]による表示<br />
|{{IPA|ˌɛkspləˈneɪʃən}}<br />
|{{IPA|fəˈnɛtɪks}}<br />
|}<br />
<br />
== 外部リンク ==<br />
*[http://www.l.u-tokyo.ac.jp/%7Efkr/computer.htm コンピューターの部屋](福井玲のページ)<br />
*[http://www.l.u-tokyo.ac.jp/~fkr/tipa/tipaman.pdf TIPA Manual] (英語)<br />
*[https://texwiki.texjp.org/?TIPA TIPA - TeX Wiki]<br />
<br />
{{TeX関連}}<br />
<br />
{{DEFAULTSORT:ていは}}<br />
[[Category:TeX|TIPA]]<br />
[[Category:音声記号]]</div>
103.56.113.55
Warning : Cannot modify header information - headers already sent by (output started at /home/users/1/sub.jp-asate/web/wiki/extensions/HeadScript/HeadScript.php:3) in /home/users/1/sub.jp-asate/web/wiki/includes/WebResponse.php on line 46