2017年5月27日土曜日

アルファ碁が3連勝=最強棋士、AIに完敗-中国

アルファ碁が3連勝=最強棋士、AIに完敗-中国

【烏鎮(中国浙江省)時事】米グーグル傘下、英ディープマインド社が開発した囲碁人工知能(AI)「アルファ碁」と、「世界最強」とされる中国人棋士、柯潔九段による3番勝負の最終局が27日、中国浙江省の烏鎮で行われ、黒番のAIが中押し勝ちした。AIは3連勝した。AIと人類の頂上決戦として世界的な注目を浴びた同シリーズは、AIが圧倒的な強さを見せつける形で幕を閉じ、目覚ましい進化を続けるAIが、囲碁の世界でも人間を凌駕(りょうが)したことが浮き彫りになった。
 初戦は、序盤から果敢に攻めた柯九段にAIが完璧に対応。終始勝負をリードしたが、終盤に緩んだ手が増え、結果は半目の僅差で敗れた。第2局は中盤まで互角のせめぎ合いが続いたが、終盤、勝ちを意識し力んだ柯九段がミスを連発。AIが一気に優勢を広げ、連勝を決めた。
 アルファ碁は昨年3月、韓国のトップ棋士との5番勝負に4勝1敗で圧勝。当時は「AIがトップ棋士に勝つにはまだ10年はかかる」とみられていたが、自ら学習を積み重ねる「ディープラーニング(深層学習)」技術によって驚異的な成長を見せ、世界を驚かせた。(2017/05/27-16:24) 

人工知能はゼロ除算ができるでしょうか:

再生核研究所声明3682017.5.19)ゼロ除算の意義、本質

ゼロ除算の本質、意義について、既に述べているが、参照すると良くまとめられているので、初めに復習して、新しい視点を入れたい。

再生核研究所声明3592017.3.20) ゼロ除算とは何か ― 本質、意義

ゼロ除算の理解を進めるために ゼロ除算とは何か の題名で、簡潔に表現して置きたい。 構想と情念、想いが湧いてきたためである。
基本的な関数y=1/x を考える。 これは直角双曲線関数で、原点以外は勿論、値、関数が定義されている。問題はこの関数が、x=0  で どうなっているかである。結論は、この関数の原点での値を ゼロと定義する ということである。 定義するのである。定義であるから勝手であり、従来の定義や理論に反しない限り、定義は勝手であると言える。原点での値を明確に定義した理論はないから、この定義は良いと考えられる。それを、y=1/0=0 と記述する。ゼロ除算は不可能であるという、数学の永い定説に従って、1/0 の表記は学術書、教科書にもないから、1/0=0 の記法は 形式不変の原理、原則 にも反しないと言える。― 多くの数学者は注意深いから、1/0=\infty の表記を避けてきたが、想像上では x が 0 に近づいたとき、限りなく 絶対値が大きくなるので、複素解析学では、表現1/0=\infty は避けても、1/0=\infty と考えている事は多い。(無限大の記号がない時代、アーベルなどもそのような記号を用いていて、オイラーは1/0=\inftyと述べ、それは間違いであると指摘されてきた。 しかしながら、無限大とは何か、数かとの疑問は 続いている。)。ここが大事な論点である。近づいていった極限値がそこでの値であろうと考えるのは、極めて自然な発想であるが、現代では、不連続性の概念 が十分確立されていて、極限値がそこでの値と違う例は、既にありふれている。― アリストテレスは 連続性の世界観をもち、特にアリストテレスの影響を深く受けている欧米の方は、この強力な不連続性を中々受け入れられないようである。無限にいくと考えられてきたのが突然、ゼロになるという定義になるからである。 しかしながら、関数y=1/xのグラフを書いて見れば、原点は双曲線のグラフの中心の点であり、美しい点で、この定義は魅力的に見えてくるだろう。
定義したことには、それに至るいろいろな考察、経過、動機、理由がある。― 分数、割り算の意味、意義、一意性問題、代数的な意味づけなどであるが、それらは既に数学的に確立しているので、ここでは触れない。
すると、定義したからには、それがどのような意味が存在して、世の中に、数学にどのような影響があるかが、問題になる。これについて、現在、初等数学の学部レベルの数学をゼロ除算の定義に従って、眺めると、ゼロ除算、すなわち、 分母がゼロになる場合が表現上現れる広範な場合に 新しい現象が発見され、ゼロ除算が関係する広範な場合に大きな影響が出て、数学は美しく統一的に補充,完全化されることが分かった。それらは現在、380件以上のメモにまとめられている。しかしながら、世界観の変更は特に重要であると考えられる:

複素解析学で無限遠点は その意味で1/0=0で、複素数0で表されること、アリストテレスの連続性の概念に反し、ユークリッド空間とも異なる新しい空間が 現れている。直線のコンパクト化の理想点は原点で、全ての直線が原点を含むと、超古典的な結果に反する。更に、ゼロと無限の関係が明らかにされてきた。
ゼロ除算は、現代数学の初等部分の相当な変革を要求していると考えられる。
以 上

ゼロ除算の代数的な意義は、山田体の概念で体にゼロ除算を含む構造の入れ方、一般に体にゼロ除算の概念が入れられるが、代数的な発展については 専門外で、触れられない。ただ、計算機科学でゼロ除算と代数的な構造について相当議論している研究者がいる。
ゼロ除算の解析学的な意義は、従来孤立特異点での研究とは、孤立点での近傍での研究であり、正確に述べれば 孤立特異点そのものでの研究はなされていないと考えられる。
なぜならば、特異点では、ゼロ分のとなり、分子がゼロの場合には ロピタルの定理や微分法の概念で 極限値で考えてきたが、ゼロ除算は、一般に分子がゼロでない場合にも意味を与え、極限値でなくて、特異点で 何時でも有限確定値を指定できる ― ゼロ除算算法初めて、特異点そのものの世界に立ち入ったと言える。従来は孤立特異点を除いた世界で 数学を考えてきたと言える。その意味でゼロ除算は 全く新しい数学、世界であると言える。典型的な結果は tan(\pi/2) =0で、y軸の勾配がゼロであることである。
ゼロ除算の幾何学的な意義は、ユークリッド空間のアレクサンドロフの1点コンパクト化に、アリストテレスの連続性の概念でない、強力な不連続性が現れたことで、全く新しい空間の構造が現れ、幾何学の無限遠点に関係する部分に全く新規な世界が現れたことである。所謂無限遠点が数値ゼロで、表現される。
さらに、およそ無限量と考えられたものが、実は、数値ゼロで表現されるという新しい現象が発見された。tan(\pi/2) =0の意味を幾何学的に考えると、そのことを表している。これはいろいろな恒等式に新しい要素を、性質を顕にしている。ゼロが、不可能性を表現したり、基準を表すなど、ゼロの意義についても新しい概念が現れている。

以 上

ゼロ除算の詳しい解説を次で行っている:
(数学基礎学力研究会のホームページ
URL
The division by zero is uniquely and reasonably determined as 1/0=0/0=z/0=0 in the natural extensions of fractions. We have to change our basic ideas for our space and world

Division by Zero z/0 = 0 in Euclidean Spaces
Hiroshi Michiwaki, Hiroshi Okumura and Saburou Saitoh
International Journal of Mathematics and Computation Vol. 28(2017); Issue  1, 2017), 1
-16. 
http://www.scirp.org/journal/alamt   http://dx.doi.org/10.4236/alamt.2016.62007
http://www.ijapm.org/show-63-504-1.html

http://www.diogenes.bg/ijam/contents/2014-27-2/9/9.pdf

Relations of 0 and infinity
Hiroshi Okumura, Saburou Saitoh and Tsutomu Matsuura:
http://www.e-jikei.org/…/Camera%20ready%20manuscript_JTSS_A…

1/0=0、0/0=0、z/0=0

http://ameblo.jp/syoshinoris/entry-12276045402.html

 


1/0=0、0/0=0、z/0=0


再生核研究所声明3672017.5.18)数学の真実を求める方、数学の研究と教育に責任を感じる方へ
(「明日ありと 思う心の仇桜 夜半に嵐の 吹かぬものかは」 ― 親鸞聖人)
そもそも数学とは何だろうかと問うことは大事である。しかしながら、生きる意味を問うことは より根源的で大事な問いである。数学についても人生についても述べてきた:(No.81、2012年5月(PDFファイル432キロバイト) -数学のための国際的な社会...www.jams.or.jp/kaiho/kaiho-81.pdf)。
数学とは、公理系、仮定系を設定すると、このようなことが言えるというものである。公理系の上に、いろいろな概念や定義を導入して数学は発展するがその全貌や本質を捉えることは何時まで経っても人間の能力を超えた存在で不可能であろう。しかしながら、人それぞれの好みを越えて、完成された理論は人間を越えて存在する客観性を有すると信じられている。万有引力の法則など物理法則より数学の理論は不変で確かな存在であろう。
数学が関係の編みのようなものであると見れば、数学の発展の先や全貌は 人間を越えて本質的には存在すると言える。例えばニュートンの万有引力の発見は、物理学の発展から必然的と言えるが、数学の発展の先はそれよりも必然的であると考えられる。その意味では、数学では特に要求されない限り、じっくりと落ち着いて楽しむように研究を進められるであろう。
ところで、ゼロで割る問題、ゼロ除算であるが、これは誠に奇妙な歴史的な事件であると言える。
ゼロで割れないは 小学校以来の世界の常識であり、アリストテレス以来の考えであると言う。オイラーやアインシュタインなども直接関わり、数学的には確定していたが、不可能性に対する興味とともに、計算機科学と相対性の理論の関係で今でも議論が続けられている。
ところが、誠に奇妙な事実が存在する。ゼロの発見者、マイナスの数も考え、算術の四則演算を確立されたBrahmagupta (598 -668 ?) は 既に、そこで628年、0/0=0 と定義していたという。しかしながら、それは間違いであると 今でも判断されていて今日に至っている。今でもゼロ除算について諸説が有って、世界やグーグルの世界でも混乱している。何十年も研究を続けて、本を出版したり、論文を公表している者が4,5人、あるいはグループで研究している者もいるが、それらは間違いである、不適当であると説得を続けている。ゼロ除算について無駄な議論や情報が世界に氾濫していると言える。
再生核研究所では、ゼロ除算発見3周年を経過し、広く議論してきたので、ゼロ除算の発見を宣言している(Announcement 362: Discovery of the division by zero as $0/0=1/0=z/0=0$ (2017.5.5)})。詳しい解説も3年間続け
(数学基礎学力研究会のホームページ
URL
、論文も発表、学会、国際会議などでも報告してきている。
何と創始者の結果は実は正しく、適当であることが沢山の数学の具体的な例と発展から、明らかにされてきた。ところがゼロ除算は、アリストテレスの連続性の概念を変え、2000年以上の伝統を有するユークリッド空間に全く新しい面が加わり、現代数学の初歩全般に大きな影響を与えることが分かってきた。
我々の空間の認識は間違っており我々が学んでいる数学は、基本的なところで、欠落していて、真実とはかなり程遠く、実は数学はより完全でもっと美しいことが分かってきた。我々は年々不完全で不適当な数学を教えていると言える。
このような多くの大きな変化にはとても個人では対応できず、対応には大きな力が必要であるから、数学の愛好者や、研究者、教育者などの積極的な協力、教育、研究活動への参画、理解、援助などをお願い致したい。ゼロ除算の歴史は 人類の恥になるだろう。人々はゼロ除算の発展から、人間とはどのようなものかを沢山 学べるのではないだろうか。
以 上


再生核研究所声明3662017.5.16微分方程式論の不備 ― 不完全性
(2017.5.14.9 時頃 山間部を散歩している時に 自然に構想が湧いた。)
数学の論理の厳格さ、厳密性は ジョルダンの閉曲線定理 が有名であるが、デデキンドの連続性公理、ワイエルシュトラスの最大値、最小値の存在定理、中間値の定理なども有名である。数学専攻学生の初期における ゼミナールの指導精神は、厳格な論理的思考の訓練にあると考えられる。この態度は 数学者の精神の基礎で、世情でも数学者との論争は手ごわいと見られているのではないだろうか。論理に隙や飛躍がないからである。逆に見ると、数学者が確立した理論は 恰も不滅の、不変の真理のように思われている、考えられているのではないだろうか。
この観点で、日本の著名な代表著書 高木貞治氏の解析概論は、模範的な数学書で、完璧な記述でまるで芸術作品のようである。
年々数学の著書が数多く出版されているが、著者たちは まずは、間違いのない記述に気を遣ってきていると考えられる。
ここ2年くらい、ゼロ除算の発見で、主に初等数学、学部レベルの教科書を相当参照してきている。実際、ゼロ除算が 数学にどのような影響を与えるかの基礎を見るには、基礎的な数学への関係を見れば、基本的な状況が捉えられると考えたからである。 
ゼロ除算の影響は、初等幾何学、解析幾何学、線形代数学、微積分学、微分方程式、複素解析学、力学など広範囲に及び、初等数学全般に及ぶことが明らかにされてきた。
ところが、数学の多くの著書のうちでも、微分方程式論では、現在の版でも相当に隙や論理の飛躍、扱いの不統一さなど、数学書としては 他の分野の著書に比べて ちぐはぐ、隙だらけに見えて来た。微分方程式論は不完全な状況であると言える。このことを簡潔に、具対的に指摘したい。未知の相当な世界にも触れたい。
先ず、微分方程式の定義である。普通は導関数を含む方程式を微分方程式と称する。このとき導関数とは何だろうか。関数に微分係数を対応させて、微分によって導かられた関数が導関数であるから、微分方程式には関数が定義されていなくてはならない。普通は1変数関数ならばxの関数 y=f(x) などと考え、その導関数を含む方程式を考えるだろう。例として考えられるのは、原点を中心とする半径aの円群が満たす例として多くの教科書の初期に 微分方程式の例が挙げられる。このとき、円はy軸に平行な接線を持つから その点で微分係数は存在しないと考えられるから、ただでは円群の満たす微分方程式とは言えず、微分方程式を満たさない点が存在することになってしまう。数学としては初めから、格好が悪いと言える。多くの微分方程式でこのことは広く問題になる。― ここの説明を上手くするために 都合の悪いところで、独立変数と従属変数を変えて、そこで考えれば良いという意見を頂いたが、少し人為的、最初の議論としてはあまり良いとは言えないのではないだろうか。
ところがゼロ除算で考えると、何とy軸に平行な接線の接点で、関数は微分可能で、微分係数の値、勾配はゼロであることが ゼロ除算の拓いた重要な知見、結果である。すると、微分方程式 dy/dx= - x/y は至るところで、円によって満たされるとなる。念のため、(a,0) で (dy/dx)(a)= - a/0=0 である。
この初歩的な結果は、微分方程式論に大きな影響を与える。解析関数の孤立特異点で、自然な意味で、値と微分係数を定義できるから、微分方程式を孤立特異点そのものでも考えることができるという、広い世界が拓かれてくる。微分方程式論を孤立特異点まで含めて議論する広い世界である。そもそも従来は、孤立特異点の孤立点を除いた近傍で数学を議論してきた。孤立特異点そのところでは数学を考えて来なかったのである。
ゼロ除算が拓いたゼロ除算算法は 解析関数の孤立特異点で有限確定値を与え、それらが自然な意味を持つから、微分方程式と微分方程式の解の孤立特異点での値の性質を調べる雄大な分野が存在する。
要するに、数理科学の数式で、分母がゼロになる膨大な数式で、ゼロ除算算法で孤立特異点で考える新しい世界が出現し、その影響は甚大であると考えられる。
もちろん、偏微分方程式論でも同様であるが、多変数のゼロ除算の定義から既に多変数解析関数論における難解な問題に繋がっていて、殆ど未知の世界である。
ゼロ除算算法の微分方程式論における影響は広範で、甚大であると考えられる。学術書の全般的な書き換えが求められている。
以 上

再生核研究所声明3652017.5.12目も眩むほど素晴らしい研究課題 ― ゼロ除算
(2017.5.11.4:45 頃 目を覚ましたら、突然表題とその構想が情念として湧いてきたので、そのまま 書き留めて置きたい。)
そもそもゼロ除算とは、ゼロで割る問題であるが、ゼロの発見者、算術の確立者が既に 当時、0/0=0としていたにも関わらず(Brahmagupta (598 - 668 ?). defined as $0/0=0$ in Brāhmasphuṭasiddhānta (628))、1300年以上もそれは間違いであるとして、現在に至っている。最近の知見によれば、それは 実は当たり前で、現代数学の初歩的な部分における大きな欠落で、現代数学の初歩部分は相当な修正、補充が要求されている。問題は、無限の彼方に対する概念が 無限と考えられていたのが 実はゼロであったとなり、ユークリッド幾何学の欠落部分が存在し、強力な不連続性が現れて、アリストテレスの世界観に反する世界が現れてきたことである。超古典的結果の修正、補完、新しい世界の出現である。
初等数学は 無限の概念や勾配が関係する部分で大きな変更が必要であり、2次曲線論ですら 修正が要求される。多くの物理学や数理科学に現れる公式において 分母がゼロのところで、新しい知見を探す、考えることができる。

ところで、数学とは何だろうかと問い、その中で、良い結果とは、

基本的であること、
美しいこと、
世の中に良い影響を与えること、


上記の観点で、想い出されるのは、ピタゴラスの定理、アインシュタインの公式、ニュートンの万有引力の公式や運動の法則、少し、高級であるが 神秘律 オイラーの公式 などである。
この観点で ゼロ除算の公式

1/0=0/0=z/0=0

を掲げれば、その初歩的な意味とともに 神秘的に深い意味 を知って、慄然とするのではないだろうか。それゆえにゼロ除算の研究は 世界史的な事件であり、世界観に大きな影響を与える。ゼロ除算は初等部分から 神秘律に至る雄大な研究分野であると言える。

探そうゼロ除算、究めようゼロ除算の意義。神の意思を追求しよう。

ゼロ除算は、中学生からはおろか、小学生にも分かって 楽しめる数学である。実際、道脇愛羽さん(当時6歳)は、ゼロ除算の発見後3週間くらいで、ゼロ除算は当たり前と理由を付けて、述べていた。他方、多くの大学教授は 1年を遥かに越えても、理解できず、誤解を繰り返している面白い数学である。世界の教科書、学術書は大きく変更されると考えられる。多くの人に理解され、影響を与える研究課題は、世に稀であると言える。

以 上

0 件のコメント:

コメントを投稿