【無限遠点を巡る数理】「無限遠点への発散」=「無限遠点への収束」?

あらゆる**極座標系**(<font color=blue>Polar Coordinate System</font>)上において、ほとんど必然性を帯びて**極限**(<font color=blue>Limit</font>)として置かれる**無限遠点**(<font color=blue>Inf(inity)</font>)は、状況に応じて**点**や半径無限の**円弧**や**球表面**として表されます。

```R
#統計言語Rでの汎用計算機代数ソフトウェアYacasによる計算例
library(Ryacas)
yacas("Limit(x,Infinity) (x^2+x+1)/(2*x^2+1)")
expression(1/2)
yacas("Limit(x,0) Sin(x)/x")
expression(1)
yacas("Limit(x,0) (1-Cos(x))/x^2")
expression(1/2)
```
そして、かかる**座標系**においては**無限長**(<font color=blue>Unlimited Length</font>)/**無限次元**(<font color=blue>Unlimited Dimensions</font>)への**発散**(<font color=blue>Divergence</font>)は**無限長**(<font color=blue>Unlimited Length</font>)/**無限次元**(<font color=blue>Unlimited Dimensions</font>)への**収束**(<font color=blue>Convergence</font>)と見做される様なのです。
[光円錐(Light cone)- Wikipedia](https://ja.wikipedia.org/wiki/%E5%85%89%E5%86%86%E9%8C%90)
![image.png](https://qiita-image-store.s3.ap-northeast-1.amazonaws.com/0/597772/8472a0e0-9b70-40e5-93f0-bbc3b2872b58.png)
[リーマン球面（Riemann sphere）- Wikipedia](https://ja.wikipedia.org/wiki/%E3%83%AA%E3%83%BC%E3%83%9E%E3%83%B3%E7%90%83%E9%9D%A2)
![image.png](https://qiita-image-store.s3.ap-northeast-1.amazonaws.com/0/597772/2e361eec-7e47-cb52-6371-fd027611b862.png)

いずれにせよ我々の**数理**(<font color=blue>Mathematical Things</font>)は、かかる**形而上学的概念**(<font color=blue>Metaphysical Concept</font>)を<font color=green>19世紀前半</font>の**ガウス積分**（<font color=blue>Gaussian integral</font>）の**証明**(<font color=blue>Demonstration</font>)以降**自明の場合**(<font color=blue>Trivial Case</font>)とする展開を迎えました。すなわち(<font color=blue>どの次元軸への発散も極限値としては等価となる</font>)**無限遠点**(<font color=blue>Infinity</font>)において**円関数**(<font color=blue>Circle Function</font>)<font color=green>y=sqrt(半径r-x^2)</font>、**放物線関数**(<font color=blue>Parabolic Function</font>)<font color=green>y=±x^2</font>およびその**逆関数**<font color=green>y=±sqrt(x)</font>、**双曲線関数**(<font color=blue>Hyperbolic Function</font>)<font color=green>y=sqrt(x^2-半径r)</font>およびその**逆関数**<font color=green>y=1/sqrt(x^2-半径r)</font>といった**円錐曲線**(<font color=blue>Cone Section</font>)は全て交わる(<font color=blue>一点/単一円弧上/単一球表面上に収束する</font>)と考える様になったのです。
[ガウス分布の導出 - Qiita](https://qiita.com/maguchi_isc/items/76100d409ae4cef7c2e5)
[二次曲線(円錐曲線)の分類（四通りの方法）](https://mathtrain.jp/ensuibunrui)
![image.png](https://qiita-image-store.s3.ap-northeast-1.amazonaws.com/0/597772/6a1c238d-f72d-9649-1393-5aa5bdede5ef.png)

**指数関数**(<font color=blue>Exponential Function</font>)<font color=green>y=exp(x)</font>とその**逆関数**たる**対数関数**(<font color=blue>Logarithmic Function</font>)<font color=green>y=log(x)</font>、ステップ関数(step functio)の積分結果たるシグモイド関数(sigmoid function)などもまた**無限遠点**において交わりますが、これらは観測原点0が**長さ**<font color=green>1</font>の**単位直線**(<font color=blue>Unit Line</font>)における<font color=green>1</font>、**半径**<font color=green>1</font>の**単位円**(<font color=blue>Unit Circle</font>)/**単位球**(<font color=blue>Unit Sphere</font>)と紐付けられた**超越関数**（<font color=blue>Transcendental Function</font>）なのでまた異なった振る舞いを見せます。
[超越関数（Transcendental Function）- Wikipedia](https://ja.wikipedia.org/wiki/%E8%B6%85%E8%B6%8A%E9%96%A2%E6%95%B0)
[【初心者向け】指数・対数関数の発見](https://qiita.com/ochimusha01/items/3e28f4f06abd8cef0af1)
[【初心者向け】三角関数と指数・対数関数の「巡回性」について。](https://qiita.com/ochimusha01/items/61d8cfa89dc078cbe472)
[【初心者向け】ロジスティック方程式とその関連範囲](https://qiita.com/ochimusha01/items/2f0118ecda2e17d366ba)
![image.png](https://qiita-image-store.s3.ap-northeast-1.amazonaws.com/0/597772/284a779f-4cef-25f1-68da-0f8204329d9d.png)

![image.gif](https://qiita-user-contents.imgix.net/https%3A%2F%2Fqiita-user-contents.imgix.net%2Fhttps%253A%252F%252Fqiita-image-store.s3.ap-northeast-1.amazonaws.com%252F0%252F597772%252F72e46148-73d8-d19f-e21f-3d4360a62ac0.gif%3Fixlib%3Drb-1.2.2%26auto%3Dformat%26gif-q%3D60%26q%3D75%26w%3D1400%26fit%3Dmax%26s%3D9c65b7193a7781bc94d836e5dbb340b2?ixlib=rb-1.2.2&auto=format&gif-q=60&q=75&w=1400&fit=max&s=530b62e8f6e09f14b8a1e4aac6e815c8)

##初まりはカルタゴ建国神話(<font color=green>等周定理</font>)。<br>そして微積分解析概念の大源流に接続。

こうした発想の大源流は伝説上「<font color=purple>1本の紐を与えられ、それを用いて海岸線に沿った半円を描いて最大面積を得た</font>」フェニキア人都市テュロスの植民市カルタゴの女王**ディド**(<font color=blue>古希:Διδώ, Dīdō, 羅: Dido</font>)に帰せられます（<font color=blue>紀元前9世紀頃</font>）。形而上学が「**発明**」された**古代ギリシャ世界成立期**(紀元前8世紀)よりは遡るものの、**ヒッタイト**(<font color=blue>紀元前16世紀~紀元前1180年</font>)が滅び、**エジプト新王国**(<font color=blue>紀元前1570年頃~紀元前1070年頃</font>）衰退が始まった「<font color=red>紀元前1200年のカタストロフ</font>」までは遡らない絶妙な時代設定。
[ディードー - Wikipedia](https://ja.wikipedia.org/wiki/%E3%83%87%E3%82%A3%E3%83%BC%E3%83%89%E3%83%BC)
[まるで未来の設計図！紀元前の軍港が斬新すぎる](https://tabizine.jp/2015/08/24/37993/)

要するにここで言っているのは「**等周定理**(<font color=blue>Isoperimetric Theorem</font>)=<font color=purple>周長が一定の図形において面積が最大となるのは円</font>」なる**概念**(<font color=blue>Concept</font>)の事です。
[等周問題に関連する高校数学の問題 | 高校数学の美しい物語](https://mathtrain.jp/tosyu)
[等周問題](http://sshmathgeom.private.coocan.jp/Didoproblem2.html)
![image.gif](https://qiita-user-contents.imgix.net/https%3A%2F%2Fqiita-image-store.s3.ap-northeast-1.amazonaws.com%2F0%2F597772%2F2d9ca0a6-6aa5-d545-32ad-9f336ff0cdb5.gif?ixlib=rb-1.2.2&auto=format&gif-q=60&q=75&w=1400&fit=max&s=db3e50aa3b3059287041cd2a1d04fa6f)

おそらくこの時代までには既に**ピタゴラスの定理**(<font color=blue>Pythagorean Theorem</font>)<font color=green>半径r=sqrt(x座標^2+y座標^2)</font>は発見済みだったと考えられています。すなわち理論上は当時から既に**モンテカルロ法**(<font color=blue>MC=Monte Carlo method</font>)を用いて「<font color=purple>半径1の円の面積はπ</font>」が証明可能だったのです。
[三平方の定理 (ピタゴラスの定理) の歴史 - 考古学的事実 - 新石器時代欧州](http://asait.world.coocan.jp/pythagorean/section3/pyta_section3.htm)
[【初心者向け】ピタゴラスの定理あるいは三平方の定理からの出発 - Qiita](https://qiita.com/ochimusha01/items/4c7f731b0ef3cc998aa1)
[【初心者向け】「モンテカルロ法」概説 - Qiita](https://qiita.com/ochimusha01/items/979f43806ef00910ac81)
![image.gif](https://qiita-user-contents.imgix.net/https%3A%2F%2Fqiita-image-store.s3.ap-northeast-1.amazonaws.com%2F0%2F597772%2F300dc4cc-97c6-dc12-9003-56d360995a03.gif?ixlib=rb-1.2.2&auto=format&gif-q=60&q=75&w=1400&fit=max&s=f0c920269c41344171772ab11bca99bb)

当然、以下も**自明の場合**(<font color=blue>Trival Case</font>)扱いだったと推測されます。

* **直径**(<font color=blue>Diameter</font>)は**半径**(<font color=blue>Radius</font>)r</font>の2倍すなわち<font color=green>2r</font>(<font color=blue>距離1(0→r)+距離1(-r→0)</font>)
* **半径**rの**円弧**(<font color=blue>Circle</font>)の**周長**(<font color=blue>Perimeter</font>)は<font color=green>2πr</font><br>[【初心者向け】挟み撃ち定理（Squeeze Theorem）による円周率πの近似](https://qiita.com/ochimusha01/items/1caff7d8af4aab167aaa)<br>![image.gif](https://qiita-user-contents.imgix.net/https%3A%2F%2Fqiita-image-store.s3.ap-northeast-1.amazonaws.com%2F0%2F597772%2F91fd2787-e634-9a4c-64a8-5616bbd12d65.gif?ixlib=rb-1.2.2&auto=format&gif-q=60&q=75&w=1400&fit=max&s=c20efc397400fba9c7dfb6c62a4fb04b)
* 円の面積は<font color=green>半径r*(半径r*周長2π/2)</font>の矩形計算に置き換え求める(<font color=blue>扇算</font>)<br>[円の面積の求め方と覚えるコツ。なぜ半径×半径×3.14になるか｜アタリマエ！](https://atarimae.biz/archives/8523)<br>![image.png](https://qiita-image-store.s3.ap-northeast-1.amazonaws.com/0/597772/2f49d52a-e690-9de3-ac8d-e0b467727334.png)

最後の「**扇算**」概念は**数値積分**(<font color=blue>Numerical Integration</font>)における**矩形近似法**(<font color=blue>Rectangle Approximation Method</font>)の**三角形/台形近似法**(<font color=blue>Triangle/Trapezoidal Approximation Method</font>)への拡張を経て以下の**微積分概念**、すなわち**解析学**(<font color=blue>Analysis</font>)の世界へと接続します。
[【初心者向け】半径・直径・円周長・円の面積・球の表面積・球の体積の計算上の往復 - Qiita](https://qiita.com/ochimusha01/items/e180451a210227bb19a5)
[台形公式を用いた積分の近似とその誤差](https://mathtrain.jp/daikeikinji)
![image.png](https://qiita-image-store.s3.ap-northeast-1.amazonaws.com/0/597772/6f27e368-a042-ff34-aa37-bea0ec6376dc.png)

* <font color=green>y=x^n</font>を**微分**(<font color=blue>Differential</font>)すると<font color=green>(x^n)'="y=nx^(n-1)</font>となる。<br>[導関数の意味といろいろな例](https://mathtrain.jp/derivative)
* 逆に<font color=green>y=nx^(n-1)</font>を**不定積分**(<font color=blue>Indefinite integral</font>)すると<font color=green>y=x^n+積分定数C</font>となる。<br>[【積分】積分記号の意味 | 大人が学び直す数学](http://oto-suu.seesaa.net/article/454464283.html)

上掲投稿でも触れてますが実は私、中高生時代に一度「<font color=purple>解き方を覚えても覚えても次々と例外処理が現れる</font>」不毛な戦いの連続に心が折れ、一旦**微積分計算**に挫折しているのです。再学習の契機となったったのは、こうした見かけ上の振る舞いの背後に「<font color=purple>近似の精度向上と計算速度向上の為なら方法論的一貫性を平気で放棄する真摯な現実主義</font>」が透けて見える**パラダイムシフト**を経験して以降。あと「<font color=purple>コンピューターに代わりに計算させて結果を見る</font>」手抜きが可能となって全体像を俯瞰するのが容易になったせいでもありました。

```R
#統計言語Rでの汎用計算機代数ソフトウェアYacasによる計算例

library(Ryacas)

#微分と積分の基礎
yacas("D(x) x^n")
expression(n * x^(n - 1))
yacas("D(x) x^3-3*x^2+4*x-2")
expression(3 * x^2 - 6 * x + 4)
yacas("Integrate(x) x^n")
expression(x^(n + 1)/(n + 1))

#定積分
yacas("Integrate(x,x1,x2) Cos(x)")
expression(sin(x2) - sin(x1))
yacas("Integrate(x,0,2) Abs(x-1)")
expression(1)

#色々な積分
yacas("Integrate(x) x^a")
expression(x^(a + 1)/(a + 1))
yacas("Integrate(x) 1/x")
expression(log(x))
yacas("Integrate(x) 1/Cos(x)^2")
expression(tan(x))
yacas("Integrate(x) a^x")
expression(a^x/log(a))

#偏微分（Partial Derivative）計算
D01<-expression(x^2*y+3*x*y^5+x^3)

#xによる偏微分
D(D01,"x")
2 * x * y + 3 * y^5 + 3 * x^2

#yによる偏微分
D(D01,"y")
x^2 + 3 * x * (5 * y^4)

#以下の様な連続計算も可能
yacas("f1(x) := 2*x+3")
expression(TRUE)
yacas("f2(x) := 2*x^2+3*x-1")
expression(TRUE)
yacas("D(x) f1(x)*f2(x)")
expression*23
yacas("Simplify(%)")
expression(12 * x^2 + 24 * x + 7)

#高次導関数
yacas("Simplify(D(x,2) Exp(x)*Sin(x))")
expression(2 * (exp(x) * cos(x)))
#Simplifyしないとこう。
yacas("D(x,2) Exp(x)*Sin(x)")
expression(exp(x) * cos(x) - exp(x) * sin(x) + (exp(x) * cos(x) +
exp(x) * sin(x)))

#その他いろいろ(その1)
yacas("Simplify(%)")
expression(12 * x^2 + 24 * x + 7)
yacas("D(x) 1/(2*x+1) ")
expression(-2/(2 * x + 1)^2)
yacas("D(x) (3*x-1)/(x^2+1)")
expression*24/(x^2 + 1)^2)
yacas("Simplify(%)")
expression*25
yacas("D(x) (2*x^3-1)^4")
expression(24 * (x^2 * (2 * x^3 - 1)^3))
yacas("Simplify(%)")
expression(24 * (8 * x^11 - 12 * x^8 + 6 * x^5 - x^2))
yacas("D(x) Tan(x)")
expression(1/cos(x)^2)
yacas("D(x) Ln(x)")
expression(1/x)
yacas("D(x) a^x")
expression(a^x * log(a))
yacas("Exp(x)")
expression(exp(x))
```
##無重力下を球状で漂う液体(<font color=green>最大エントロピー原理</font>)のイメージを経て正規分布概念に接続。

こうした諸概念に「<font color=purple>起こりうる全ての事象を足し合わせると1=100%となる</font>」**連続形確率変数分布**(<font color=blue>Continuous Random Variable Distribution</font>)の概念を導入すると、上掲の**等周定理**に由来する「<font color=purple>無重力下に放り出された液体が</font>(<font color=blue>流体力学の作用である表面張力が働く事から</font>)<font color=purple>理論上球状にまとまる</font>」物理現象が「**最大エントロピー原理**=<font color=purple>ある条件下でエントロピーを最大化するということは、条件以外の情報を全く含まない自然な分布である</font>」と結びつき「（<font color=blue>一辺2の正方形に収まった</font>）**半径**<font color=green>1</font>**面積**<font color=green>π</font><font color=purple>の円状分布</font>」が顕現する展開を迎えます。
[無重力下で液体はどう動く？　～ロケット開発に生かされる流体力学～](https://yumenavi.info/lecture_sp.aspx?GNKCD=g009639&OraSeq=54&ProId=WNA002&SerKbn=Z&SearchMod=6&Page=3&KeyWord=%E5%AE%87%E5%AE%99)
![image.png](https://qiita-image-store.s3.ap-northeast-1.amazonaws.com/0/597772/04aa08e2-e00e-3dfa-96e1-07921e936c9d.png)
![image.gif](https://cdn-ak.f.st-hatena.com/images/fotolife/o/ochimusha01/20200502/20200502170023.gif)

これにさらに上掲の**無限遠点の同化作用**を援用し、一辺が<font color=green>sqrt(π)</font>の方形との相互変換を介して有名な<font color=green>y=exp(-x^2)</font>と対応付けたのが有名な**正規分布**(<font color=blue>Normal Distribution</font>)の出発点、すなわち「<font color=purple>観測原点から無限遠点にかけて</font>**一次元**(<font color=blue>One dimension</font>)<font color=purple>上に</font >**釣鐘曲線**(<font color=blue>Bell Curve</font>)<font color=purple>を描く理論上最も自然状態に近い分布</font>」となります。考えてみれば、そもそも計算の基底に**放物線**(<font color=blue>parabola</font>)が選ばれたのも「(<font color=blue>斜め上に投げ上げた物体が、最高高度到達地点を中心に均等な軌跡を描く</font>)<font color=purple>地上に存在する最も自然な曲線の一つ</font>」と目されていたからかもしれません。
[【初心者向け】正規分布（Normal Distribution）とは何か？](https://qiita.com/ochimusha01/items/fe73ddf6e3e8cb08fbee)
![image.png](https://qiita-image-store.s3.ap-northeast-1.amazonaws.com/0/597772/ba982eab-005c-f2a8-9495-d445c183745c.png)

よく見かけるさらに複雑な式は、**面積計**が<font color=green>π</font>となるこの計算を「<font color=purple>起こりうる全ての事象を足し合わせると1=100%となる</font>」***連続形確率変数分布***(<font color=blue>Continuous Random Variable Distribution</font>)に適用させた結果。
![image.png](https://qiita-image-store.s3.ap-northeast-1.amazonaws.com/0/597772/d4d4ac6d-8efa-5d51-4688-12dd057ffe05.png)
実際、**横軸**(<font color=blue>確率変数</font>)に与える**算術平均**(<font color=blue>Arithmetic Mean</font>)や**縦軸**(<font color=blue>確率密度</font>)に与える**標準偏差**(<font color=blue>Standard Deviation</font>)といった**パラメーター**(<font color=blue>parameter</font>)が設定可能となった事で、より多様な分布状況に柔軟に対応する事が可能となりました(<font color=blue>パラメトリック検定</font>)。
[統計検定を理解せずに使っている人のために II](https://www.jstage.jst.go.jp/article/kagakutoseibutsu/51/6/51_408/_pdf)
![image.png](https://qiita-image-store.s3.ap-northeast-1.amazonaws.com/0/597772/0131b2d5-28e0-8bfe-6e1e-d2359ab1124a.png)

##そして「無限遠点としての正規分布」と「統計学の暗黒時代」について。

**正規分布**を**最小二乗法**(<font color=blue>Least squares</font>)の適用を考えている天文観測データから顕著な外れ値を除去する為の**誤差関数**(<font color=blue>ELF=error function</font>）)として導入したガウス。
[誤差関数 - Wikipedia](https://ja.wikipedia.org/wiki/%E8%AA%A4%E5%B7%AE%E9%96%A2%E6%95%B0)
[正規分布と誤差関数](http://www.fbs.osaka-u.ac.jp/labs/ishijima/error-01.html)
[正規分布という王様が誕生する](https://www.yodosha.co.jp/smart-lab-life/statics_pitfalls/statics_pitfalls07.html)
[最小二乗法 - Wikipedia](https://ja.wikipedia.org/wiki/%E6%9C%80%E5%B0%8F%E4%BA%8C%E4%B9%97%E6%B3%95)
[最小二乗法（直線）の簡単な説明](https://mathtrain.jp/leastsquares)
![image.png](https://qiita-image-store.s3.ap-northeast-1.amazonaws.com/0/597772/49c4f4a6-32e6-040f-bc85-1cd1530caf8b.png)

しかしその一方でガウスは無造作に「<font color=purple>観測サンプル数が無限大に近くにつれ、誤差も限りなく0に近づいていく</font>」と信じていた様です。何しろ彼が取り組んでいたのは「<font color=purple>究極的には厳密な正解がただ一つ存在するだけの天体観測データ</font>」だった訳ですから、その事自体は別に不思議でも何でもありません。
[正規分布の歴史をわかりやすく紹介！【ガウスとラプラスとドモアブル】](https://manareki.com/normal_distribution)
>ガウスは<font color=green>1809年</font>、「天体観測で発生する観測誤差をなんとかなくせないものだろうか・・・」と考え、その対策方法を論文にまとめました。
>
>その過程で、経験則から誤差の振る舞いについて「誤差はマイナス誤差もプラス誤差も等しくおこる」「大きい誤差よりも小さい誤差の方が発生しやすい」「極端に大きい誤差は滅多に起こらない」という３つの仮定を考えます。
>
>この３つの仮定を用いて誤差が起こる確率を求め、横軸を誤差の大きさ、縦軸がその誤差が発生する確率としてプロットすると正規分布になることを発見したのです。

[正規分布](http://www.math.s.chiba-u.ac.jp/~yasuda/statA/072.pdf#search='%E3%82%AC%E3%82%A6%E3%82%B9+%E5%88%86%E5%B8%83+%E6%AD%B4%E5%8F%B2')

<font color=green>19世紀後半</font>には国際的に産業革命導入の影響が表面化してきます。都市計画の指針として統計学が急速に発達。これにより伝統的地域共同体の解体が急速にが進み、<font color=green>19世紀末</font>には「<font color=purple>社会の今</font>」を調査と分析によって把握すべく**社会学**(<font color=blue>Sociologie</font>)なる学問ジャンルまで新設されたのです。
[社会学 - Wikipedia](https://ja.wikipedia.org/wiki/%E7%A4%BE%E4%BC%9A%E5%AD%A6)

* **フランス社会学**…**アソシアシオン**(<font color=blue>Association=自治体</font>)オリエンテッドな活動を重視するその姿勢の大源流はトクヴィル「**アメリカの民主政治**(<font color=blue>De la démocratie en Amérique, 第1巻1835年、第2巻1840年</font>）」において既に理想視が始まっていたインテリ階層の「<font color=purple>米国開拓地住人の共助生活</font>」への憧憬にまで遡る。黎明期には**方法論的集団主義**を掲げるデュルケームが「**犯罪社会は相互模倣によって成立する**」としたタルドの模倣犯在学を「**社会の実在を信じない社会心理学的アプローチ**」と弾劾した「**社会実在論争**」が有名。<br>[フランスのアソシエーション](https://www.jil.go.jp/foreign/labor_system/2004_8/france_01.html)
* **ドイツ社会学**…発足当初より**心理社会学**(<font color=blue>方法論的個人主義</font>)的側面が強く「<font color=purple>社会環境が個人に与える有形・無形の影響や拘束</font>」に注目。黎明期には「**マルクス・フロイト主義**」なる表現が散見されたが、これはカール=マルクスの「**経済学批判**（<font color=blue>Kritik der Politischen Ökonomie、1859年</font>）」における「<font color=purple>我々が自由意思や個性と信じ込んでいるものは、実際には社会の同調圧力に型抜きされた既製品に過ぎない</font>」なる宣言や、フロイドの精神分析が突き付けた「<font color=purple>我々の思考や行動の多くは自我の意思というより無意識からの要請に由来している</font>」なる発表の影響で、有名なマックス・ウェーバー「**プロテスタンティズムの倫理と資本主義の精神**(<font color=blue>Die protestantische Ethik und der 'Geist' des Kapitalismus, 1904年~1905年</font>」も「<font color=purple>それなら</font>(<font color=blue>サイレント映画「カリガリ博士(Das Cabinet des Doktor Caligari, 1920年）」に刻印された様な「気付くと催眠術や無意識からの声の言いなりになっている」実存不安を超克し</font>)<font color=purple>実際に社会を変えてきた運動を支えてきた成員は、より具体的には如何なる人格や生活態度の人々だったのか？</font>」に注目し、そのアプローチから資本主義勃興過程を解き明かそうとした点において、しっかり「**時代の子**」の一人であったといえよう。<br>[心理社会学へ向けて](http://www.glocom.ac.jp/project/chijo/2003_01/2003_01_15.html)

そう考えると、<font color=green>1918年</font>に**ロナルド・フィッシャー**が「**分散**(<font color=blue>variance</font>)」なる概念を導入したのも、こうして主要観察対象が「(<font color=blue>究極の正解は原則として一つしか存在しない</font>)**個々の星の軌跡**」から「(<font color=blue>現実の観察対象自体が不揃いの、そのくせ統計的にしか把握し得ない</font>)**地上の諸現象**」に移行した状況への当然の対応に過ぎなかった気がしてきます。<br>[ロナルド・フィッシャー(1890年~1962年）-Wikipedia](https://ja.wikipedia.org/wiki/%E3%83%AD%E3%83%8A%E3%83%AB%E3%83%89%E3%83%BB%E3%83%95%E3%82%A3%E3%83%83%E3%82%B7%E3%83%A3%E3%83%BC)<br>[分散(variance)-Wikipedia](https://ja.wikipedia.org/wiki/%E5%88%86%E6%95%A3_(%E7%A2%BA%E7%8E%87%E8%AB%96))

* 例えば(<font color=blue>フランスでは絶対王政時代の17世紀から既に統計学的アプローチの導入が始まっていたとされる</font>)砲弾製造の品質管理システム一つ取っても「**個々の不良品発生原因に対する個別対応**」の地道な積み重ねがあるだけで不良品の発生そのものは理論上においてすら完全には防げないし、対応すべき対象や内容のプライオリティも状況に合わせ刻々と推移していく。当時のフランス軍部の面白さは、かかる**ミッション・クリティカル**(<font color=blue>Mission Critical</font>)な状況に対処可能なのは**ベイズ統計**のみであると考え、実際にその運用を続けた点にある。軍部が被告となった「**ドレフェス事件**(<font color=blue>1894年~1906年</font>)」において軍部が最終的に敗北を認めたのも、実際にはインテリ階層の社会的圧力に屈したからではなく(<font color=blue>ベイズ統計的技法によって</font>)最も重要だった証拠が偽造と証明された事が大きかったといわれている(<font color=blue>ちなみに数学者ポアンカレの功績</font>)。<br>[グリボーバル・システム（système Gribeauval）-Wikipedia](https://ja.wikipedia.org/wiki/%E3%82%B0%E3%83%AA%E3%83%9C%E3%83%BC%E3%83%90%E3%83%AB%E3%83%BB%E3%82%B7%E3%82%B9%E3%83%86%E3%83%A0)<br>[エコール・ポリテクニーク（École polytechnique、通称X）-Wikipedia](https://ja.wikipedia.org/wiki/%E3%82%A8%E3%82%B3%E3%83%BC%E3%83%AB%E3%83%BB%E3%83%9D%E3%83%AA%E3%83%86%E3%82%AF%E3%83%8B%E3%83%BC%E3%82%AF)<br>[ミッション・クリティカル(Mission Critical)-Wikipedia](https://ja.wikipedia.org/wiki/%E3%83%9F%E3%83%83%E3%82%B7%E3%83%A7%E3%83%B3%E3%82%AF%E3%83%AA%E3%83%86%E3%82%A3%E3%82%AB%E3%83%AB)<br>[ドレフェス事件(1894年~1906年)](https://www.y-history.net/appendix/wh1401-076.html)<br>[ベイズ統計学（Bayesian statistics）-Wikipedia](https://ja.wikipedia.org/wiki/%E3%83%99%E3%82%A4%E3%82%BA%E7%B5%B1%E8%A8%88%E5%AD%A6)

[TARO-NISHINOの日記:アンリ･ポアンカレ。科学の貢献での伝記](http://taro-nishino.blogspot.com/2019/03/blog-post023.html)
>有名なドレフュス事件はポアンカレが象牙の塔から出る、もう一つの機会を与えた。1894年フランス情報部は、パリにいるドイツ大使館付き陸軍武官へ送られた、秘密情報の送付を告げるメモを見つけた。手書きの明らかな類似性は、ユダヤ人のフランス将校アルフレッド·ドレフュスの逮捕となった。1895年にドレフュスは軍法会議で有罪と断言され、ギアナのディアブル島へ追放された。フランスはすぐにドレフュスの支援者と敵対者に分かれた。長く懸命な闘いの後、新たな公判が1899年にレンヌで行われた。有名な警察専門家Bertillonは、メモの筆跡学的分析の中で似非科学的技法と確率論を使った。彼は自身の証言を以下のように結論づけた:
>
>私のデモンストレーションを形成する観察記録と合意書のコレクションの中で、疑いの余地は無い。そして、これは理論的のみならず事件解決の鍵となる確信であり、そのような絶対的確信から成立する信頼性の感触を得て、率直に言って、1894年のように今日私は誓って、このメモは被告の仕業と断言する。
>
>そんな申し立ては持論としてポアンカレには耐えられなかった。Painlevéの求めで書かれ、法廷で読まれた手紙の中で、Bertillonの結論における確率論の使用に対してポアンカレは強く反発した:
>
>そこには科学的特徴は何も無い。被告に刑が宣告されるのか私は知らないが、もし彼なら、他の証拠に基づくべきである。しっかりした科学的教育を受けて来た、偏見のない人々にとって、そんな議論が何らかの印象を与えることは不可能だ。
>
>だが、再び軍法会議はドレフュスを有罪だと断言し、今回は環境を緩和した。ドレフュスは大統領による恩赦を得たが、彼の支援者は再度1904年に控訴を得た。ポアンカレはアッペルとダルブーと一緒に長いレポートを書き、以下のように締めくくった:
>
>それらのシステムすべてが絶対的に科学的価値を奪われている。すなわち、
>1. それらの疑問への確率論の応用は合理的でないため
>2. メモの再構築が偽りであるため
>3. 確率論のルールが正しく応用されていないため
>一言で言えば、著者が偽りのドキュメントを基にして議論して来たためである。
>
>このレポートの結論は、法廷の判決を例証としている21の理由をページいっぱいに抜き出して、ドレフュスの無実を断言し、彼の名誉と権利を回復した。

その一方で「**研究者のための統計学的方法**(<font color=blue>Statistical Methods for Research Workers, 1925年</font>)」を著して推計統計学の中心的理論と研究方法の分野において最初のスタンダードを樹立した**ロナルド・フィッシャー**。**実験計画法**(<font color=blue>The Design of Experiments, 1935年</font>), **分散分析**(<font color=blue>ANOVA=analysis of variance</font>), **小標本統計理論**といった革新的業績を次々と生み出しつつ、統計学全体の枠組みの中に、**ピアソンのカイ二乗分布**や、**スチューデントのt分布**を、**正規分布**や、彼自身の成果である分散分析や**Z分布**(<font color=blue>正規分布に依存する所謂「偏差値」の計算根拠</font>)とともに位置付けた**先駆者**だったがゆえに後世に(<font color=blue>不幸にも当人が予想だにしていなかった展開により</font>)数々の「**負の遺産**」も残す事になったのです。<br>[偏差値と上位パーセントの対応表](https://komoriss.com/standard-score/)<br>[分散分析(ANOVA=analysis of variance)-Wikipedia](https://ja.wikipedia.org/wiki/%E5%88%86%E6%95%A3%E5%88%86%E6%9E%90)<br>[フィッシャー情報量（Fisher information）-Wikipedia](https://ja.wikipedia.org/wiki/%E3%83%95%E3%82%A3%E3%83%83%E3%82%B7%E3%83%A3%E3%83%BC%E6%83%85%E5%A0%B1%E9%87%8F)

* 統計学が扱う多様で多態的な分布の多くは、サンプル数が一定以上を超えると正規分布に吸収されてしまう(<font color=blue>最初期人工知能アルゴリズムと重なるロジスティック回帰も、データがシグモイド曲線に沿って並んでいる様に見え始めたら、そこでGame End</font>)。これにかこつけて「<font color=purple>統計学が注目すべき分布は正規分布のみたるべきである</font>」と主張する**正規分布原理主義者**が数多く現れ(<font color=blue>聖地アッシュールに世界全てを帰属させようとした新アッシリア帝国や、太陽に捧げる生贄の心臓を調達する為に絶え間なく戦争を続けたアステカ人の狂信的熱意をもって</font>)「**異端者狩り**」を繰り広げてきたのだった。ある種の**全体主義**であるばかりか、フィッシャーが生きていた時代には現代より好意的に評価されていた**優生学**の反映すら見受けられるが、その残滓は例えば日本の所謂「**偏差値教育**」などに深い爪痕を残し続けているのである。<br>[偏差値にとらわれ過ぎ！ 教育“後進国”日本の問題点を池上彰さん、増田ユリヤさんに聞いた](https://ddnavi.com/interview/431745/a/)
* フィッシャー自身は、実は自ら考案した**最尤推定**（<font color=blue>Maximum Likelihood Estimation</font>）あるいは**最尤法**（<font color=blue>Method of Maximum Likelihood</font>）において採用した**尤度**(<font color=blue>Likelihood</font>)なる尺度について「<font color=purple>与えられた有限データから推測可能な母集団の確率分布についての最良の予測</font>」程度の事しか述べてない。ところが彼の後継者の中からは「<font color=blue>母集団のデータの得られなかった部分すらも補完する魔法の計算方法</font>」と言い出し、なおかつ**機械学習**の概念が普及した現代では、当時の彼らによる「<font color=purple>さらなる母集団予測の精緻化を求める</font>」アプローチはまとめて**過学習**(<font color=blue>overtraining, 判断基準を既存データに依存し過ぎるせいで新規データへの対応不全が起こる現象</font>)」に分類される展開を迎えた。<br>[最尤法(Method of Maximum Likelihood)-Wikipedia](https://ja.wikipedia.org/wiki/%E6%9C%80%E5%B0%A4%E6%8E%A8%E5%AE%9A)<br>[【統計学】尤度って何？をグラフィカルに説明してみる。](https://qiita.com/kenmatsu4/items/b28d1b3b3d291d0cc698)<br>[「過学習(過剰適合)」とは？原因や回避方法をわかりやすく解説！](https://ailearn.biz/learn/20171119349)
* よくいわれている様に「**目が視える**」人の置かれる状況は割と画一的だが「**目が視えない**」人が置かれる状況は障害の程度や範囲、周囲からどれだけサポートが得られているかに依存し**多次元**にわたる**多変量的展開**を見せる。それに対して**正規分布原理主義者**達は明らかに(<font color=blue>各次元の分散度合いの指標に過ぎない</font>)**ベルカーブ１本**に多くを負わせ過ぎ、個別対応能力を大幅に低落させて自ら「**ベイズ統計学への敗北**」に向けて墓穴を掘り続けてきたといえよう。またフィッシャーの生きた時代の統計学においては「<font color=purple>母集団に比較してあまりに少ない標本しか得られない状況で、どれだけ正しい予測が可能か</font>」こそが最大の主題だったが、コンピューターやインターネットが普及し、むしろ逆に「<font color=purple>ビッグデータをどう料理するか</font>」などが最大の主題となった現代の統計学は、そうした努力を全て過去のものにしてしまった現実も見逃せない。<br>[多変量解析のための基礎知識](https://www.albert2005.co.jp/knowledge/statistics_analysis/multivariate_analysis/multivariate_basis)

こうして全体像を俯瞰してみると（<font color=blue>サンプル数の無限増大によってあらゆる分布の墓場と化す</font>）**正規分布**にも、明らかに**無限遠点的側面**が存在する様です(<font color=blue>それも恐らくネイピア数eや円周率πが直面する空間的限界とはまた異なるメタレベルの限界。実際「正規分布に収束」なる表現まで散見される</font>)。そもそも**正規分布**は、その起源からして**中央極限定理**(<font color=blue>CLT=Central Limit Theorem</font>)の数理表現(<font color=blue>放物線のY軸に向けての加速度的発散を、それを指数関数の引数とする事でX軸に向けての発散に変換</font>)だった事を思えば、さもありなん。こういうアプローチで**ネイピア数**<font color=green>e</font>や**円周率**<font color=green>π</font>との関係の深さに思いを馳せるのも「<font color=purple>観測原点と無限遠点の狭間に現れる数理体系の一環</font>」を体感する貴重な**エクスペリメント**(<font color=blue>Experiment=試行(Trial)</font>)とも？
[中心極限定理(CLT=Central Limit Theorem)-Wikipedia](https://ja.wikipedia.org/wiki/%E4%B8%AD%E5%BF%83%E6%A5%B5%E9%99%90%E5%AE%9A%E7%90%86)

##将来の展望

今は関連数理を**公理体系**っぽく編纂するので手一杯ですが、そちらが一段落したら登場する関数を一通りプログラムで動かしてみたいです。きっと絶対に楽しく、まだまだ新たな発展がある筈…