【数理考古学】群論とシミュレーション原理⑧族の分類とそれに下属する演算集合の関係の整理

[【数理考古学】群論とシミュレーション原理①これまでの投稿内容のまとめ。](https://qiita.com/ochimusha01/items/a7c824df4b5fd85a2788)
吃驚するほどグチャグチャになってしまったので整理を試みます。とりあえず私は群論を「<font color=purple>クラスをメンバ変数とメンバメソッドの対で考える</font>」**オブジェクト志向プログラミング**の延長線として把握しています。まずはその表現で語るとどうなるか見ていく事にしましょう。
#族(<font color=blue>Family</font>)による分類
「<font color=purple>そのクラスにおいてメンバメソッドが共有するメンバ変数</font>」に該当する**元集合**(Element Set)=**観測結果集合**(Observation Result Set)を**族**(Family)と規定する。

* 独自表現なので特別にそう呼び分ける事に意義がある場合(すなわち、かかる観測結果集合を共有する演算結果集合が複数存在する事を強調したケース)以外には単に**列**(Sequence)と呼ぶ。

これまで扱ってきたのは以下辺り。

* 以下に登場する「<font color=purple>さしあたって…と規定される</font>」なる表現は、**オブジェクト志向プログラミング**でいう**コンストラクタ**（Constructor=オブジェクト生成関数</font>）みたいなイメージ。「**族のそれは更新される事がない**」という意味合いにおいてある種の**定数**(集合)として機能する(数学にリテラルの概念が存在しないので、こういう表現にならざるを得ない？)が、もちろん実際のプログラミングの世界は、以下の様な「**自然数・整数・実数の規定**」の如き数の根本定義を**自明の場合**(Trival Case)として自動的に言及なく通過してしまう。<br>[コンストラクタ - Wikipedia](https://ja.wikipedia.org/wiki/%E3%82%B3%E3%83%B3%E3%82%B9%E3%83%88%E3%83%A9%E3%82%AF%E3%82%BF)<br>[定数 (プログラミング) - Wikipedia](https://ja.wikipedia.org/wiki/%E5%AE%9A%E6%95%B0_(%E3%83%97%E3%83%AD%E3%82%B0%E3%83%A9%E3%83%9F%E3%83%B3%E3%82%B0))

**実数列**(real sequence)全体像
![Total01.png](https://qiita-image-store.s3.ap-northeast-1.amazonaws.com/0/597772/670fb52f-8e54-82a2-4698-6c6a8ad66751.png)

```python
import networkx as nx

G = nx.DiGraph()
G.add_edge("Rap Function1^n(関数列)","Sum(演算)")
G.add_edge("Sum(演算)","Natural(族)")
G.add_edge("Natural(族)","Grouping(演算)")
G.add_edge("Grouping(演算)","Integer(族)")
G.add_edge("Cyclic Function-1^n(関数列)","Unionize(演算)")
G.add_edge("Cyclic Function-1^n±1(関数列)","Unionize(演算)")
G.add_edge("Unionize(演算)","Crossing(演算)")
G.add_edge("Rap Function1^n(関数列)","Crossing(演算)")
G.add_edge("Crossing(演算)","Integer(族)")
G.add_edge("Integer(族)","Decimal System(演算)")
G.add_edge("Decimal System(演算)","Real(族)")
G.add_edge("Real(族)","Extraction:x=0→2(演算)")
G.add_edge("Extraction:x=0→2(演算)","2^x(演算)")
G.add_edge("2^x(演算)","Real(族)")
G.add_edge("Napierian(族)","2^x(演算)")
nx.nx_agraph.view_pygraphviz(G, prog='fdp') 
```
##自然数族(<font color=blue>Natural Family</font>)/自然数列(<font color=blue>Natural Sequence</font>)
**観測原点**(Observation Origin)0と**観測極限**(Observation Limit)∞を含まない等間隔に離散する開集合をなす。

```math
\mathbb{N}_n(n=1→\infty)=(1,2,…,\infty-1)
```
![Natural01.png](https://qiita-image-store.s3.ap-northeast-1.amazonaws.com/0/597772/684b67b5-ca19-deff-b23c-d78e94e0f0e8.png)

```python
import networkx as nx

G = nx.DiGraph()
G.add_edge("Rap Function1^n(関数列)","Sum(演算)")
G.add_edge("Sum(演算)","Natural(族)")
#G.add_edge("Natural(族)","Grouping(演算)")
#G.add_edge("Grouping(演算)","Integer(族)")
#G.add_edge("Cyclic Function-1^n(関数列)","Unionize(演算)")
#G.add_edge("Cyclic Function-1^n±1(関数列)","Unionize(演算)")
#G.add_edge("Unionize(演算)","Crossing(演算)")
#G.add_edge("Rap Function1^n(関数列)","Crossing(演算)")
#G.add_edge("Crossing(演算)","Integer(族)")
#G.add_edge("Integer(族)","Decimal System(演算)")
#G.add_edge("Decimal System(演算)","Real(族)")
#G.add_edge("Real(族)","Extraction:x=0→2(演算)")
#G.add_edge("Extraction:x=0→2(演算)","2^x(演算)")
#G.add_edge("2^x(演算)","Real(族)")
#G.add_edge("Napierian(族)","2^x(演算)")
nx.nx_agraph.view_pygraphviz(G, prog='fdp') 
```
①さしあたって**初項**$α_1=1$,**公差**d=1,**一般項**$α_1+(n-1)d$の**無限片側等差数列**(One Side Infinity Arithmetic Sequence)の**演算結果集合**(Operation Result Set)で規定する。
[等差数列 - Wikipedia](https://ja.wikipedia.org/wiki/%E7%AD%89%E5%B7%AE%E6%95%B0%E5%88%97)

```math
\mathbb{N}_n(n=1→\infty)=(1+(n-1)d,…)
```
<font color=red>循環論法っぽいので、あえてグラフには含めなかった</font>(<font color=blue>言い訳</font>)。
[循環論法とは](https://dic.nicovideo.jp/a/%E5%BE%AA%E7%92%B0%E8%AB%96%E6%B3%95)

②**周回関数**(Rap Function)$1^n(n=-\infty→0→+infty)=(…,1,1,1,…)$の、とりあえず**初項**1からの**総和**(Sum)、すなわち**算術級数**(Arithmetic Series)でも規定される。

```math
\mathbb{N}_n(n=1→\infty)=(…,\sum_{k=1}^{n}1^k,…)=(1^{n_1},1^{n_1}+1^{n_2},1^{n_1}+1^{n_2}+1^{n_3},…,n_\infty)=(1×1,1×2,1×3,…,n_\infty)=(1,2,3,…,n_\infty)
```

* ここで小学校時代には気付けなかった事に気付く。<br>[等差数列の和を計算する2つの公式](https://mathwords.net/tousasuretsunowa)

**等差数列の和の公式１**：**初項**Ft(First Term)、**末項**Lt(Last Term)、**項数**nの**等差数列**$A^n$の**総和**(Sum)

```math
\sum_{k=1}^{n}A_n=\frac{n}{2}(Ft+Lt)
```
**初項**Ft=1,**末項**Lt=1、**項数**nの場合の公式1

```math
\sum_{k=1}^{n}A_n=\frac{n}{2}(1+1)=\frac{2n}{2}=n
```
**等差数列の和の公式2**：**初項**Ft、**交差**d(Common Difference)、**項数**nの等差数列$A^n$の**総和**

```math
\sum_{k=1}^{n}A_n=\frac{n(2Ft+(n-1)d)}{2}
```
**初項**Ft(First Term)=1,**交差**d=1、**項数**nの場合の公式2

```math
\sum_{k=1}^{n}A_n=\frac{n(2*1+(n-1)*1)}{2}=\frac{n(2+n-1)}{2}=\frac{n(n+1)}{2}
```
ところがこちらの公式は通用しない。

```R
> f1<-function(n) (n*(n+1))/2
> f1(1)
[1] 1
> f1(2)
[1] 3
> f1(3)
[1] 6
> f1(4)
[1] 10
```
それで気の効いた説明ではあえて「<font color=purple>ただし公比$d \neq 1$の場合</font>」と断っている。冪乗算の微積分同様に$0<n<2$の範囲に**特異点**(Singularity)が存在し、**自然数集合**においてこの条件を満たすのは1のみとなる訳である。
[冪乗算(Exponentiation)の微積分](https://qiita.com/ochimusha01/items/0bd18370cfa96e83347a)

* **関数列**における**ε-δ論法**では**連続関数**$\lim_{x \to a}f(x)=f(a)$の収束がxに依存する場合を各点収束、依存しない場合を一様収束とするが、これは「<font color=purple>"とりあえず"が使える=xに依存しない</font>」なので一様収束となるケース? それとも、そもそも収束しないので無関係?<br>[関数列と関数項級](http://www.math.keio.ac.jp/~iguchi/Lectures/pdf/2011/Note_MA_6.pdf)<br>[イプシロン-デルタ論法 - Wikipedia](https://ja.wikipedia.org/wiki/%E3%82%A4%E3%83%97%E3%82%B7%E3%83%AD%E3%83%B3-%E3%83%87%E3%83%AB%E3%82%BF%E8%AB%96%E6%B3%95)

**単位元**も**反元**も追加不可能なので**群**を構成しません。どういう事かは以下のアニメーションで直感的に理解可能です。
[【Rで球面幾何学】等差数列(算術数列)②数直線概念から同心円集合概念へ](https://qiita.com/ochimusha01/items/2a16c3cba3f88986c767)
![image.gif](https://camo.qiitausercontent.com/c06413025a290edc2259c49e97fc80f4a28317ef/68747470733a2f2f71696974612d757365722d636f6e74656e74732e696d6769782e6e65742f687474707325334125324625324663646e2d616b2e662e73742d686174656e612e636f6d253246696d61676573253246666f746f6c6966652532466f2532466f6368696d757368613031253246323032303131313125324632303230313131313036313331342e6769663f69786c69623d72622d342e302e30266175746f3d666f726d6174266769662d713d363026713d373526773d31343030266669743d6d617826733d3233363330633639663331626537626466356237396566356531383433363062)
![image.gif](https://camo.qiitausercontent.com/34a5cb27c750fecd722734ad8bf6f6eda4d5bcac/68747470733a2f2f71696974612d757365722d636f6e74656e74732e696d6769782e6e65742f687474707325334125324625324671696974612d757365722d636f6e74656e74732e696d6769782e6e6574253246687474707325323533412532353246253235324663646e2d616b2e662e73742d686174656e612e636f6d2532353246696d616765732532353246666f746f6c69666525323532466f25323532466f6368696d75736861303125323532463230323031323032253235324632303230313230323039333735382e67696625334669786c696225334472622d312e322e322532366175746f253344666f726d61742532366769662d7125334436302532367125334437352532367325334431363765363134333037653138313366663037663839636337653332353734353f69786c69623d72622d342e302e30266175746f3d666f726d6174266769662d713d363026713d373526773d31343030266669743d6d617826733d3562353431396665663564643535386235396137356165316431616562343630)

##**整数族**(<font color=blue>Integer Family</font>)**整数列**(<font color=blue>Integer Sequence</font>)
**無限少**-∞と**無限大**+∞を含まない**等間隔に離散する開集合**をなす。

```math
\mathbb{Z}_n(n=-\infty→0→+\infty)=(-\infty+1,…,-2,-1,0,1,2,…,+\infty-1)
```
![Integer01.png](https://qiita-image-store.s3.ap-northeast-1.amazonaws.com/0/597772/a7938b19-66e7-b4ff-1b87-b737e9e17021.png)

```python
import networkx as nx

G = nx.DiGraph()
#G.add_edge("Rap Function1^n(関数列)","Sum(演算)")
#G.add_edge("Sum(演算)","Natural(族)")
G.add_edge("Natural(族)","Grouping(演算)")
G.add_edge("Grouping(演算)","Integer(族)")
G.add_edge("Cyclic Function-1^n(関数列)","Unionize(演算)")
G.add_edge("Cyclic Function-1^n±1(関数列)","Unionize(演算)")
G.add_edge("Unionize(演算)","Crossing(演算)")
G.add_edge("Rap Function1^n(関数列)","Crossing(演算)")
G.add_edge("Crossing(演算)","Integer(族)")
#G.add_edge("Integer(族)","Decimal System(演算)")
#G.add_edge("Decimal System(演算)","Real(族)")
#G.add_edge("Real(族)","Extraction:x=0→2(演算)")
#G.add_edge("Extraction:x=0→2(演算)","2^x(演算)")
#G.add_edge("2^x(演算)","Real(族)")
#G.add_edge("Napierian(族)","2^x(演算)")
nx.nx_agraph.view_pygraphviz(G, prog='fdp') 
```
①さしあたって**自然数列**$\mathbb{N}_n$に**単位元**0と**逆元**$\mathbb{N}_n^{-1}$を追加する**群演算**(Group Operation)の演算結果集合で規定する。その演算集合は**Z軸**(あるいは時間軸t)における断面曲率の変化を伴わない二次元極座標系、すなわち**円筒座標系**(Cylindrical Coordinate System)として観測される事になる。
[【数理考古学】とある実数列の規定例①等差数列から加法整数群へ](https://qiita.com/ochimusha01/items/07ae45b915bb1aa6c9f5)
![image.gif](https://qiita-user-contents.imgix.net/https%3A%2F%2Fstaging-qiita-user-contents.imgix.net%2Fhttps%253A%252F%252Fcdn-ak.f.st-hatena.com%252Fimages%252Ffotolife%252Fo%252Fochimusha01%252F20210411%252F20210411224605.gif%3Fixlib%3Drb-4.0.0%26auto%3Dformat%26gif-q%3D60%26q%3D75%26w%3D1400%26fit%3Dmax%26s%3D2d8b5f86be1b58f0579cd3a0cd058ca9?ixlib=rb-4.0.0&auto=format&gif-q=60&q=75&s=af8dea3ac168972948e861a8d292b0c2)

* この操作の結果、**観測原点**の概念が消失し、**観測限界**∞が**無限小**-∞と**無限大**+∞に分解される点に注意。
* **虚数**(Imaginal)として実軸外部に押し出される円筒半径は理論上どう設定しても良いが、**実軸**との対応を考えるとそれとの比が1:1と規定するのが最も都合が良い

②かかる**観測結果集合**は**偶数群**2nと**奇数集合**2n±1の直積、あるいは**周期関数**(Cyclic Function)$-1^n=±i^{2x}$と$-1^n±1=±i^{2x}±1$の直積(ただしn=0→1とし半周単位で分岐切断点を設定した場合)およびそれと**周回関数**$1^n$の交点を求める形でも規定される。
![image.gif](https://qiita-user-contents.imgix.net/https%3A%2F%2Fqiita-user-contents.imgix.net%2Fhttps%253A%252F%252Fqiita-user-contents.imgix.net%252Fhttps%25253A%25252F%25252Fcdn-ak.f.st-hatena.com%25252Fimages%25252Ffotolife%25252Fo%25252Fochimusha01%25252F20210105%25252F20210105003122.gif%253Fixlib%253Drb-1.2.2%2526auto%253Dformat%2526gif-q%253D60%2526q%253D75%2526w%253D1400%2526fit%253Dmax%2526s%253D1c5e7641bb15c183f387fb9c6c92759a%3Fixlib%3Drb-1.2.2%26auto%3Dformat%26gif-q%3D60%26q%3D75%26s%3D8b3c1ac01fe5a4de036898e40dd0d907?ixlib=rb-4.0.0&auto=format&gif-q=60&q=75&s=69969f95ac71f81fdb5609bbcb687f88)
![image.gif](https://qiita-user-contents.imgix.net/https%3A%2F%2Fqiita-user-contents.imgix.net%2Fhttps%253A%252F%252Fqiita-user-contents.imgix.net%252Fhttps%25253A%25252F%25252Fcdn-ak.f.st-hatena.com%25252Fimages%25252Ffotolife%25252Fo%25252Fochimusha01%25252F20210105%25252F20210105071334.gif%253Fixlib%253Drb-1.2.2%2526auto%253Dformat%2526gif-q%253D60%2526q%253D75%2526w%253D1400%2526fit%253Dmax%2526s%253D6cc2d838c056f87959b9d35678b0d60a%3Fixlib%3Drb-1.2.2%26auto%3Dformat%26gif-q%3D60%26q%3D75%26w%3D1400%26fit%3Dmax%26s%3D302dce6d5da2947a562c26895875c993?ixlib=rb-4.0.0&auto=format&gif-q=60&q=75&s=1a1401e23d4e38ff91fa84fe705290fe)

* ここで初めて「<font color=purple>離散集合をなす整数列の補集合</font>」としての**虚数**(Imaginal)概念が数理全体の説明として必要不可避となる。

ところで±1はこの座標系に追加される「**奇数の最初の一対**」でもあり、②が構成する群と後述するガウスの巡回群における「<font color=purple>奇数図形が円を2分する数理</font>」を組み合わせると、この時点における**観測限界**∞の**無限小**-∞と**無限大**+∞への分解を上手く説明出来たりするのである。
[【数理考古学】群論とシミュレーション原理②群導出演算としてのガウスの巡回群](https://qiita.com/ochimusha01/items/95dad79a20153e6a3ede)

③**偶奇の概念**自体は**商群**(Quotient Group/Factor Group)を用いて**複素数**の概念を導入する事なく追加する事が可能である。
[商群 - Wikipedia](https://ja.wikipedia.org/wiki/%E5%95%86%E7%BE%A4)

>**整数**$\mathbb{Z}$が加法についてなす群と、**すべての偶数**からなる部分群$2\mathbb{Z}$を考える。$\mathbb{Z}$は可換群なので**正規部分群**である。剰余類は2つしかない：**偶数全体の集合**と**奇数全体の集合**である；したがって**商群**$\frac{\mathbb{Z}}{2\mathbb{Z}}$は2つの元を持つ**巡回群**となり、それは2を法とする加法をもつ集合(0,1)と同型である；インフォーマルに**商群**$\frac{\mathbb{Z}}{2\mathbb{Z}}$は2を法とする加法をもつ集合(0,1)に「**等しい**」と表現する事もある。

ただしこの思考様式、あくまで**整数列**の実存を前提とした拡張なので、**整数列**そのものの規定には関わらない。また**巡回群**の概念を導入した以上、分割数が3以上となる段階で**複素数概念導入**が不可避となる。
[【数理考古学】三次方程式から虚数へ。](https://qiita.com/ochimusha01/items/f1f6d436f589d6b5b2fd)

##実数族(<font color=blue>Real Family</font>)実数列(<font color=blue>Real Sequence</font>)
無限少-∞と無限大+∞を含まない連続的開集合をなす。

```math
\mathbb{Z}_n(n=-\infty→0→+\infty)=(-\infty,…,-2,…,-1,…,0,…,1,…,2,…,+\infty)
```
![Real01.png](https://qiita-image-store.s3.ap-northeast-1.amazonaws.com/0/597772/d90ad61c-19aa-b624-9886-dac4ad8e3c93.png)

```python
import networkx as nx

G = nx.DiGraph()
#G.add_edge("Rap Function1^n(関数列)","Sum(演算)")
#G.add_edge("Sum(演算)","Natural(族)")
#G.add_edge("Natural(族)","Grouping(演算)")
#G.add_edge("Grouping(演算)","Integer(族)")
#G.add_edge("Cyclic Function-1^n(関数列)","Unionize(演算)")
#G.add_edge("Cyclic Function-1^n±1(関数列)","Unionize(演算)")
#G.add_edge("Unionize(演算)","Crossing(演算)")
#G.add_edge("Rap Function1^n(関数列)","Crossing(演算)")
#G.add_edge("Crossing(演算)","Integer(族)")
G.add_edge("Integer(族)","Decimal System(演算)")
G.add_edge("Decimal System(演算)","Real(族)")
G.add_edge("Real(族)","Extraction:x=0→2(演算)")
G.add_edge("Extraction:x=0→2(演算)","2^x(演算)")
G.add_edge("2^x(演算)","Real(族)")
G.add_edge("Napierian(族)","2^x(演算)")
nx.nx_agraph.view_pygraphviz(G, prog='fdp') 
```
①さしあたって**十進法**(Decimal System)すなわち「<font color=purple>10を法とする剰余類(0,1,2,3,4,5,6,7,8,9)を添字とする演算結果集合の任意の入れ子状態がなす演算結果集合</font>」で規定する。
[剰余類 - Wikipedia](https://ja.wikipedia.org/wiki/%E5%89%B0%E4%BD%99%E9%A1%9E)

* 山本義隆「**少数と対数の概念**(2018年)」は、ルネサンス期欧州が**複式簿記概念の普及**(最初は地中海商人が駆使するアラビア数学の一環として元ヴェネツィア商人の数学者が紹介した)によって**単位元**0と**負数**(「貸方」の逆元としての「借方」)の概念を獲得し他にも関わらず、さらにそれを少数の概念に発展させるのが遅れたのは「**お金に少数の概念がなかったから**」とする。大変興味深い仮説といえよう。群論が**整数と少数の峻別**(あるいは少数概念の排除)に血道を上げるのは、あるいはこの辺りの歴史に由来するのかもしれない<br>[「数学の常識」が確立したのは意外に新しい](https://books.j-cast.com/2018/08/31007865.html)<br>[【数理考古学】三次方程式から虚数へ。](https://qiita.com/ochimusha01/items/f1f6d436f589d6b5b2fd)<br>[【初心者向け】添字化と単位化](https://qiita.com/ochimusha01/items/bb287211d915481c1cd7)

この考え方は**商群**(Quotient Group/Factor Group)を用いた説明によってさらに一般化する事が出来る。

[商群 - Wikipedia](https://ja.wikipedia.org/wiki/%E5%95%86%E7%BE%A4)

>整数が加法についてなす群$\mathbb{Z}$を考える。nを任意の正整数とする。nのすべての倍数からなる$\mathbb{Z}$の部分群$n\mathbb{Z}$を考える。$\mathbb{Z}$は可換なのでその部分群$n\mathbb{Z}$は正規である。**剰余類**たちの集合は($n\mathbb{Z}$,$1+n\mathbb{Z}$,…,$(n−2)+n\mathbb{Z}$,$(n−1)+n\mathbb{Z}$) である。整数kは、kをnで割った余りをrとすると、**剰余類**$r+n\mathbb{Z}$に属する。商$\frac{\mathbb{z}}{n\mathbb{z}}$はnで割った「余り」の群と考えることができる。これは位数nの**巡回群**(Cyclic Group/Monogenous Group)である。
>[巡回群 - Wikipedia](https://ja.wikipedia.org/wiki/%E5%B7%A1%E5%9B%9E%E7%BE%A4)
![スクリーンショット 2021-05-18 14.32.03.png](https://qiita-image-store.s3.ap-northeast-1.amazonaws.com/0/597772/26197921-f78d-8f1d-f071-29b1b70be2e7.png)
>ここで1の12乗根全体を考える。これは単位円周に乗っているが、乗法について**アーベル群**Gをなす。数が色つきの点で偏角とともに絵に描かれている。赤い点で示されている、1の4乗根全体のなす部分群Nを考える。この正規部分群は群を赤、緑、青で示される3つの剰余類に分ける。剰余類たちが3元からなる群をなすことを確認できる（赤の元と青の元の積は青、青の元の逆元は緑、など）。したがって、商群$\frac{G}{N}$は3色の群で、3つの元をもつ巡回群であることが分かる。
>![image.png](https://qiita-image-store.s3.ap-northeast-1.amazonaws.com/0/597772/805fdc6b-e613-aa74-0ede-6904d9b1a4c9.png)
>
>さらに実数が加法についてなす群$\mathbb{R}$とその整数からなる部分群$\mathbb{Z}$を考える。$\mathbb{R}$における$\mathbb{Z}$の剰余類はすべて、0≤a<1を実数として$a+\mathbb{Z}$の形の集合である。そのような剰余類を足すことは対応する実数を足し、結果が1以上ならば1を引くことによってなされる。商群$\frac{\mathbb{R}}{\mathbb{Z}}$は円周群$S_1$と同型であり、これは絶対値1の複素数が乗法についてなす群、あるいはそれに対応して、2次元で原点についての回転のなす群、すなわち「**平面上における回転**」を意味する**特殊直交群**SO(2)である。同型はf(a+Z)=exp(2πia)によって与えられる。SO(2)はさらに「**球面上における回転**」SO(3)に発展させる事が出来る。
>[SO(2) - EMANの物理数学](https://eman-physics.net/math/lie04.html)
>[SO(3) - EMANの物理数学](https://eman-physics.net/math/lie05.html)

ここに現れる「$実数\mathbb{R}=実数\mathbb{R}_a(a=0→1)+整数\mathbb{Z}$」で考える思考様式は「$冪乗算2^x+実数\mathbb{R}_n(n=0→2)$」で考える②の思考様式の大源流かもしれない(<font color=blue>とりあえず思いついたのでメモがてら</font>)。

②「<font color=purple>0から2までの正の実数</font>」と2の冪乗算を組み合わせて正の実数に対応させ、それを群演算した演算結果集合もこの族を規定する。

```math
2^n(n=-\infty→+\infty)=(2^{-\infty}=\frac{1}{\infty}=0,…,2^{-2}=\frac{1}{2^2}=\frac{1}{4},…,2^{-1}=\frac{1}{2},…,2^0=\frac{2}{2}=1,…,2^1=2,…,2^2=4,…,2^{+\infty}=\infty)
```
[【数理考古学】解析学史に「虚数概念」をもたらした交代級数](https://qiita.com/ochimusha01/items/a338ea75855fcb4ff6f8)

2の冪乗算を用いた正の整数の表現例

<!-- html table generated in R 3.5.2 by xtable 1.8-4 package -->
<!-- Tue Feb 16 05:08:43 2021 -->
<table border=1>
<tr> <th>  </th> <th> Values </th> <th> Explessions </th>  </tr>
  <tr> <td align="right"> 1 </td> <td> 1 </td> <td> 2^0 </td> </tr>
  <tr> <td align="right"> 2 </td> <td> 2 </td> <td> 2^1 </td> </tr>
  <tr> <td align="right"> 3 </td> <td> 3 </td> <td> 2^0+2^1 / 2^log(3,base=2) </td> </tr>
  <tr> <td align="right"> 4 </td> <td> 4 </td> <td> 2^2 </td> </tr>
  <tr> <td align="right"> 5 </td> <td> 5 </td> <td> 2^2+2^0 </td> </tr>
  <tr> <td align="right"> 6 </td> <td> 6 </td> <td> 2^2+2^1 </td> </tr>
  <tr> <td align="right"> 7 </td> <td> 7 </td> <td> 2^2+2^log(3,base=2) </td> </tr>
  <tr> <td align="right"> 8 </td> <td> 8 </td> <td> 2^3 </td> </tr>
   </table>

そう、まさにこの辺りが$-1 \rightleftharpoons n \rightleftharpoons ＋1$あるいは$0 \rightleftharpoons n \rightleftharpoons 2$を運動範囲とする**単振動**(Simple Vibration)概念の出発点となるのである。

③**実数列**を(確率の合計を1=100%と計算する)**確率密度空間**(Probability Density Space)の概念で掌握する**統計学**(Statistics)の考え方では、**間隔尺度**(Interval Scale)が「<font color=purple>自然数族を十進法導入によって連続化した空間に配置される観測結果集合</font>」、**比例尺度**(Ratio Scale)が「<font color=purple>それにさらに群演算を加えた</font>(すなわち中心を検出して単位元とし、元と逆元を定める操作を経た)<font color=purple>連続空間に配置される観測結果集合</font>」に対応し、後者が二群間の**相関係数**(Correlation Coefficient)や**線形回帰性**(Linear Regression)などを導出する出発点となる。
[確率密度関数 - Wikipedia](https://ja.wikipedia.org/wiki/%E7%A2%BA%E7%8E%87%E5%AF%86%E5%BA%A6%E9%96%A2%E6%95%B0)
![Ratio01.png](https://qiita-image-store.s3.ap-northeast-1.amazonaws.com/0/597772/a3f3131d-97cf-0820-1225-977d8b4cf25b.png)

```ptyhon
import networkx as nx

G = nx.DiGraph()
G.add_edge("Probability Density Space(確率密度空間)","Observation Result Set(観測結果集合)")
G.add_edge("Observation Result Set(観測結果集合)","Scaling(演算)")
G.add_edge("Scaling(演算)","Interval Scale(間隔尺度)")
G.add_edge("Interval Scale(間隔尺度)","Grouping(演算)")
G.add_edge("Grouping(演算)","Ratio Scale(比例尺度)")
nx.nx_agraph.view_pygraphviz(G, prog='fdp') 
```
![image.gif](https://camo.qiitausercontent.com/41a18e98651f2835ad642775fe1a82e27bdcce43/68747470733a2f2f71696974612d757365722d636f6e74656e74732e696d6769782e6e65742f687474707325334125324625324671696974612d757365722d636f6e74656e74732e696d6769782e6e6574253246687474707325323533412532353246253235324663646e2d616b2e662e73742d686174656e612e636f6d2532353246696d616765732532353246666f746f6c69666525323532466f25323532466f6368696d75736861303125323532463230323130313137253235324632303231303131373030333834382e67696625334669786c696225334472622d312e322e322532366175746f253344666f726d61742532366769662d71253344363025323671253344373525323677253344313430302532366669742533446d61782532367325334433376363626164633663313030613264383961383737616530353930613766643f69786c69623d72622d342e302e30266175746f3d666f726d6174266769662d713d363026713d373526773d31343030266669743d6d617826733d6164326163613961373464396434653464386539303766343436393538376431)
![image.gif](https://camo.qiitausercontent.com/bf201abdbe5afd58426496233f6a336a7c2e270d/68747470733a2f2f71696974612d757365722d636f6e74656e74732e696d6769782e6e65742f687474707325334125324625324671696974612d757365722d636f6e74656e74732e696d6769782e6e6574253246687474707325323533412532353246253235324663646e2d616b2e662e73742d686174656e612e636f6d2532353246696d616765732532353246666f746f6c69666525323532466f25323532466f6368696d75736861303125323532463230323130313137253235324632303231303131373030333232352e67696625334669786c696225334472622d312e322e322532366175746f253344666f726d61742532366769662d71253344363025323671253344373525323677253344313430302532366669742533446d61782532367325334433386663643438336136393238363166623439646136653939326335373631613f69786c69623d72622d342e302e30266175746f3d666f726d6174266769662d713d363026713d373526773d31343030266669743d6d617826733d3064353663386662316139666537313634326263633732313831633162626538)
![image.gif](https://camo.qiitausercontent.com/cd1619876e5ed9f5ecc1848835b6fd8617d02533/68747470733a2f2f71696974612d757365722d636f6e74656e74732e696d6769782e6e65742f687474707325334125324625324671696974612d757365722d636f6e74656e74732e696d6769782e6e6574253246687474707325323533412532353246253235324663646e2d616b2e662e73742d686174656e612e636f6d2532353246696d616765732532353246666f746f6c69666525323532466f25323532466f6368696d75736861303125323532463230323130313137253235324632303231303131373030323834352e67696625334669786c696225334472622d312e322e322532366175746f253344666f726d61742532366769662d71253344363025323671253344373525323677253344313430302532366669742533446d61782532367325334433666464336636636535643566666463636335323834656430373739393837313f69786c69623d72622d342e302e30266175746f3d666f726d6174266769662d713d363026713d373526773d31343030266669743d6d617826733d6261633031656334613030333961336264363661636331396433373737396334)
![image.gif](https://camo.qiitausercontent.com/2fd25f14e8073f2edd5c9a8a4675148376c4c62b/68747470733a2f2f71696974612d757365722d636f6e74656e74732e696d6769782e6e65742f687474707325334125324625324671696974612d757365722d636f6e74656e74732e696d6769782e6e6574253246687474707325323533412532353246253235324663646e2d616b2e662e73742d686174656e612e636f6d2532353246696d616765732532353246666f746f6c69666525323532466f25323532466f6368696d75736861303125323532463230323031313130253235324632303230313131303031303732372e67696625334669786c696225334472622d312e322e322532366175746f253344666f726d61742532366769662d71253344363025323671253344373525323677253344313430302532366669742533446d61782532367325334439306462326462363664646338316538313439313363363034366666636630343f69786c69623d72622d342e302e30266175746f3d666f726d6174266769662d713d363026713d373526773d31343030266669743d6d617826733d6430653139383939396234333837346462313066663133326462343864646139)
[【初心者向け】平均と標準偏差、中央値と平均偏差](https://qiita.com/ochimusha01/items/971d62ebc5e4cac6a61b)
[【初心者向け】標本分散と不偏分散](https://qiita.com/ochimusha01/items/a628caaa607bc3b8157f)
[【初心者向け】度数分布(Frequency Table)/度数分布図と最頻値（Mode）](https://qiita.com/ochimusha01/items/ea7ca95bf05510004bc6)
[【初心者向け】記述統計学と代表値](https://qiita.com/ochimusha01/items/0bdfc971a69a30f0615f)
![image.gif](https://camo.qiitausercontent.com/2e2d6dbb9648c3793d05e948601b18a970535457/68747470733a2f2f71696974612d757365722d636f6e74656e74732e696d6769782e6e65742f687474707325334125324625324663646e2d616b2e662e73742d686174656e612e636f6d253246696d61676573253246666f746f6c6966652532466f2532466f6368696d757368613031253246323032303132313825324632303230313231383138303033392e6769663f69786c69623d72622d342e302e30266175746f3d666f726d6174266769662d713d363026713d373526773d31343030266669743d6d617826733d3937383737363233313736333930376532333735356466376532656132643534)
[線形回帰とは何か - Qiita](https://qiita.com/ynakayama/items/5732f0631c860d4b5d8b)
![image.png](https://cdn-ak.f.st-hatena.com/images/fotolife/o/ochimusha01/20210504/20210504071926.png)

* この操作においても**観測原点**の概念が消失し、**観測限界**∞が**無限小**-∞と無限大+∞に分解される点に注意。データの**平均**や**中央値**や**最頻値**のどれかを**代表値**(Representative Value)と定めた段階で、このプロセスは既に始まっているのである。

##ネイピア族(<font color=blue>Napierian Family</font>)
実数列の**指数写像**(Exponential Map)と**対数写像**(Logarithmic Map)を「<font color=purple>登り坂の数だけ下り坂がある</font>」観点から併合した**独自概念**である。
[【トーラス構造と古典数学】等比数列(幾何数列)②同心円集合に射影する準備](https://qiita.com/ochimusha01/items/3c9b6aa40a3033a0f350)
![image.gif](https://qiita-user-contents.imgix.net/https%3A%2F%2Fcdn-ak.f.st-hatena.com%2Fimages%2Ffotolife%2Fo%2Fochimusha01%2F20210103%2F20210103063144.gif?ixlib=rb-4.0.0&auto=format&gif-q=60&q=75&s=27f39b6dcb9145c27f829029d6a25fe5)
![Napie01.png](https://qiita-image-store.s3.ap-northeast-1.amazonaws.com/0/597772/473ef80a-fc50-f0b0-c3cb-8338da8518eb.png)

```python
import networkx as nx

G = nx.DiGraph()
#G.add_edge("Napierian(-2)(族)","指数写像(-1)(演算)")
#G.add_edge("指数写像(-1)(演算)","Napierian(-1)(族)")
#G.add_edge("Napierian(-1)(族)","対数写像(-1)(演算)")
#G.add_edge("対数写像(-1)(演算)","Napierian(-2)(族)")
G.add_edge("Napierian(-1)(族)","指数写像(0)(演算)")
G.add_edge("指数写像(0)(演算)","Real(族)")
G.add_edge("Real(族)","対数写像(0)(演算)")
G.add_edge("対数写像(0)(演算)","Napierian(-1)(族)")
G.add_edge("Real(族)","指数写像(+1)(演算)")
G.add_edge("指数写像(+1)(演算)","Napierian(+1)(族)")
G.add_edge("Napierian(+1)(族)","対数写像(+1)(演算)")
G.add_edge("対数写像(+1)(演算)","Real(族)")
#G.add_edge("Napierian(+1)(族)","指数写像(+2)(演算)")
#G.add_edge("指数写像(+2)(演算)","Napierian(+2)(族)")
#G.add_edge("Napierian(+2)(族)","対数写像(+2)(演算)")
#G.add_edge("対数写像(+2)(演算)","Napierian(+1)(族)")
nx.nx_agraph.view_pygraphviz(G, prog='fdp') 
```
* この演算の無限連続性に触れた説明にまだ出会えてないので仮設定。この辺りから族を単なる(コンピューター言語における)**定数**と看做すのが難しくなってくる。
* この**演算結果集合**では**実数列**上における乗除算が対数写像上における加減算に置き換わる。<br>[【数理考古学】常用対数表を使った計算](https://qiita.com/ochimusha01/items/b7ce3c7d86ab39263c68)<br>$\log xy=\log x+\log y$<br>$\log\frac{x}{y}=\log x-\log y$

①**指数写像**(-∞が0、0が1、＋∞が∞に射影される)

```math
exp(x)(x=-\infty→0→+\infty)=(exp(-\infty)=\frac{1}{exp(\infty)}=0,…,exp(-1)=\frac{1}{exp(1)},…,exp(0)=\frac{exp(1)}{exp(1)}=1,…,exp(1),…,exp(+\infty)=\infty)
```
②**対数写像**…直接計算出来ないので、まずは「<font color=purple>0から2までの正の対数</font>」とLog(2)の組み合わせから任意の正の対数を求め、さらにその真数部を逆数化した結果を逆元に設定する。
[【数理考古学】冪乗算の微積分](https://qiita.com/ochimusha01/items/0bd18370cfa96e83347a)
$\log2$を用いた対数の表現例

<!-- html table generated in R 3.5.2 by xtable 1.8-4 package -->
<!-- Fri Feb 19 17:20:37 2021 -->
<table border=1>
<tr> <th>  </th> <th> Numbers </th> <th> Explessions </th> <th> Values </th>  </tr>
  <tr> <td align="right"> 1 </td> <td> log(1) </td> <td> log(2^1)+log(1/2) </td> <td> 0 </td> </tr>
  <tr> <td align="right"> 2 </td> <td> log(2) </td> <td> log(2^1) </td> <td> 0.6931472 </td> </tr>
  <tr> <td align="right"> 3 </td> <td> log(3) </td> <td> log(3/2)+log(2^1) </td> <td> 1.098612 </td> </tr>
  <tr> <td align="right"> 4 </td> <td> log(4) </td> <td> log(2^2) </td> <td> 1.386294 </td> </tr>
  <tr> <td align="right"> 5 </td> <td> log(5) </td> <td> log(5/4)+log(2^2) </td> <td> 1.609438 </td> </tr>
  <tr> <td align="right"> 6 </td> <td> log(6) </td> <td> log(3/2)+log(2^2) </td> <td> 1.791759 </td> </tr>
  <tr> <td align="right"> 7 </td> <td> log(7) </td> <td> log(7/4)+log(2^2) </td> <td> 1.94591 </td> </tr>
  <tr> <td align="right"> 8 </td> <td> log(8) </td> <td> log(2^3) </td> <td> 2.079442 </td> </tr>
   </table>

ところで**指数関数**や対数関数はしばしば**オイラーの公式**(Eulerian Formula)$e^{θi}=\cos(θ)+\sin(θ)i$と紐付けて語られるが、実はこの演算自体はネイピア族に属していない(後述)。その事についてノーベル賞を受賞した物理学者**朝永振一郎博士**(1906年～1979年)は高校時代から気付いており「<font color=purple>中学生には解けない</font>(逆を言えば高校生以上なら解けて不思議でない)<font color=purple>問題</font>」と指摘している。この発想が**ネイピア族**と(後述する)**ピタゴラス族**を分離する数理抽出を目指す最初のモチベーションとなった。
[【無限遠点を巡る数理】オイラーの公式と等比数列④「中学生には難しいが高校生なら気付くレベル」？](https://qiita.com/ochimusha01/items/10f0276f9850bea6c993)

とにかく**ネイピア族自体の数理**はそれとは随分と異なる形で独自展開する。
[【初心者向け】ロジスティック方程式とその関連範囲](https://qiita.com/ochimusha01/items/2f0118ecda2e17d366ba)

例えば生物の神経細胞が持つ性質のモデル化で、ニューラルネットワークにおける活性化関数などで用いられる**シグモイド関数**(Sigmoid Function)$\frac{1}{1+e^{ax}}=\frac{tanh(\frac{ax}{2})+1}{2}$辺りがその著名な代表例の一つとなる。
[【初心者向け】指数・対数関数の発見とそれ以降の発展について。 - Qiita](https://qiita.com/ochimusha01/items/3e28f4f06abd8cef0af1)
![image.png](https://cdn-ak.f.st-hatena.com/images/fotolife/o/ochimusha01/20210504/20210504142309.png)

##ピタゴラス族(<font color=blue>Pythagorean Family</font>)
さしあたって**絶対値**(半径)1を与えられた**ピタゴラスの定理**(Pythagorean Theorem)$x^2+y^2=1$が描く円弧/球面上の任意の座標集合(球状集合)についての独自表現。
[数理考古学】ピタゴラスの定理あるいは三平方の定理からの出発](https://qiita.com/ochimusha01/items/4c7f731b0ef3cc998aa1)

```math
半径r^2=x^2+y^2+z^2+…\\
特に二次元で半径1の時、y=\sqrt{1-x^2},x=\sqrt{1-y^2}
```

* 以下の概念を網羅する説明にまだ出会えてないのでとりあえず仮設定
* この集合自体は**単位元**も**反元**も備えないので**群**を構成しない。その辺りの特徴は**自然数列**と似ている。
(高校数学で習う様な)**2項展開**(Binomial Expansion)$(a±b)^2$の範囲では扱い切れず、その証明に「<font color=purple>角度が90度</font>(π/2ラジアン)<font color=purple>という特別条件</font>」や「<font color=purple>複素平面</font>(Complex Plane)<font color=purple>における単位円上の操作、すなわち虚数</font>(Imaginal)<font color=purple>$i^2=−1$概念の導入と共益複素数</font>(Conjugate Complex Number)<font color=purple>の相互打ち消し作用</font>」などを必要とする。<br>[【初心者向け】パスカルの三角形と二項定理または二項展開](https://qiita.com/ochimusha01/items/d668b19d5389b52e0dd2)

全体像はこんな感じとなります。ある意味、始まりも終わりもなく、大小の比較も不可能な「**虚無の世界**」の顕現そのもの…
[【初心者向け】複素共役のアニメーション表示について。](https://qiita.com/ochimusha01/items/e0bb2789a420d3317cf1)
![image.gif](https://qiita-user-contents.imgix.net/https%3A%2F%2Fqiita-image-store.s3.ap-northeast-1.amazonaws.com%2F0%2F597772%2F0aeed895-bafb-002c-82f5-2565c3145d80.gif?ixlib=rb-4.0.0&auto=format&gif-q=60&q=75&s=3942fc515cedac7d103908cb430a20ee)
![image.gif](https://qiita-user-contents.imgix.net/https%3A%2F%2Fqiita-image-store.s3.ap-northeast-1.amazonaws.com%2F0%2F597772%2F98cb3b85-8775-d5ac-4f21-5608fbb7db13.gif?ixlib=rb-4.0.0&auto=format&gif-q=60&q=75&s=2a1909f14c12c6abf829a24728a3ab4c)
![image.gif](https://qiita-user-contents.imgix.net/https%3A%2F%2Fqiita-image-store.s3.ap-northeast-1.amazonaws.com%2F0%2F597772%2F161ed342-36aa-8db1-c463-f1ea040eb6d9.gif?ixlib=rb-4.0.0&auto=format&gif-q=60&q=75&s=1f761e3460c9bc288a7258ba399c1ea0)

何がややこしいって、**ゲームプログラミングにおける当たり判定**(2点間の絶対値を求めて相対距離を計測する)や**モンテカルロ法における円の面積や球の体積の算出**(ランダムに置かれる点が円/球の内側か外側か判定する)に使われる**ピタゴラスの定理**そのものには、それに含まれる各点の座標を特定する数理が含まれていないのです。
[【初心者向け】「モンテカルロ法」概説](https://qiita.com/ochimusha01/items/979f43806ef00910ac81)
![image.gif](https://camo.qiitausercontent.com/85995b53d6ed1e750de37617786f56718d71cb0e/68747470733a2f2f71696974612d757365722d636f6e74656e74732e696d6769782e6e65742f687474707325334125324625324671696974612d757365722d636f6e74656e74732e696d6769782e6e6574253246687474707325323533412532353246253235324671696974612d696d6167652d73746f72652e73332e61702d6e6f727468656173742d312e616d617a6f6e6177732e636f6d2532353246302532353246353937373732253235324633303064633463632d393763362d646331322d393030332d3536643336303939356130332e67696625334669786c696225334472622d312e322e322532366175746f253344666f726d61742532366769662d7125334436302532367125334437352532367325334438613564333363333131633364356538633737653863623366313336663438633f69786c69623d72622d342e302e30266175746f3d666f726d6174266769662d713d363026713d373526773d31343030266669743d6d617826733d6161666339313838643865663066373962313465343537643431323662653261)
なのでそを担当する別の**演算群**(Operation Group)が存在します。オブジェクト志向プログラミングでいうところの「<font color=purple>そのクラスにおいてメンバ変数を共有するメンバメソッド群</font>」に該当。
[メンバ変数とメンバメソッド | Java入門](https://www.javadrive.jp/start/member/)

* **0次元の場合**…代数方程式$x^2+y^2=0$を解くと$y=±x$ないしは$x=±y$となり、かかる一対の**線形関数**(Linear function)の交点、すなわち**xy軸の中心**(0,0)、**複素平面**(Complex Plane)**実軸**(Real Axis)上における0の**一点**(一切の広がりを備えない半径0の円)としか観測されない。この考え方はN次球へも拡張可能である(任意の次元数上において「**点=一切の広がりを備えない半径0の球面」としてしか観測されない**)。<br>[【Python演算処理】「N次球概念導入による円/球関係の数理の統合」？](https://qiita.com/ochimusha01/items/f7c9077eccfdbd0dd47a)
* **1次元の場合**…**ピタゴラス族**と**実数列**の交点は2点のみ、すなわち**xy軸上の(1,0)(-1,0)**あるいは**複素平面実軸上の-1、1**だけとなる。**交代級数**(Alternating Series)に該当する演算結果集合と重なる。<br>[【数理考古学】解析学史に「虚数概念」をもたらした交代級数](https://qiita.com/ochimusha01/items/a338ea75855fcb4ff6f8)
* **2次元の場合**…**代数方程式**$x^2+y^2=1$を解くと$y=±\sqrt{1-x^2}$ないしは$x=±\sqrt{1-y^2}$となり、それぞれ前者はy=0、後者はx=0を**分枝切断線**(Branch cut line=到達不可能な特異点)とする半円2本を描く。**演算結果集合**としては**極座標系**(Polar Coordinates System)(r,θ)上の**円**(Circle)=<font color=purple>半径1の単位円</font>×**半径**(Radius)R=**観測結果集合**とする**円周群**=**リー群**$S_0$=**1次元トーラス**×**半径**(Radius)rに該当。<br>[【Rで球面幾何学】等差数列(算術数列)②数直線概念から同心円集合概念へ](https://qiita.com/ochimusha01/items/2a16c3cba3f88986c767)<br>![image.gif](https://qiita-user-contents.imgix.net/https%3A%2F%2Fcdn-ak.f.st-hatena.com%2Fimages%2Ffotolife%2Fo%2Fochimusha01%2F20201111%2F20201111043648.gif?ixlib=rb-4.0.0&auto=format&gif-q=60&q=75&s=0249fbf2cfbe5db2e4765a1135771f4b)<br>![image.gif](https://qiita-user-contents.imgix.net/https%3A%2F%2Fcdn-ak.f.st-hatena.com%2Fimages%2Ffotolife%2Fo%2Fochimusha01%2F20201110%2F20201110234311.gif?ixlib=rb-4.0.0&auto=format&gif-q=60&q=75&s=73cee90bf6091131c79d60df682feca6)
* **3次元の場合**…**三次元極座標系**(3D Polar Coordinate System)(半径r,水平角φ,垂直角θ)は、**三次元トーラス多様体**$S_3$=**四元数**(Quaternion)上における「<font color=purple>縦回転も横回転も伴わない場合</font>(<font color=blue>すなわ大半径Rに直交する交点を中心に±Rの線分伸ばした接線の両端を対蹠に取った場合</font>)」がなす**球状集合**に該当する。<br>[【数理考古学】群論とシミュレーション原理⑥二次元トーラス概念への発展](https://qiita.com/ochimusha01/items/0e881b5b6d3b07d66342)<br>![image.gif](https://qiita-user-contents.imgix.net/https%3A%2F%2Fcdn-ak.f.st-hatena.com%2Fimages%2Ffotolife%2Fo%2Fochimusha01%2F20210412%2F20210412092943.gif?ixlib=rb-4.0.0&auto=format&gif-q=60&q=75&s=cebf6bec90163e5644be882769f30965)<br>![image.gif](https://qiita-user-contents.imgix.net/https%3A%2F%2Fcdn-ak.f.st-hatena.com%2Fimages%2Ffotolife%2Fo%2Fochimusha01%2F20210412%2F20210412091159.gif?ixlib=rb-4.0.0&auto=format&gif-q=60&q=75&s=4828f17c14d871a31a52ef59a269ee1d)<br>![image.gif](https://qiita-user-contents.imgix.net/https%3A%2F%2Fcdn-ak.f.st-hatena.com%2Fimages%2Ffotolife%2Fo%2Fochimusha01%2F20210412%2F20210412091759.gif?ixlib=rb-4.0.0&auto=format&gif-q=60&q=75&s=1f6d056d6dab9f3056b1d168566b094c)

ちなみに以下の演算の結果集合が「<font color=purple>リー群$S_0$=一次元トーラス=円周群</font>」を充分近似するには条件があります。

①**ガウスの巡回群**(Gaussian Cyclic Group)の場合。
[【数理考古学】群論とシミュレーション原理②群導出演算としてのガウスの巡回群](https://qiita.com/ochimusha01/items/95dad79a20153e6a3ede)
円周上に現れる**正n角形**が充分に円の定義たる「<font color=purple>辺数∞、辺長$\frac{1}{∞}=0$</font>」の条件を満たす事(<font color=blue>このサイトでは正60角形を採用するケースが多い</font>)。ただしこの演算に限ってはnをどれだけ小さく取っても、その元が円周群の元をはみ出す事がない。
![image.gif](https://camo.qiitausercontent.com/6bfaa1e9ff04c556a59a84c0c2d8ea3d6b15b6df/68747470733a2f2f71696974612d757365722d636f6e74656e74732e696d6769782e6e65742f687474707325334125324625324671696974612d696d6167652d73746f72652e73332e61702d6e6f727468656173742d312e616d617a6f6e6177732e636f6d2532463025324635393737373225324632643963613061362d366161352d643534352d333261642d3966333336666630636462352e6769663f69786c69623d72622d312e322e32266175746f3d666f726d6174266769662d713d363026713d373526773d31343030266669743d6d617826733d6462336535306161336233303539323837303431636432613164303466613666)

一辺の長さがaの正n角形に外接する円の半径<font color=blue>r</font>

* <font color=blue>$r=\frac{a}{2\tan(\frac{π}{n})}$</font>
* $a=r(2\tan(\frac{π}{n}))$

一辺の長さが<font color=green>A</font>の正n角形に内接する円の半径<font color=red>R</font>

* <font color=red>$R=\frac{A}{2\tan(\frac{π}{n})cos(\frac{π}{n})}$</font>
* <font color=green>$A=R(2\tan(\frac{π}{n})cos(\frac{π}{n}))$</font>

一辺の長さがaの正n角形の外接円の半径と内接円の半径の関係

* <font color=blue>$r=Rcos(\frac{π}{n})$</font>
* <font color=red>$R=\frac{r}{cos(\frac{π}{n})}$</font>

外接円を**単位円**（Unit Circle）としたのが上記アニメーション。

* 外接円の半径<font color=red>R</font>は単位円の定義に従って<font color=red>1</font>
* これに内接する正多辺形の１辺の長さ<font color=green>A</font>は<font color=green>$2\tan(\frac{π}{辺数})\cos(\frac{π}{辺数})$</font>
* 外接円に内接する正多辺形の内接円の半径<font color=blue>r</font>は<font color=blue>$\cos(\frac{π}{辺数})$</font>

この演算の極限には半径1の単位円の場合における円周長として<font color=red>2π</font>が現れる。半径rの場合に一般化すると算数段階で習う<font color=red>2πr</font>となる。

②**虚数冪**(Imaginal Exponentiation)$e^{θi}$の場合。
[【数理考古学】群論とシミュレーション原理④群導出演算としてのオイラーの公式](https://qiita.com/ochimusha01/items/75c78a0e419b469f9e62)
**ネイピア数**e(2.71828)が充分近似出来ている事。
![image.gif](https://camo.qiitausercontent.com/9febf32e2ce7db077b26accc5edede453cfef226/68747470733a2f2f63646e2d616b2e662e73742d686174656e612e636f6d2f696d616765732f666f746f6c6966652f6f2f6f6368696d7573686130312f32303231303432392f32303231303432393132333834352e676966)
![image.gif](https://camo.qiitausercontent.com/93de38a37ab4e4e18ccf1be2f6d2008d6ff331e7/68747470733a2f2f63646e2d616b2e662e73742d686174656e612e636f6d2f696d616765732f666f746f6c6966652f6f2f6f6368696d7573686130312f32303231303432392f32303231303432393133313434352e676966)

③**公比-1の等比数列**$-1^x=±i^{2x}$の場合。
[【数理考古学】群論とシミュレーション原理⑤群導出演算としての「公比-1の等比数列」](https://qiita.com/ochimusha01/items/d65fdcc7d30f9aa0e4ac)
「<font color=purple>周回関数</font>(Rap Function)<font color=purple>$α^n$の冪根αが十分1に近く</font>」かつ「<font color=purple>周期関数</font>(Cyclyc Function)<font color=purple>$−1^n$の冪根βが十分-1に近い</font>」場合に限られる。

**0<公比<1の時**…純粋な1次元展開により０へ向けて収束。
![image.gif](https://camo.qiitausercontent.com/b857d80362d42e74ed57f98df7e46e696cb3d0fe/68747470733a2f2f71696974612d757365722d636f6e74656e74732e696d6769782e6e65742f687474707325334125324625324671696974612d757365722d636f6e74656e74732e696d6769782e6e6574253246687474707325323533412532353246253235324663646e2d616b2e662e73742d686174656e612e636f6d2532353246696d616765732532353246666f746f6c69666525323532466f25323532466f6368696d75736861303125323532463230323130313033253235324632303231303130333231323930332e67696625334669786c696225334472622d312e322e322532366175746f253344666f726d61742532366769662d71253344363025323671253344373525323677253344313430302532366669742533446d61782532367325334437303039383331343466306163613866633165336161613962613235626136373f69786c69623d72622d342e302e30266175746f3d666f726d6174266769662d713d363026713d373526773d31343030266669743d6d617826733d6439626364326330366536316334613863373262356333393135646361393565)
**公比>1の時**…純粋な1次元展開により無限大に向けて発散。
![image.gif](https://camo.qiitausercontent.com/4823162efebb7935e85a3bda5968265225e54fbd/68747470733a2f2f71696974612d757365722d636f6e74656e74732e696d6769782e6e65742f687474707325334125324625324671696974612d757365722d636f6e74656e74732e696d6769782e6e6574253246687474707325323533412532353246253235324663646e2d616b2e662e73742d686174656e612e636f6d2532353246696d616765732532353246666f746f6c69666525323532466f25323532466f6368696d75736861303125323532463230323130313033253235324632303231303130333231333731322e67696625334669786c696225334472622d312e322e322532366175746f253344666f726d61742532366769662d71253344363025323671253344373525323677253344313430302532366669742533446d61782532367325334433393236636263643739633233396662643731323363616162666339373133663f69786c69623d72622d342e302e30266175746f3d666f726d6174266769662d713d363026713d373526773d31343030266669743d6d617826733d3333633462303835646264663235633066313964613134643433373638353033)
**0>公比>-1の時**…振幅の幅が0に向けて狭まっていく。
![image.gif](https://camo.qiitausercontent.com/9e629b1ff28e07f845f6dc0c9bb3cdb89bf12ab6/68747470733a2f2f71696974612d757365722d636f6e74656e74732e696d6769782e6e65742f687474707325334125324625324671696974612d757365722d636f6e74656e74732e696d6769782e6e6574253246687474707325323533412532353246253235324663646e2d616b2e662e73742d686174656e612e636f6d2532353246696d616765732532353246666f746f6c69666525323532466f25323532466f6368696d75736861303125323532463230323130313033253235324632303231303130333037333930332e67696625334669786c696225334472622d312e322e322532366175746f253344666f726d61742532366769662d71253344363025323671253344373525323677253344313430302532366669742533446d61782532367325334432343433633034313563613531366332393063666536646464353833326666633f69786c69623d72622d342e302e30266175746f3d666f726d6174266769662d713d363026713d373526773d31343030266669743d6d617826733d3231303739343439313466303565346335376264383833376236623533613138)
**公比<-1の時**…振幅の幅が無限大に向けて広がっていく。
![image.gif](https://camo.qiitausercontent.com/4afb17544c5996bbb3d2a24231a95d47b799fe2c/68747470733a2f2f71696974612d757365722d636f6e74656e74732e696d6769782e6e65742f687474707325334125324625324671696974612d757365722d636f6e74656e74732e696d6769782e6e6574253246687474707325323533412532353246253235324663646e2d616b2e662e73742d686174656e612e636f6d2532353246696d616765732532353246666f746f6c69666525323532466f25323532466f6368696d75736861303125323532463230323130313033253235324632303231303130333037343630302e67696625334669786c696225334472622d312e322e322532366175746f253344666f726d61742532366769662d71253344363025323671253344373525323677253344313430302532366669742533446d61782532367325334433636531333363643437376537396533303737363864336462353531613766653f69786c69623d72622d342e302e30266175746f3d666f726d6174266769662d713d363026713d373526773d31343030266669743d6d617826733d3663653266656666653066383737626230373536663032616133623132343432)

④**解析学的アプローチ**
[【数理考古学】群論とシミュレーション原理③群導出演算としての解析学的アプローチ](https://qiita.com/ochimusha01/items/fe469d28a783cc88da57)
Z軸について、円の表面積や体積を求める際には**半径**(Radius)=**単純振動**を、球面座標を求める際には**三角関数**(Cos(θ))を採用する。
[【Python演算処理】半径・直径・円周長・円の面積・球の表面積・球の体積の計算上の往復 - Qiita](https://qiita.com/ochimusha01/items/e180451a210227bb19a5)

>考え方の中核は以下の**球の表面積を求める式**$4πr^2$や**球の体積を求める式**$\frac{4}{3}πr^3$を導出する三重積分三重積分にある。

```math
{\int U(x,y,z)dV=\int_{0}^{2π}\int_{0}^{π}\int_{0}^{1}U(r,θ,φ)r^2\sinθdrdθdφ\\ =\int_{0}^{2π}\int_{0}^{π}\int_{0}^{1}\begin{vmatrix} \frac{∂x}{∂r} & \frac{∂x}{∂θ} & \frac{∂x}{∂φ}\\ \frac{∂y}{∂r} & \frac{∂y}{∂θ} & \frac{∂y}{∂φ}\\ \frac{∂z}{∂r} & \frac{∂z}{∂θ} & \frac{∂z}{∂φ} \end{vmatrix} drdθdφ }
```

**極座標系**(r,φ,θ,…)積分範囲の積み重ね方に注目すると以下となっている。

* まずは**角度φ**=0→2πφ=0→2πの範囲で積分して**円周**2πrに到達。
* さらに**角度θ**=0→πθ=0→πの範囲で積分を重ね**球の表面積****$4πr^2$に到達。
* さらに**半径r**=0→1r=0→1の範囲で積分を重ね**球の体積**$\frac{4}{3}πr^3$に到達。

**垂直角θ**(0~πラジアンのπ範囲)を**水平角φ**(-πラジアン~0~＋πラジアンの2π範囲)の半分に取るのが特徴で、地球儀上で緯度(±90度)の概念が経度(±180度)で表されるのも同じ数理に基づく。
![image.png](https://cdn-ak.f.st-hatena.com/images/fotolife/o/ochimusha01/20210504/20210504154527.png)
**二次元空間**(円弧)における**デカルト座標系**(x,y)と**極座標系**(r,φ)の相互変換

* 原点(0,0)からの距離$r=\sqrt{x^2+y^2}$
* $φ(-π \rightleftharpoons +π)=-(\arctan^2(x,y)-\frac{π}{2})$
* $x=r×\cos(φ)$
* $y=r×\sin(φ)$

**三次元空間**(球面)における**デカルト座標系**(x,y,z)と**極座標系**(r,φ,θ)の相互変換

* 原点(0,0,0)からの距離$r=\sqrt{x^2+y^2+z^2}$
* $φ(-π \rightleftharpoons +π)=-(\arctan^2(x,y)-\frac{π}{2})$
* $θ(-\frac{π}{2} \rightleftharpoons +\frac{π}{2})=-(\arctan^2(\sqrt{x^2+y^2+z^2},z)-\frac{π}{2})$
* $x=r×\sin(θ)\cos(φ)$
* $y=r×\sin(θ)\sin(φ)$
* $z=r×\cos(θ)$

そして、この辺りから円描画に関係する**単振動**(Simple Vibration)概念が、**偶数系**$-1 \rightleftharpoons n \rightleftharpoons ＋1$と**奇数系**$0 \rightleftharpoons n \rightleftharpoons 2$の2種類存在する事が俄然意味を持ち始めるのです。<br>[【トーラス構造と古典数学】「単位円筒」から「トーラス構造」へ](https://qiita.com/ochimusha01/items/f6406e768aa24b8aea1a)<br>![image.gif](https://camo.qiitausercontent.com/9e756e40dceca25c93c9517bc61e134658c8ae2e/68747470733a2f2f63646e2d616b2e662e73742d686174656e612e636f6d2f696d616765732f666f746f6c6966652f6f2f6f6368696d7573686130312f32303230313132362f32303230313132363032303830302e676966)<br>![image.gif](https://qiita-user-contents.imgix.net/https%3A%2F%2Fcdn-ak.f.st-hatena.com%2Fimages%2Ffotolife%2Fo%2Fochimusha01%2F20201128%2F20201128213350.gif?ixlib=rb-4.0.0&auto=format&gif-q=60&q=75&w=1400&fit=max&s=876af60c67ef227d482544d6f33c6c34)
![pyth02.png](https://qiita-image-store.s3.ap-northeast-1.amazonaws.com/0/597772/e649e203-23d8-c657-dd4f-073ca4e1ccdd.png)

```python
import networkx as nx

G = nx.DiGraph()
G.add_edge("Real(族)","Extraction:x=-1 →1(演算)")
G.add_edge("指数写像(exp(xπi/2))(演算)","Extraction:x=-1 →1(演算)")
G.add_edge("Extraction:x=-1 →1(演算)","指数写像(exp((x±1)πi/2))(演算)")
G.add_edge("Extraction:x=-1 →1(演算)","指数写像(exp(xπi/2))(演算)")
G.add_edge("指数写像(exp((x±1)πi/2))(演算)","Extraction:x=-1 →1(演算)")
G.add_edge("Pythagorean(族)=偶数系","指数写像(exp(xπi/2))(演算)")
G.add_edge("Pythagorean±1(族)=奇数系","指数写像(exp((x±1)πi/2))(演算)")
G.add_edge("指数写像(exp(xπi/2))(演算)","Pythagorean(族)=偶数系")
G.add_edge("指数写像(exp((x±1)πi/2))(演算)","Pythagorean±1(族)=奇数系")
nx.nx_agraph.view_pygraphviz(G, prog='fdp') 
```

* ここで引いた「**補助線**」は、**等速円運動**(Constant Velocity Circular Motion)や**オイラーの公式**(Eulerian formula)$e^{θi}=\cos(θ)+\sin(θ)i$が立脚する「<font color=purple>1軸で回転する円状/球状集合</font>」の概念に由来する。<br>[【数理考古学】群論とシミュレーション原理④群導出演算としてのオイラーの公式](https://qiita.com/ochimusha01/items/75c78a0e419b469f9e62)<br>![image.png](https://qiita-user-contents.imgix.net/https%3A%2F%2Fcdn-ak.f.st-hatena.com%2Fimages%2Ffotolife%2Fo%2Fochimusha01%2F20210504%2F20210504162020.png?ixlib=rb-4.0.0&auto=format&gif-q=60&q=75&w=1400&fit=max&s=a6955a0a4d3736fc57aed6753517f458)<br>![image.png](https://qiita-user-contents.imgix.net/https%3A%2F%2Fcdn-ak.f.st-hatena.com%2Fimages%2Ffotolife%2Fo%2Fochimusha01%2F20210504%2F20210504162153.png?ixlib=rb-4.0.0&auto=format&gif-q=60&q=75&w=1400&fit=max&s=2335f454fb0ffe93e583434dcb9060e4)
* そしてかかる「<font color=purple>1軸で回転する円状/球状集合</font>」に**2番目の直行回転軸**を与えると、両者の合成結果として**3番目の直行回転軸**が勝手に追加されるのが**三次元トーラス多様体**$S_3$=**四元数**(Quaternion)概念の基本原理となる(<font color=blue>リー群$S_1$の次が$S_2$でなく$S_3$なのはこの為</font>)。。<br>[【数理考古学】群論とシミュレーション原理⑦三次元トーラスとしての四元数概念導入](https://qiita.com/ochimusha01/items/b350569a6770f6b221f9)<br>![image.gif](https://qiita-user-contents.imgix.net/https%3A%2F%2Fqiita-user-contents.imgix.net%2Fhttps%253A%252F%252Fqiita-user-contents.imgix.net%252Fhttps%25253A%25252F%25252Fcdn-ak.f.st-hatena.com%25252Fimages%25252Ffotolife%25252Fo%25252Fochimusha01%25252F20210326%25252F20210326143809.gif%253Fixlib%253Drb-4.0.0%2526auto%253Dformat%2526gif-q%253D60%2526q%253D75%2526w%253D1400%2526fit%253Dmax%2526s%253D6ae8c73eac17e31d262307bd809859f3%3Fixlib%3Drb-4.0.0%26auto%3Dformat%26gif-q%3D60%26q%3D75%26w%3D1400%26fit%3Dmax%26s%3D920e333379665c43be30ae567d296e6e?ixlib=rb-4.0.0&auto=format&gif-q=60&q=75&w=1400&fit=max&s=7bb37941c046dad15fba533303b0a8e6)

完全に「**気分は宇宙飛行士**」じゃないですか…

##ガウス族(<font color=blue>Gauss Family</font>)
「<font color=purple>ある母集団から無作為抽出した標本の平均は標本の大きさを大きくすると母平均に近づく</font>」とするベルヌーイの大数弱の法則を拡張して数式化した**中心極限定理**(CLT=Central Limit Theorem）に対応する**観測結果集合**。いわゆる**正規分布**(Normal Distribution)概念の表現としての「**ベルカーブ**」を指す独自表現。
[【初心者向け】正規分布(Normal Distribution)とは何か？](https://qiita.com/ochimusha01/items/fe73ddf6e3e8cb08fbee)
![image.gif](https://cdn-ak.f.st-hatena.com/images/fotolife/o/ochimusha01/20210504/20210504134148.png)

```math
f(x)=\frac{1}{\sqrt{2π}σ}e^{-\frac{(x-μ)^2}{2σ^2}}(-∞<x<+∞)\\
確率変数Xの期待値E(X)=平均μ\\
確率変数Xの分散V(X)=分散σ^2
```
![Gauss01.png](https://qiita-image-store.s3.ap-northeast-1.amazonaws.com/0/597772/d871b6ee-41e7-d7bb-dc89-d429cecde532.png)

```python
import networkx as nx

G = nx.DiGraph()
G.add_edge("放物線-x^2(関数)","指数写像exp(-x^2)(演算)")
G.add_edge("指数写像exp(-x^2)(演算)","正規化(演算)")
G.add_edge("正規化(演算)","Gaussian(族)")
nx.nx_agraph.view_pygraphviz(G, prog='fdp') 
```
①**演算結果集合**としては放物線関数$y=-x^2$の対数写像$y=e^{-x^2}$から出発する。実際の統計学で使う式はこの全体を確立密度空間に対応させた複雑な内容となるが、この曲線自体が備える数理的本質そのものは変わらない。
[【初心者向け】指数・対数関数の発見とそれ以降の発展について。](https://qiita.com/ochimusha01/items/3e28f4f06abd8cef0af1)
![image.png](https://qiita-user-contents.imgix.net/https%3A%2F%2Fqiita-image-store.s3.ap-northeast-1.amazonaws.com%2F0%2F597772%2F9c2a840e-7e67-496d-f672-b903fddec4ce.png?ixlib=rb-4.0.0&auto=format&gif-q=60&q=75&s=044c60d1008a7fb2a8a547222d9bb22b)

② (全体を1=100%と考える確立密度空間に立脚する)**統計学**における**相関係数**や**線形回帰**といった数理処理の出発点(観測結果集合を演算結果集合に近づける為に遂行する外れ値除去の技法)でもある。かかる概念は、この演算結果集合を上掲のピタゴラス群に射影するとよりはっきりと見て取れる。

```math
erf(x)=\frac{2}{\sqrt{π}}\int_{0}^{x}e^{-t^2}dt\\
erfc(x)=1-erf(x)=\frac{2}{\sqrt{π}}\int_{x}^{∞}e^{-t^2}dt=e^{-x^2}erfcx(x)\\
ω(x)=e^{-x^2}erfcx(ix)
```
* 通常のピタゴラス群の正面図では中心の反対側の対蹠を観測限界に設定するので裏半分が視野外となるのに対し、この場合は円の辺縁部を観測限界に設定する。その結果「**重力レンズ効果によって裏側まで見通せるブラックホールの景観」**が現れるが、人間の視覚はこの部分を誤差として切り捨ててしまうので、両者の違いに案外気付かない。<br>[【数理考古学】誤差関数(ERF)と相補誤差関数 (ERFC)。](https://qiita.com/ochimusha01/items/ee8b32e4b2cc7ce4acb0)<br>![image.gif](https://qiita-user-contents.imgix.net/https%3A%2F%2Fcdn-ak.f.st-hatena.com%2Fimages%2Ffotolife%2Fo%2Fochimusha01%2F20201116%2F20201116230848.gif?ixlib=rb-4.0.0&auto=format&gif-q=60&q=75&s=12540b98aa246977b412715fb4364060)

そもそも媒介変数として**離心率**εを導入した関数$\frac{1}{1+ε\cos(θ)}$(θ=−π→+π)において**円**(楕円)と**放物線**と**双曲線**は連続して現れるのです。
[二次曲線の性質](http://fnorio.com/0069quadratic_curve1/quadratic_curve1.htm)
[【無限遠点を巡る数理】離心率①二次曲線（楕円，放物線，双曲線）の極座標表示からの出発](https://qiita.com/ochimusha01/items/9c709cd0e43a84bfc484)
![image.gif](https://camo.qiitausercontent.com/fbda0b7e33f3e3c4e683f341b2e49db381a35974/68747470733a2f2f63646e2d616b2e662e73742d686174656e612e636f6d2f696d616765732f666f746f6c6966652f6f2f6f6368696d7573686130312f32303231303230312f32303231303230313232353433332e676966)

* 上掲のピタゴラス族との元の共有範囲は離心率ε=0の場合のみ。

**離心率**ε=0の時に**半径1の単位円**$y=±\sqrt{1-x^2}$
つまり**リー群**$S_0$=**円周群**=**一次元トーラス**。
![image.png](https://camo.qiitausercontent.com/39711fc1a5aacc469d042769b00d815ead44d311/68747470733a2f2f71696974612d696d6167652d73746f72652e73332e61702d6e6f727468656173742d312e616d617a6f6e6177732e636f6d2f302f3539373737322f31346438343632332d313665642d633139382d623661342d3031666439383364336136302e706e67)
**離心率**0<ε<1の時に楕円$y=\sqrt{b^2(1-\frac{x^2}{a^2})}$

![image.png](https://camo.qiitausercontent.com/da15f40a165cfb081eddb4731858175efaaf1539/68747470733a2f2f71696974612d696d6167652d73746f72652e73332e61702d6e6f727468656173742d312e616d617a6f6e6177732e636f6d2f302f3539373737322f37616637636261392d303361382d633864662d356630622d3937373663383862653837332e706e67)
**離心率**ε=1の時に放物線を横にした$y=\frac{1}{2}±\sqrt{x}$
![image.png](https://camo.qiitausercontent.com/7488c2dc2751aaf5c7ecfd8a428ae4e03ae411c8/68747470733a2f2f71696974612d696d6167652d73746f72652e73332e61702d6e6f727468656173742d312e616d617a6f6e6177732e636f6d2f302f3539373737322f31363635613062302d623366622d323161652d376163302d3561663961346131333037612e706e67)
**離心率**ε>1の時に**双曲線**$y=\sqrt{b^2(\frac{x^2}{a^2}-1)}$
![image.png](https://camo.qiitausercontent.com/eccaf67a8ae2904c6e5e60e18e49f41652ba5f3a/68747470733a2f2f71696974612d696d6167652d73746f72652e73332e61702d6e6f727468656173742d312e616d617a6f6e6177732e636f6d2f302f3539373737322f30353732396561332d313136302d303564392d616330622d6437643139616461396234332e706e67)
![image.png](https://camo.qiitausercontent.com/d25c4ddd9b3f6852234643f320414caf53cd0b71/68747470733a2f2f71696974612d696d6167652d73746f72652e73332e61702d6e6f727468656173742d312e616d617a6f6e6177732e636f6d2f302f3539373737322f34616437666631322d623038662d363365372d343034352d6462653136623333663138382e706e67)
そして**離心率**εが**無限大**∞に近くにつれ**原点{0,0}**へと収束。
![image.gif](https://camo.qiitausercontent.com/5421ebfe537753c2fc5dfd5189a68ed436dc3ead/68747470733a2f2f63646e2d616b2e662e73742d686174656e612e636f6d2f696d616765732f666f746f6c6966652f6f2f6f6368696d7573686130312f32303231303230312f32303231303230313233343134352e676966)

そんな感じで以下続報…