Slide 1

Slide 1 text

大改造!! 劇的ビフォーアフター @curekoshimizu リフォーム依頼 番組ではリフォームをお考えの 級数さまを大募集! あなたもこの番組で腕をふるう「匠」に 大改造を依頼してみませんか? 級数を 第8回日曜数学会 (2017/01/07)

Slide 2

Slide 2 text

匠の技を魅せるための 物件(級数)紹介

Slide 3

Slide 3 text

𝜋 = 4 𝑛=0 ∞ −1 𝑛 2𝑛+1 ライプニッツ級数 𝜋 = 4 𝑛=0 ∞ −1 𝑛 4𝑛 ! 1123+21460𝑛 8822𝑛+1 4𝑛𝑛! 4 ラマヌジャンの円周率級数 匠の技を魅せるための 物件(級数)紹介 どちらも円周率に収束する級数

Slide 4

Slide 4 text

𝜋 = 4 𝑛=0 ∞ −1 𝑛 2𝑛+1 ライプニッツ級数 匠にリフォームを望む級数 𝜋 = 4 𝑛=0 ∞ −1 𝑛 4𝑛 ! 1123+21460𝑛 8822𝑛+1 4𝑛𝑛! 4 ラマヌジャンの円周率級数 理想的高級級数 匠の技を魅せるための 物件(級数)紹介

Slide 5

Slide 5 text

𝜋 ≈ 4 𝑛=0 0 −1 𝑛 2𝑛+1 = 4.00000.... ライプニッツ級数 𝜋 ≈ 4 𝑛=0 0 −1 𝑛 4𝑛 ! 1123+21460𝑛 8822𝑛+1 4𝑛𝑛! 4 = 3.1415850400.. ラマヌジャンの円周率級数 𝒏 = 𝟎 までによる 𝝅 の近似値

Slide 6

Slide 6 text

𝜋 ≈ 4 𝑛=0 1 −1 𝑛 2𝑛+1 = 2.666666.... ライプニッツ級数 𝜋 ≈ 4 𝑛=0 1 −1 𝑛 4𝑛 ! 1123+21460𝑛 8822𝑛+1 4𝑛𝑛! 4 = 3.141592653597.. ラマヌジャンの円周率級数 𝒏 = 𝟏 までによる 𝝅 の近似値 さすがはラマヌジャン

Slide 7

Slide 7 text

𝜋 ≈ 4 𝑛=0 2 −1 𝑛 2𝑛+1 = 3.466666.... ライプニッツ級数 𝜋 ≈ 4 𝑛=0 2 −1 𝑛 4𝑛 ! 1123+21460𝑛 8822𝑛+1 4𝑛𝑛! 4 = 3.141592653589 793229.... ラマヌジャンの円周率級数 お!? 𝒏 = 𝟐 までによる 𝝅 の近似値

Slide 8

Slide 8 text

𝜋 ≈ 4 𝑛=0 3 −1 𝑛 2𝑛+1 = 2.89523.... ライプニッツ級数 𝜋 ≈ 4 𝑛=0 3 −1 𝑛 4𝑛 ! 1123+21460𝑛 8822𝑛+1 4𝑛𝑛! 4 = 3.141592653589 7932384626531.. ラマヌジャンの円周率級数 あああ... 𝒏 = 𝟑 までによる 𝝅 の近似値

Slide 9

Slide 9 text

ライプニッツ級数の 収束の遅さをみよ! 2.6666666666666666667 3.4666666666666666667 2.8952380952380952381 3.3396825396825396825 4.0000000000000000000 𝒏 = 𝟎 まで 𝒏 = 𝟏 まで 𝒏 = 𝟐 まで 𝒏 = 𝟑 まで 𝒏 = 𝟒 まで 3.2837384837384837384 3.0170718170718170717 2.9760461760461760461 𝒏 = 𝟓 まで 𝒏 = 𝟔 まで 𝒏 = 𝟕 まで 3.2523659347188758952 3.0418396189294022110 𝒏 = 𝟖 まで 𝒏 = 𝟗 まで 𝜋 = 4 𝑛=0 ∞ −1 𝑛 2𝑛+1 ライプニッツ級数

Slide 10

Slide 10 text

2.6666666666666666667 3.4666666666666666667 2.8952380952380952381 3.3396825396825396825 4.0000000000000000000 𝒏 = 𝟎 まで 𝒏 = 𝟏 まで 𝒏 = 𝟐 まで 𝒏 = 𝟑 まで 𝒏 = 𝟒 まで 3.2837384837384837384 3.0170718170718170717 2.9760461760461760461 𝒏 = 𝟓 まで 𝒏 = 𝟔 まで 𝒏 = 𝟕 まで 3.2523659347188758952 3.0418396189294022110 𝒏 = 𝟖 まで 𝒏 = 𝟗 まで 3.1315929035585527643 3.0418396189294022111 𝒏 = 𝟏𝟎 まで 𝒏 = 𝟏𝟎𝟎 まで 3.1414926535900432384 3.1405926538397929259 𝒏 = 𝟏𝟎𝟎𝟎 まで 𝒏 = 𝟏𝟎𝟎𝟎𝟎 まで 𝒑桁計算するのに 𝒏 = 𝟏𝟎𝒑+𝟏 まで 計算が必要な予感!?

Slide 11

Slide 11 text

しかし

Slide 12

Slide 12 text

匠は

Slide 13

Slide 13 text

なんと

Slide 14

Slide 14 text

2.6666666666666666667 3.4666666666666666667 2.8952380952380952381 3.3396825396825396825 4.0000000000000000000 𝒏 = 𝟎 まで 𝒏 = 𝟏 まで 𝒏 = 𝟐 まで 𝒏 = 𝟑 まで 𝒏 = 𝟒 まで 3.2837384837384837384 3.0170718170718170717 2.9760461760461760461 𝒏 = 𝟓 まで 𝒏 = 𝟔 まで 𝒏 = 𝟕 まで 3.2523659347188758952 3.0418396189294022110 𝒏 = 𝟖 まで 𝒏 = 𝟗 まで この全然円周率っぽくない ものたちだけを使って 劇的ビフォーアフター してみせます!

Slide 15

Slide 15 text

アルゴリズム紹介 (epsilon算法) 匠 の 技

Slide 16

Slide 16 text

○ □ △ □ + 𝟏 △−○ この計算をしていく ここがないときは 0 とみなす

Slide 17

Slide 17 text

STEP0 2.6666666666666666667 3.4666666666666666667 2.8952380952380952381 3.3396825396825396825 4.0000000000000000000 𝒏 = 𝟎 まで 𝒏 = 𝟏 まで 𝒏 = 𝟐 まで 𝒏 = 𝟑 まで 𝒏 = 𝟒 まで 3.2837384837384837384 3.0170718170718170717 2.9760461760461760461 𝒏 = 𝟓 まで 𝒏 = 𝟔 まで 𝒏 = 𝟕 まで 3.2523659347188758952 3.0418396189294022110 𝒏 = 𝟖 まで 𝒏 = 𝟗 まで

Slide 18

Slide 18 text

2.6666666666666666667 3.4666666666666666667 2.8952380952380952381 3.3396825396825396825 4.0000000000000000000 𝒏 = 𝟎 まで 𝒏 = 𝟏 まで 𝒏 = 𝟐 まで 𝒏 = 𝟑 まで 𝒏 = 𝟒 まで 3.2837384837384837384 3.0170718170718170717 2.9760461760461760461 𝒏 = 𝟓 まで 𝒏 = 𝟔 まで 𝒏 = 𝟕 まで 1.2500000000000000000 -1.749999999999999999 2.2500000000000000002 -2.749999999999999999 -0.750000000000000000 -3.749999999999999999 3.2500000000000000001 3.2523659347188758952 3.0418396189294022110 𝒏 = 𝟖 まで 𝒏 = 𝟗 まで 4.2500000000000000005 -4.750000000000000000 𝟎 + 𝟏 △−○ STEP1 △ ○

Slide 19

Slide 19 text

-0.750000000000000000 2.6666666666666666667 3.4666666666666666667 2.8952380952380952381 3.3396825396825396825 4.0000000000000000000 𝒏 = 𝟎 まで 𝒏 = 𝟏 まで 𝒏 = 𝟐 まで 𝒏 = 𝟑 まで 𝒏 = 𝟒 まで 3.2837384837384837384 3.0170718170718170717 2.9760461760461760461 𝒏 = 𝟓 まで 𝒏 = 𝟔 まで 𝒏 = 𝟕 まで 1.2500000000000000000 -1.749999999999999999 2.2500000000000000002 -2.749999999999999999 -3.749999999999999999 3.2500000000000000001 2.6666666666666666667 3.4666666666666666667 2.8952380952380952381 3.3396825396825396825 3.2837384837384837384 2.9760461760461760461 3.1666666666666666667 3.1333333333333333334 3.1452380952380952381 3.1396825396825396825 3.1408813408813408812 3.1427128427128427128 3.2523659347188758952 3.0418396189294022110 𝒏 = 𝟖 まで 𝒏 = 𝟗 まで 4.2500000000000000005 -4.750000000000000000 3.1420718170718170717 3.1412548236077647841 STEP2 △ ○ □ □ + 𝟏 △−○

Slide 20

Slide 20 text

STEP3

Slide 21

Slide 21 text

STEP4

Slide 22

Slide 22 text

STEP5+STEP6

Slide 23

Slide 23 text

STEP5+STEP6 0・1桁精度 2・3桁精度 4・5桁精度 5・6・7桁精度

Slide 24

Slide 24 text

なんということでしょう

Slide 25

Slide 25 text

匠の技で あんなにも収束の遅かった ライプニッツ級数が

Slide 26

Slide 26 text

BEFORE

Slide 27

Slide 27 text

BEFORE AFTER 3.141592079353... 𝒏 = 𝟏𝟎𝟎𝟎𝟎までより 精度よく求まっている

Slide 28

Slide 28 text

最後に このアルゴリズムを使って

Slide 29

Slide 29 text

おもしろい応用が できることに 気がついたので紹介

Slide 30

Slide 30 text

𝟏 − 𝟐 + 𝟑 − 𝟒 + 𝟓 − ・・・ = 𝒏=𝟎 ∞ −𝟏 𝒏(𝒏 + 𝟏) 発散級数

Slide 31

Slide 31 text

-1 2 -2 3 1 𝒏 = 𝟎 まで 𝒏 = 𝟏 まで 𝒏 = 𝟐 まで 𝒏 = 𝟑 まで 𝒏 = 𝟒 まで 4 -3 𝒏 = 𝟓 まで 𝒏 = 𝟔 まで 𝟏 − 𝟐 𝟏 − 𝟐 + 𝟑

Slide 32

Slide 32 text

-1 2 -2 3 1 𝒏 = 𝟎 まで 𝒏 = 𝟏 まで 𝒏 = 𝟐 まで 𝒏 = 𝟑 まで 𝒏 = 𝟒 まで 4 -3 𝒏 = 𝟓 まで 𝒏 = 𝟔 まで 1/3 -1/4 1/5 -1/6 -1/2 1/7 666666666 66666667 3.4666666 666666666 667 2.8952380 952380952 381 3.3396825 396825396 825 1/5 2/7 2/9 3/11 3/13 12 -16 20 -24 666666666 667 2.8952380 952380952 381 2.8952380 952380952 381 1/4 1/4 1/4 おや!?

Slide 33

Slide 33 text

つまり

Slide 34

Slide 34 text

𝟏 − 𝟐 + 𝟑 − 𝟒 + 𝟓 − ・・・ = 𝒏=𝟎 ∞ −𝟏 𝒏 𝒏 + 𝟏 = 𝟏 𝟒 発散級数 = 𝟏 𝟒 !?

Slide 35

Slide 35 text

𝟏−𝒛 + 𝟐−𝒛 + 𝟑−𝒛 + ・・・ = (𝟏 − 𝟐𝟏−𝒛)𝜻(𝒔) ゼータ函数を使うと ある意味 ¼ と解釈ができるかもしれない? 𝟏 − 𝟐 + 𝟑 − 𝟒 + 𝟓 − ・・・ = −3𝜻 −𝟏 = −𝟑 × − 𝟏 𝟏𝟐 = 𝟏 𝟒 𝜻 −𝟏 = − 𝟏 𝟏𝟐 を使った この式を使うと

Slide 36

Slide 36 text

つまり

Slide 37

Slide 37 text

匠の技は 発散級数にも ある意味使える!?

Slide 38

Slide 38 text

以上 収束をはやくする 匠の技でした +もしかすると発散級数に対しても 使えるのでは? という話つき 第8回日曜数学会 (2017/01/07)

Slide 39

Slide 39 text

自己紹介+ブログ宣伝 @curekoshimizu • 京都大学理学部 数学科で解析学を主に専攻してました! 後期入試最高得点入学! (tan1°問題の年) • 京都大学大学院 情報学研究科 複雑系科学専攻 数値解析・丸め誤差に関わる研究 それをやりながらコンピューターにも興味をもつ • 現在ソフトウェアエンジニア! ここで紹介したような技を使って さまざまなアルゴリズムを高速化してます! 数学をつかった高速化が大好き!!! 数学と関係する略歴 http://math.koshimizu.hatenablog.jp 数学とコンピューターの間を埋めるような そんなブログをはじめました! 2016年 日曜数学アドベントカレンダー にも投稿したよ