Π ~計算法の変遷~ 2006 年2月17日 明治大学理工学部数学科 鎌田 伊織 吉本 清夏. 円周率の計算法の歴史 円に内接・外接する正多角形の周長の利用 ( アルキメデス ( BC3C ) ・関 孝和 (17 C ) ・ 建部 賢弘 (18 C) ) 逆正接関数 (Arctan) の Taylor.

Slides:



Advertisements
Similar presentations
情報通信システム( 2 ) 年 4 月 26 日 火曜日 午後 4 時 10 分~ 5 時 40 分 NTT-IT Corp. 加藤 洋一.
Advertisements

1 変量データの記述 (度数分布表とヒストグラム) 経済データ解析 2009 年度後 期. あるクラスのテストの点数が次のように なっていたとする。 このように出席番号と点数が並んでいるものだけでは、 このクラスの特徴がわかりづらい。 → このクラスの特徴がわかるような工夫が必要 → このクラスの特徴がわかるような工夫が必要.
2. 数値微分法. 数値微分が必要になる場合として、次の 2 つが考えられる。 関数が与えられていて、その微分を近似的に計算する。 (数値微分の精度が十分で、かつ、計算速度が数値微分の方が 早い場合など。) 離散的な点の上で離散的なデータしかわかっていない関数の微 分を近似的に計算する。(偏微分方程式の数値解を求めたい時.
22 ・ 3 積分形速度式 ◎ 速度式: 微分方程式 ⇒ 濃度を時間の関数として得るためには積分が必要 # 複雑な速度式 数値積分 (コンピューターシミュ レーション) # 単純な場合 解析的な解(積分形速度式) (a)1 次反応 1次の速度式 の積分形 [A] 0 は A の初濃度 (t = 0 の濃度.
Determining Optical Flow. はじめに オプティカルフローとは画像内の明る さのパターンの動きの見かけの速さの 分布 オプティカルフローは物体の動きの よって変化するため、オプティカルフ ローより速度に関する情報を得ること ができる.
第1回 確率変数、確率分布 確率・統計Ⅰ ここです! 確率変数と確率分布 確率変数の同時分布、独立性 確率変数の平均 確率変数の分散
三角関数演習問題 r b a [ 三角関数 ] θ 信号理論 (金田) 1演-1 (答は別紙の解答用紙に記入する)
有限差分法による 時間発展問題の解法の基礎
電磁気学C Electromagnetics C 7/27講義分 点電荷による電磁波の放射 山田 博仁.
・力のモーメント ・角運動量 ・力のモーメントと角運動量の関係
det(tA)=Σ sgn(σ)aσ(1)1aσ(2)2・・・aσ(n)n
離散システム特論 整列(sorting)アルゴリズム 2.
豊中高校土曜講座「数学セミナー2003」 プラトン多面体の数学 なぜ正多面体は5種類しかないのか 大阪府立豊中高等学校 深川 久.
Ibaraki Univ. Dept of Electrical & Electronic Eng.
確率・統計Ⅰ 第11回 i.i.d.の和と大数の法則 ここです! 確率論とは 確率変数、確率分布 確率変数の独立性 / 確率変数の平均
Finger patternのブロック化による 陰的wavelet近似逆行列前処理の 高速化
標本の記述統計 専修大学 経済学部 経済統計学(作間逸雄).
スペクトル法による数値計算の原理 -一次元線形・非線形移流問題の場合-
円周率 98E13036  平川 芳昭.
シミュレーション論Ⅰ 第4回 基礎的なシミュレーション手法.
論理式の表現を数学的に取り扱いやすくするために代数学の助けを借りる.
Mathematica入門 数学を数式処理システムで 上智大学理工学部 大槻東巳 TA: 吉本行気,清水元気 2012年6月.
Probabilistic Method 6-3,4
最尤推定によるロジスティック回帰 対数尤度関数の最大化.
非線形方程式の近似解 (2分法,はさみうち法,Newton-Raphson法)
需要の価格弾力性 価格の変化率と需要の変化率の比.
電気回路Ⅱ 演習 特別編(数学) 三角関数 オイラーの公式 微分積分 微分方程式 付録 三角関数関連の公式
10. 積分 積分・・確率モデルと動学モデルで使われる この章は計算方法の紹介 積分の定義から
円 周 率 物 語.
計算アルゴリズム 計算理工学専攻 張研究室 山本有作.
計算アルゴリズム 計算理工学専攻 張研究室 山本有作.
応用数学 計算理工学専攻 杉原研究室 山本有作.
 統計学講義 第11回     相関係数、回帰直線    決定係数.
スペクトル法の一部の基礎の初歩への はじめの一歩
プログラミング論 II 2008年吉日 主成分分析 数値積分
応用統計学の内容 推測統計学(inferential statistics)   連続型の確率分布   標本分布   統計推定   統計的検定.
北大MMCセミナー 第70回 附属社会創造数学センター主催 Date: 2017年7月6日(木) 16:30~18:00
確率論の基礎 「ロジスティクス工学」 第3章 鞭効果 第4章 確率的在庫モデル 補助資料
Basic Tools B4  八田 直樹.
メンバー 梶川知宏 加藤直人 ロッケンバッハ怜 指導教員 藤田俊明
電磁気学C Electromagnetics C 7/17講義分 点電荷による電磁波の放射 山田 博仁.
ルンゲクッタ法 となる微分方程式の解を数値的に解く方法.
他の平均値 幾何平均 調和平均 メデイアンとモード 平均値・メデイアン・モードの関係.
課題 1 課題提出時にはグラフを添付すること.
計測工学 -誤差、演習問題 計測工学(第6回) 2009年5月26日 Ⅱ限目.
平面波 ・・・ 平面状に一様な電磁界が一群となって伝搬する波
計測工学 計測工学8 最小二乗法3 計測工学の8回目です。 最小二乗法を簡単な一時関数以外の関数に適用する方法を学びます。
最尤推定・最尤法 明治大学 理工学部 応用化学科 データ化学工学研究室 金子 弘昌.
22・3 積分形速度式 ◎ 速度式: 微分方程式 ⇒ 濃度を時間の関数として得るためには積分が必要
1:Weak lensing 2:shear 3:高次展開 4:利点 5:問題点
回帰分析(Regression Analysis)
22・3 積分形速度式 ◎ 速度式: 微分方程式 ⇒ 濃度を時間の関数として得るためには積分が必要
停止ストリームの検知(2).
課題 1 課題提出時にはグラフを添付すること.
解析学 ー第9〜10回ー 2019/5/12.
情報科学 第6回 数値解析(1).
博士たちの愛する円周率 徳山 豪 東北大学 “PI” that professors love
ガウス分布における ベーテ近似の理論解析 東京工業大学総合理工学研究科 知能システム科学専攻 渡辺研究室    西山 悠, 渡辺澄夫.
MOAデータベースを使った セファイド変光星の周期光度関係と 距離測定
北大MMCセミナー 第68回 附属社会創造数学センター主催 Date: 2017年6月15日(木) 16:30~18:00
円 周 率 物 語.
課題 1 課題提出時にはグラフを添付すること.
最小二乗法による線形重回帰分析 明治大学 理工学部 応用化学科 データ化学工学研究室 金子 弘昌.
2008年6月5日 非線形方程式の近似解 2分法,はさみうち法,Newton-Raphson法)
モデルの微分による非線形モデルの解釈 明治大学 理工学部 応用化学科 データ化学工学研究室 金子 弘昌.
課題 1 課題提出時にはグラフを添付すること.
課題 1 課題提出時にはグラフを添付すること.
混合ガウスモデル Gaussian Mixture Model GMM
8.2 数値積分 (1)どんなときに数値積分を行うのか?
弾力性 労働経済学.
Presentation transcript:

π ~計算法の変遷~ 2006 年2月17日 明治大学理工学部数学科 鎌田 伊織 吉本 清夏

円周率の計算法の歴史 円に内接・外接する正多角形の周長の利用 ( アルキメデス ( BC3C ) ・関 孝和 (17 C ) ・ 建部 賢弘 (18 C) ) 逆正接関数 (Arctan) の Taylor 展開の利用 ( Leibniz (15 C) ・ Sharp ((1 7 C) ・ Machin (18 C) ) AGM ( 算術幾何平均 : Arithmetic Geometric Mean ) (Salamin-Brent による Gauss-Legendre 法 (1976) ・ Borwein 法) DRM(分割有理数化 : Divide and Rationalize Method ) (後 保範 (1998) & 金田 康生 (2002) )

Arctan 級数とは? の両辺を微分すると, 項別積分することで, Arctan の Taylor 展開が得られる. 実は, x= 1 でも成立し, Leibniz 級数を得る. (1) x = とすると, Sharp の公式が得られる. (2) ・ (1)は収束速度が非常に遅く, 効率が悪い ・ (2)は(1)よりはずいぶん速くなる ・ 長い年月をかけて多くの人々が競って計算するようになった

Arctan 級数の公式 1/2 Machin (1706) (当時の最高記録100桁を求め, その後 多くの人に利用された. ) Euler (1737 ) (1755)

Arctan 級数の公式 2/2 Gauss (1863) ( おそらく3項公式 で最高効率) (1985年にフェルトンによって1 万21桁を得た) 高野喜久雄 (1982) (2002年に世界一の1兆2400億桁を達成した公 式!)

実験結果 1/3 * S ( j )=各公式における Taylor 展開の第 j 部分 和 *横軸 =項数 j *縦軸 = π と S( j ) の誤差の log 10 をとっ たもの ・ ■ マチンの公式 ・ ■ オイラーの公式① ・ ■ オイラーの公式② ・ ■ ガウスの公式① ・ ■ ガウスの公式② ・ ■ 高野喜久雄の公式 部分和の項数 j と 誤差 log 10 ( π - S ( j )) との関係

実験結果 2/3 <グラフからわかったこと> 傾きは, それぞれの公式において最も収束速度が遅い項による (収束速度は Arctan (x)の|x|が大きい ほど遅くなる) Arctan (x)の|x|が大きい項をもつ公式ほど, | 傾き | が小さ い 傾きと|x|の log 10 値を比べてみる * 傾きは log 10 (x )の 2倍 に なっている * 次に, この関係を調べ る Arctanx の |x| 傾き 1 / 2 -0.6-0.6 - / 5 -1.4-1.4 - / 7 -1.7-1.7 - / 18 -2.5-2.5 - / 38 - 3.16 - / 49 - 3.24 - 1.690

実験結果 3/3 < Machin の公式( )を例にとって考え る> とおき, Taylor 展開をすると, となる. また, j での部分和は, よって, π と j での部分和との誤差は, 対数をとると よって,log 10 x の2倍が傾きになると考えられる.

算術幾何平均とは・・・ ・ のことを昔は算術平均・幾何平均と呼 んでいた. ・ とし、 ・数列{ }と{ }は共通の極限に収束する. ・この値を と の算術幾何平均 (arithmetic- geometric mean) と呼び、 で表す.

背景1 / 3 < Legendre の関係式> (ⅰ)第一種完全楕円積分 第二種完全楕円積分 の間に成り立つ Legendre の関係式

背景2 / 3 < Gauss,“the fundamental limit theorem” > 第一種完全楕円積分、第二種完全楕円積分の二変数版を で定めると、 が成り立つ.ただし、

背景3 / 3 Legendre の関係式で の時、 であるので、 ①に②を代入して、

ガウス・ルジャンドルの公式 として、 以下の反復式を と の差が所要桁以上に なるまで計算する. 所要桁になったら円周率は、 ≒ と求められる.

= と ≒ 関係 ・ ・ ガウ ス・ルジャンドルの公式より また、

誤差の減少の速さ n π との誤差 1 E-0003 2 E-0009 3 E-0019 4 E-0041 5 E-0084 6 E-0171 7 E-0345 8 E-0694 9 E E-1000 f i g.π との誤差 <縦軸: 横 軸:回数n>

まとめ 今回は取り上げられなかったが、ボールウェイ ンの4次式では計算精度が4倍である 現在の世界記録は高野喜久雄の(Arcta n)公式とDRM法を使って,2002年11 月に後 保範氏&金田 康生氏によって計算さ れた約1兆2400億桁! 今後もコンピュータの発達により π の計算記録 の樹立は変わってくると考えられる

参考文献 (1) E.ハイラー, G.ワナー 著, 蟹江幸博 訳, 解析教程 上, シュプリンガー・フェアラーク東京 (1997) (2) 桂田祐史, π ノート, 明治大学数学科助教授 (200 4) (3) 清水康生, π の数値解析, 明治大学数学科 2003年度 卒業研究レポート (2004) (4) ペートル・ベックマン 著, 田尾陽一, 清水韶光 訳, π の 歴史, 蒼樹書房 (1973) (5) 数学文化, Vol. 1, 日本数学協会 (2003) (6)金田康正, π のはなし, 東京書籍 (1991) (7) 梅村浩, 楕円関数論, 東京大学出版会 (1999) (8)ドゥラエ・ジャン=ポール(Jean-Paul De lahaye)著, 畑政義 訳, π- 魅惑の数, 朝倉書店 (200 1) 御静聴ありがとうございました。