「東大に合格するAI」が実現不可能な数学的理由
『ＡＩ vs. 教科書が読めない子どもたち』
ＡＩはどこまで
進化し続けるのか
書店で、テレビで、ツイッターで、ＡＩの二文字が踊っている。創造性あふれる小説の執筆や複雑なビジネスオペレーションの効率化など、これまで人間にしかできないと思われていた知的活動を、最新のＡＩが軽々と成し遂げたことを伝えるニュースは引きも切らない。
特に、将棋や囲碁のトッププロをＡＩが打ち破ったニュースは驚きとともに世界に伝えられた。ウサイン・ボルトより早く走る車やそろばん名人を凌駕する計算能力を示すコンピュータは当たり前のものとなったけれど、将棋や囲碁のように複雑でクリエイティビティが要求されるゲームは、大きな脳を持つホモ・サピエンスの専売特許のはずだった。そんな得意分野における人類最高峰がＡＩに敗れてしまったのだ。
ＡＩブームは過熱するばかり。今後もＡＩは成長を続けることで人間の知能を追い越すというシンギュラリティ理論や、ＡＩが人間に牙をむくことになるというＡＩ脅威論も広まっている。果たして、ＡＩはどこまで進化し続けるのか、現時点そして近い未来に人類に何をもたらすのか、そもそもＡＩとは何なのか。
本書『ＡＩ vs. 教科書が読めない子どもたち』は、未曽有のＡＩブームの中で浮かび上がる疑問符に、実際に著者が率いたプロジェクトの過程と結果をベースとして答えを出していく。数理論理学を専門とする著者は、ＡＩが持つ原理的な限界も丁寧に解説しながら、わたしたちがＡＩの何を恐れるべきかを的確に示してくれる。何より興味を惹かれるのは、ＡＩについての研究を進めていく中で、わたしたち人間の知られざる弱点が明らかになっていく過程だ。人間の外側を見つめることで、人間の輪郭がよりはっきりと浮かび上がってくる。
2011年に始まった「ロボットは東大に入れるか」という人工知能プロジェクト（通称「東ロボくん」）と、それに並行して行った日本人の読解力についての大規模調査・分析を行った経験から著者はＡＩをめぐる未来を以下のように要約する。http://diamond.jp/articles/-/162743
とても興味深く読みました：ゼロ除算の発見4周年を超えました：
再生核研究所声明 420(2018.3.2): ゼロ除算は正しいですか，合っていますか、信用できますか － 回答
ゼロ除算に 興味を抱いている方の 率直な 疑念です。大きな国際会議で、感情的になって 現代の数学を破壊するもので 全く認められないと発言された方がいる。現代初等数学には基本的な欠陥があって、我々の空間の認識は ユークリッド以来の修正が求められ、初等数学全般の再構成が要求されていると述べている。それで、もちろん、慎重に 慎重に対応しているのは当然である。
本来 数学者は 論理に厳格で 数学の世界ほど 間違えの無い世界は無いと言えるのではないだろうか。 実際、一人前の数学者とは、独自の価値観を有し、論理的な間違いはしない者である と考えられているのではないだろうか。２０００年を越える超古典的な数学に反した 新しい世界が現れたので、異常に慎重になり、大丈夫か大丈夫かと４年間を越えて反芻して来た（再生核研究所声明 411(2018.02.02): ゼロ除算発見4周年を迎えて）。 そこで、ゼロ除算の成果における信頼性を客観的に 疑念に対する回答として纏めて置こう。これらは、貴重な記録になると考えられる。
まず、研究成果は 3年半を越えて、広く公開している：
数学基礎学力研究会 サイトで解説が続けられている：http://www.mirun.sctv.jp/~suugaku/
また、ohttp://okmr.yamatoblog.net/ に 関連情報を公開している。
ゼロ除算の研究は、内外の研究者に意見を求められながら共同で進め、１２編を越える論文を出版確定にしている。日本数学会では６期３年間を越えて関係講演を行い、成果を発表して来た。 またその際、ゼロ除算の解説冊子（2015.1.14付け）を１０００部以上広く配布して意見を求めてきたが、論理的な不備などはどこからも指摘されていない。ここ４年間海外の関係専門家と２５０以上のメールで議論してきた（ある人がそう述べてきた：2018年2月27日 18:45 Since then I have received about 250 messages from you about it. Unbelievable! :2018年2月27日 18:45）が 論理的な不備は指摘されなく、関係者の諒解（理解）が付いていると判断されている。逆に他の理論については 全て具体的に批判し、良くないと述べている。50カ国２００名以上参加の大きな国際会議に 全体講演者として招待され、講演を行い、かつ論文がその会議禄に２編Springer社から出版される。公開していたゼロ除算の総合的な研究著書原案154ページに対して、イギリスの出版社が出版を勧め、外部審査、社内審査を終えて、著書の出版を決定している。
ゼロ除算を裏付ける知見は 初等数学全般から７００件を超え、公開している。共著者として論文執筆に参加している人は、代表者以外内外８名である。
以上の状況は ゼロ除算の数学的な信用性を裏付けていると考えるが、如何であろうか。
以 上
再生核研究所声明１８８（2014.12.1５）ゼロで割る（ゼロ除算）から観えてきた世界
（１２月１０日１６時 論文精読を一通り通読したら無性に書きたくなって始めたものである）
これは声明１６６の延長にあるので、まず、その要点を振り返っておこう： ―
（１２月１０日１６時 論文精読を一通り通読したら無性に書きたくなって始めたものである）
これは声明１６６の延長にあるので、まず、その要点を振り返っておこう： ―
再生核研究所声明１６６（2014.6.20）ゼロで割る（ゼロ除算）から学ぶ 世界観：
ゼロ除算の新しい結果とは 簡単に述べれば、分数、割り算の意味を自然に拡張すると、あるいは割り算の固有の意味から、何でもゼロで割れば ゼロになると言うこと、そして、
関数 y = 1/x のグラフは、原点で ゼロである、すなわち、 1/0=0 である。複素解析学では、無限遠点が数値で０、すなわち、原点に一致している ということである。驚くべきことは、原点における 強力な不連続性にある。これらの現象は奇妙にも、ユニバースの普遍的な現象として 惹きつけるものがある。永遠の彼方は、どこまでも遠く行くが、その先は、突然、現在に戻っている。始点と終点の一致、無限とゼロの一致である。理想的な2つの質点間に働く、ニュートンの万有引力F は ２つの質量をm、M、万有引力定数をGとすると、距離をｒとすれば
F = G mM/r^2。
ｒをゼロに近づければ 正の無限に発散するが、ｒが ゼロに成れば突然、ゼロである。2つの質点が重なれば、力は働かず、安定しないように見えるが、2つが分離すれば、大きな力に逆らう必要が有り、実は安定していると説明できる。ゼロと無限の裏腹の関係と捉えることができる。これは意外に、2元論における 対立するもの一般における裏腹の関係と捉えることができる： 生と死、戦争と平和、男と女、表と裏、すなわち、2元論― 神は２を愛し給う：
ゼロ除算の新しい結果とは 簡単に述べれば、分数、割り算の意味を自然に拡張すると、あるいは割り算の固有の意味から、何でもゼロで割れば ゼロになると言うこと、そして、
関数 y = 1/x のグラフは、原点で ゼロである、すなわち、 1/0=0 である。複素解析学では、無限遠点が数値で０、すなわち、原点に一致している ということである。驚くべきことは、原点における 強力な不連続性にある。これらの現象は奇妙にも、ユニバースの普遍的な現象として 惹きつけるものがある。永遠の彼方は、どこまでも遠く行くが、その先は、突然、現在に戻っている。始点と終点の一致、無限とゼロの一致である。理想的な2つの質点間に働く、ニュートンの万有引力F は ２つの質量をm、M、万有引力定数をGとすると、距離をｒとすれば
F = G mM/r^2。
ｒをゼロに近づければ 正の無限に発散するが、ｒが ゼロに成れば突然、ゼロである。2つの質点が重なれば、力は働かず、安定しないように見えるが、2つが分離すれば、大きな力に逆らう必要が有り、実は安定していると説明できる。ゼロと無限の裏腹の関係と捉えることができる。これは意外に、2元論における 対立するもの一般における裏腹の関係と捉えることができる： 生と死、戦争と平和、男と女、表と裏、すなわち、2元論― 神は２を愛し給う：
19/03/2012 - ここでは、数学とは何かについて考えながら、数学と人間に絡む問題などについて、幅広く 面白く触れたい。
における 2元の奇妙な関係である。
他方、ゼロ除算は、爆発や衝突における強力な不連続性を表現しているとして、論文で触れられているが、まこと、ユニバースの普遍的な現象として そのような強力な不連続性が存在するのではないだろうか。糸でも切れる瞬間と切れるまでの現象、物体でも近づいている場合と合体した場合では、全然違う現象として考えられ、強力な不連続性は 世に見られる普遍的な現象ではないだろうか。
生も死も表裏一体である、勝利も敗北も、喜びも苦しみも、幸せも不幸も、自由も束縛も、愛も憎しみも、等々表裏一体であるとの世界観が 視野と心の在りように新しい世界観をもたらすと考えられる。―
他方、ゼロ除算は、爆発や衝突における強力な不連続性を表現しているとして、論文で触れられているが、まこと、ユニバースの普遍的な現象として そのような強力な不連続性が存在するのではないだろうか。糸でも切れる瞬間と切れるまでの現象、物体でも近づいている場合と合体した場合では、全然違う現象として考えられ、強力な不連続性は 世に見られる普遍的な現象ではないだろうか。
生も死も表裏一体である、勝利も敗北も、喜びも苦しみも、幸せも不幸も、自由も束縛も、愛も憎しみも、等々表裏一体であるとの世界観が 視野と心の在りように新しい世界観をもたらすと考えられる。―
ゼロ除算の、無限とゼロの微妙な関係に驚嘆している間に、空がどんどん晴れてくるように新しい世界の、視野がどんどん広がり、驚きの感情が湧いている。言わば、明暗が、両極端のように、明、暗と分けられたものではなく、微妙な密接な、関係である。その内容は広がりと深さを持っていて簡単に表現できるものではない。また、みえた世界をそのまま表現すれば、現在でもなお、天動説が地動説に変わったときのように、また、非ユークリッド幾何学が出現したときのように 世は騒然となるだろう。そこで、注意深く、各論を、断片を 折をみて、表現しよう。
そこで、初回、生命の本質的な問題、生と死の問題をすこし触れたい。
食物連鎖の生物界の冷厳な事実、食われるものと食うものの立場。声明３６で大きな命の概念で全体を捉えようとしたが、それらは殆ど等価の立場ではないだろうか。実際、猫がねずみをくわえて誇らしげに通りすぎていくのを見た。ところが奇妙にも、ねずみは歓喜の喜びにひたって悠然としてくわえられているようにみえた。自然の理。蛇が燕の巣を襲い、全滅させられたが、蛇は悠然と上手くいきました、ごめんなさいというような表情で消えていった。襲われた燕たちは一瞬で魔神に掛かったように気を失い、蛇に飲み込まれてしまった。少し、経つと元気に巣立ち厳しい自然の中を南国まで飛んで行っていろいろ苦労するよりは、蛇のお腹で 安らかな終末の方がよほどましだというような情感を覚えた。もちろん、ヒナを襲われた親鳥は切なく天空を舞っていたが、やがて、ヒナたちは最も良い生涯を終えたと、本能的に感じて、新しい生命活動に、励み出している。このようなことを何万年と繰り返してきたのが、燕と蛇の関係である。暗（あん）という面には ちょうど明（めい）と同じような明るい面があるのではないだろうか。明暗は対立概念ではなくて、微妙に調和がとれているのではないだろうか。ユニバースにおける全体の調和を観、述べている。人類が生命のただ延長を志向しているとすれば、それは、古い世界観に基づく無明の世界だろう。夜明けを迎えた、在るべき世界観とは 生も死も殆ど等価であり、共に愛すべきものであるということである。在るも良い、消えるも良い。ゼロ除算の驚きは そのような感性を育てているように感じられる。死からの開放に寄与するだろう。生命の誕生は素晴らしく、喜びと夢が湧いてきて、大きな光が差してくるようである。世界が開かれてくる。われわれの終末も似たようなものではないだろうか。大きな世界、私たちをこの世に送り込んだものの 大きな愛に満ちた世界にとけこんでいくようなものではないだろうか。この意味で、あらゆる生命は 大きな愛に包まれて、 支えられていると感じられるだろう。これは神の予感を述べている。 私たちは、愛されている（愛の定義は 声明１４６で与えられ、神の定義は 声明１２２と１３２で与えられている。）。
以 上
文献：
M. Kuroda, H. Michiwaki, S. Saitoh, and M. Yamane,
New meanings of the division by zero and interpretations on 100/0=0 and on 0/0=0, Int. J. Appl. Math. Vol. 27, No 2 (2014), pp. 191-198, DOI: 10.12732/ijam.v27i2.9.
S. Saitoh, Generalized inversions of Hadamard and tensor products for matrices, Advances in Linear Algebra & Matrix Theory. Vol.4 No.2 2014 (2014), 87-95. http://www.scirp.org/journal/ALAMT/
文献：
M. Kuroda, H. Michiwaki, S. Saitoh, and M. Yamane,
New meanings of the division by zero and interpretations on 100/0=0 and on 0/0=0, Int. J. Appl. Math. Vol. 27, No 2 (2014), pp. 191-198, DOI: 10.12732/ijam.v27i2.9.
S. Saitoh, Generalized inversions of Hadamard and tensor products for matrices, Advances in Linear Algebra & Matrix Theory. Vol.4 No.2 2014 (2014), 87-95. http://www.scirp.org/journal/ALAMT/
再生核研究所声明 411(2018.02.02): ゼロ除算発見4周年を迎えて
ゼロ除算100/0=0を発見して、４周年を迎える。 相当夢中でひたすらに その真相を求めてきたが、一応の全貌が見渡せ、その基礎と展開、相当先も展望できる状況になった。論文や日本数学会、全体講演者として招待された大きな国際会議などでも発表、著書原案１５４ページも纏め（http://okmr.yamatoblog.net/）基礎はしっかりと確立していると考える。数学の基礎はすっかり当たり前で、具体例は７００件を超え、初等数学全般への影響は思いもよらない程に甚大であると考える： 空間、初等幾何学は ユークリッド以来の基本的な変更で、無限の彼方や無限が絡む数学は全般的な修正が求められる。何とユークリッドの平行線の公理は成り立たず、すべての直線は原点を通るというが我々の数学、世界であった。y軸の勾配はゼロであり、\tan(\pi/2) =0 である。 初等数学全般の修正が求められている。
数学は、人間を超えたしっかりとした論理で組み立てられており、数学が確立しているのに今でもおかしな議論が世に横行し、世の常識が間違っているにも拘わらず、論文発表や研究がおかしな方向で行われているのは 誠に奇妙な現象であると言える。ゼロ除算から見ると数学は相当おかしく、年々間違った数学やおかしな数学が教育されている現状を思うと、研究者として良心の呵責さえ覚える。
複素解析学では、無限遠点はゼロで表されること、円の中心の鏡像は無限遠点では なくて中心自身であること、ローラン展開は孤立特異点で意味のある、有限確定値を取ることなど、基本的な間違いが存在する。微分方程式などは欠陥だらけで、誠に恥ずかしい教科書であふれていると言える。 超古典的な高木貞治氏の解析概論にも確かな欠陥が出てきた。勾配や曲率、ローラン展開、コーシーの平均値定理さえ進化できる。
ゼロ除算の歴史は、数学界の避けられない世界史上の汚点に成るばかりか、人類の愚かさの典型的な事実として、世界史上に記録されるだろう。この自覚によって、人類は大きく進化できるのではないだろうか。
そこで、我々は、これらの認知、真相の究明によって、数学界の汚点を解消、世界の文化への貢献を期待したい。
ゼロ除算の真相を明らかにして、基礎数学全般の修正を行い、ここから、人類への教育を進め、世界に貢献することを願っている。
ゼロ除算の発展には 世界史がかかっており、数学界の、社会への対応をも 世界史は見ていると感じられる。 恥の上塗りは世に多いが、数学界がそのような汚点を繰り返さないように願っている。
人の生きるは、真智への愛にある、すなわち、事実を知りたい、本当のことを知りたい、高級に言えば神の意志を知りたいということである。そこで、我々のゼロ除算についての考えは真実か否か、広く内外の関係者に意見を求めている。関係情報はどんどん公開している。
４周年、思えば、世の理解の遅れも反映して、大丈夫か、大丈夫かと自らに問い、ゼロ除算の発展よりも基礎に、基礎にと向かい、基礎固めに集中してきたと言える。それで、著書原案ができたことは、楽しく充実した時代であったと喜びに満ちて回想される。
以 上
List of division by zero:
\bibitem{os18}
H. Okumura and S. Saitoh,
Remarks for The Twin Circles of Archimedes in a Skewed Arbelos by H. Okumura and M. Watanabe, Forum Geometricorum.
Saburou Saitoh, Mysterious Properties of the Point at Infinity、
arXiv:1712.09467 [math.GM]
arXiv:1712.09467 [math.GM]
Hiroshi Okumura and Saburou Saitoh
The Descartes circles theorem and division by zero calculus. ２０１７．１１．１４
L. P. Castro and S. Saitoh, Fractional functions and their representations, Complex Anal. Oper. Theory {\bf7} (2013), no. 4, 1049-1063.
M. Kuroda, H. Michiwaki, S. Saitoh, and M. Yamane,
New meanings of the division by zero and interpretations on $100/0=0$ and on $0/0=0$, Int. J. Appl. Math. {\bf 27} (2014), no 2, pp. 191-198, DOI: 10.12732/ijam.v27i2.9.
T. Matsuura and S. Saitoh,
Matrices and division by zero z/0=0,
Advances in Linear Algebra \& Matrix Theory, 2016, 6, 51-58
Published Online June 2016 in SciRes. http://www.scirp.org/journal/alamt
\\ http://dx.doi.org/10.4236/alamt.2016.62007.
T. Matsuura and S. Saitoh,
Division by zero calculus and singular integrals. (Submitted for publication).
T. Matsuura, H. Michiwaki and S. Saitoh,
$\log 0= \log \infty =0$ and applications. (Differential and Difference Equations with Applications. Springer Proceedings in Mathematics \& Statistics.)
H. Michiwaki, S. Saitoh and M.Yamada,
Reality of the division by zero $z/0=0$. IJAPM International J. of Applied Physics and Math. 6(2015), 1--8. http://www.ijapm.org/show-63-504-1.html
H. Michiwaki, H. Okumura and S. Saitoh,
Division by Zero $z/0 = 0$ in Euclidean Spaces,
International Journal of Mathematics and Computation, 28(2017); Issue 1, 2017), 1-16.
H. Okumura, S. Saitoh and T. Matsuura, Relations of $0$ and $\infty$,
Journal of Technology and Social Science (JTSS), 1(2017), 70-77.
S. Pinelas and S. Saitoh,
Division by zero calculus and differential equations. (Differential and Difference Equations with Applications. Springer Proceedings in Mathematics \& Statistics).
S. Saitoh, Generalized inversions of Hadamard and tensor products for matrices, Advances in Linear Algebra \& Matrix Theory. {\bf 4} (2014), no. 2, 87--95. http://www.scirp.org/journal/ALAMT/
S. Saitoh, A reproducing kernel theory with some general applications,
Qian,T./Rodino,L.(eds.): Mathematical Analysis, Probability and Applications - Plenary Lectures: Isaac 2015, Macau, China, Springer Proceedings in Mathematics and Statistics, {\bf 177}(2016), 151-182. (Springer) .
0 件のコメント:
コメントを投稿