チャットGPTをしのぐ？日本発の「サカナAI」ってなんだ?

チャットGPTをしのぐ？日本発の「サカナAI」ってなんだ?【WBS】

https://news.yahoo.co.jp/articles/f2c955e86e54dd4b199ac96be481cff7222f0039

とても興味深く読みました。

再生核研究所声明 743（2024.1.25) ゼロ除算、最早新世界は覗けない、入れない

永い議論をして来た指導的な数学者とゼロ除算の議論を公開で行なったが、下記のメールで議論は当分打ち切りと、共同研究者　奥村博氏と　せざるを得なくなった：

Dear Saburou,

I am surprised to have your mail again. I am happy and fully convinced with the great work of scholars Brahmagupta, Bhaskara II, Mahavira, Aristotle, Cauchy, Weierstrass, Euler, Newton, Bernoulli, and their numerous followers. They laid the correct foundation of Mathematics by showing that 0/0 is indeterminant, i.e., it is defined only in the limiting sense.

Best,

NOT LIMITTING!!!!

I attached one typical evidence.

With great pleasure,

Sincerely yours,

Saburou Saitoh

2024.1.15.8:30

ゼロ除算の議論は仲間と数年公開で議論してきたが、そこでは　彼は始終我々の立場を弁護してきていて、今では殆との方が沈黙に至っていただけに　最近の上記の交信には驚かされている：　いやー、
意外にも、なにも分かっていない方でしたね。奥村博

そこで、飛びの現象、不連続性の概念　が世の理解を妨げている主因だと実感させられた：

再生核研究所声明 737（2024.1.9) :　まずい用語、虚数とゼロ除算

再生核研究所声明738（2024.1.16) : ゼロ除算の理解の難しさ、ゼロ除算の奇怪な事実

更に多くの指導的な数学者は、余りにも大きな変化、新世界であるので、そのような世界の研究には入れないと考えているように考えて来た。　今更　新しい世界の探検には　入れない。

そのような時、次のような情報を得た：

２０２４．１．２２．８：５０

Division by zero in type theory: a FAQ

Posted on July 5, 2020 by xenaproject

Hey! I heard that Lean thinks 1/0 = 0. Is that true?

Yes. So do Coq and Isabelle and many other theorem provers.

Doesn’t that lead to contradictions?

No. It just means that Lean’s / symbol doesn’t mean mathematical division. Let denote the real numbers. Let’s define a function by if and .

Does making that definition give us a contradiction in mathematics? No, of course not! It’s just a definition. Lean uses the symbol / to mean . As does Coq, Isabelle etc. Lean calls it real.div by the way, not .

But doesn’t that lead to confusion?

It certainly seems to lead to confusion on Twitter. But it doesn’t lead to confusion when doing mathematics in a theorem prover. Mathematicians don’t divide by 0 and hence in practice they never notice the difference between real.div and mathematical division (for which 1/0 is undefined). Indeed, if a mathematician is asking what Lean thinks 1/0 is, one might ask the mathematician why they are even asking, because as we all know, dividing by 0 is not allowed in mathematics, and hence this cannot be relevant to their work. In fact knowing real.div is the same as knowing mathematical division; any theorem about one translates into a theorem about the other, so having real.div is equivalent to having mathematical division.

https://xenaproject.wordpress.com/2020/07/05/division-by-zero-in-type-theory-a-faq/
What is the Xena project?

My name’s Kevin Buzzard and I’m a professor of pure mathematics at Imperial College in London, specialising in arithmetic geometry and the Langlands program, a branch of modern algebraic number theory. I believe that digitising mathematics is important, for the simple reason that digitising anything enables you to do new things with it.

Currently the computer proof systems we have are not good enough to tell mathematical researchers anything new about the p-adic Langlands program or other trendy Fields Medally things, so the top mathematical researchers tend not to be interested in them. However I am not so crazy to believe that they will never be useful to us, and the point of the Xena project is to make it happen sooner.

英語から翻訳-ケビン・マーク・バザードは英国の数学者であり、現在はロンドンのインペリアル・カレッジで純粋数学の教授を務めています。彼は数論幾何学とラングランズプログラムを専門としています。 ウィキペディア（英語)

原文を見る

学歴： ケンブリッジ大学、 トリニティ・カレッジ

映画： Thinking Space

受賞歴： ホワイトヘッド賞 (2002年)、 ベリック賞 (2008年)

学術アドバイザー： リチャード・テイラー

我々はIsabelleがゼロ除算1/0=0/0=0その他の結果を保証している事実と関係情報をJose Manuel Rodriguez Caballero

から得ていたが　上記に　Yes. So do Coq and Isabelle and many other theorem provers.

と相当信頼される数学者によって述べられていることが分かる。（尚、上記論争はJose氏の検証報告の後　速やかに収束した事実が存在する）。

他方、Google は　ゼロ除算について　２０２４．１．２３．２１：２０：　

生成 AI は試験運用中です。 詳細

ゼロ除算とは、ある数を0で割ることです。数学では定義できない計算と解釈され、コンピュータ上では実行不能としてエラーを生じたり、無限大を表す特殊な値を結果とすることがあります。

ゼロ除算

Wikipedia

https://ja.wikipedia.org › wiki › ゼロ除算

ゼロ除算（ゼロじょさん、0除算、英語: division by zero）とは、0で除す割り算のことである。このような除算は除される数をaとするならば、形式上は a/0と書くことが .

となっているが、これは下記のように出ていたことが、　出たり変わったりしていて、

今は検討中のようである。正規に、真相を明かにするように要求している：

Google　はゼロ除算について、　情報がコロコロ変わっている。今朝は下記のように、1/0=0/0=0　ゼロ除算は可能か　となっている。当然真実は生き残り、膨大な記録は消えて行くだろう。　教科書，学術書は　変更されなければならない。

２０２３．１２．３１．６：１１

ゼロ除算

Wikipedia

https://ja.wikipedia.org › wiki › ゼロ除算

ゼロ除算（ゼロじょさん、0除算、英語: division by zero）とは、0で除す割り算のことである。このような除算は除される数をaとするならば、形式上は a/0と書くことが ...

関連する質問

0は除算できないのはなぜ？

0による除算とは何ですか？

ゼロ除算は可能か？

ゼロ除算は可能で、正解はゼロです。何を0で割ってもゼロです。2022/04/22

linkedin.com

https://jp.linkedin.com › pulse › ゼロ除算は可能で正解...

検索: ゼロ除算は可能か？

ゼロ除算の不定は？

0の掛け算 何年生？

ゼロ除算は可能で、正解はゼロです。何を0で割ってもゼロです。

ゼロ除算の対応は？

ゼロに対応する点は無限遠点で、1/0=∞ と考えられてきた。オイラー、アーベル、リーマンの流れである。ところが、ゼロ除算は1/0=0 で、実は無限遠点はゼロに対応していることが確認された。2022/04/22

ゼロ除算は可能で、正解はゼロです。何を0で割ってもゼロです。

ゼロ除算は可能か？

現在 Google　でゼロ除算を検索すると、古い当たり前のことが　出て来る。

そこで　図をみると楽しい、矛盾したことが　沢山出て居る。

矛盾したことが　世に反乱している。

社会的に　数学に責任を有する機関は　無いのでしょうか。

世に矛盾がはびこり、混乱している　ゼロ除算

２０２４．１．１３．８：５７

同じくゼロ除算算法をみると、ゼロ除算の内容と　矛盾している。

世の混乱を　そんなに永く野放しにしていて良いものだろうか。

我々は　現代数学は欠陥に満ち、恥ずかしいものであると述べ、　

数学界の在りようも可笑しいとしている。

このような状況があるのを見て、奥村氏と我々は　世界の権威ある機関の認知を正規に要求する事とした。しかし、数学界を代表する方々は　目もくらむような高等数学の研究者の関係者で　初歩数学に対する思いに心がゆかず、事の重要性を認識されないのではないかと畏れている。　しかし、どんどんあらゆる手段を用いて　世の理解を求めて行く事としている。

Coqはフランスの、

Leanは　アメリカの関係、大きなソフト会社であることが分かった。他にも多く有ると述べられている。そこで、国際的な競争関係が激化しているようだ。マル秘で適切な回答が得られない。　Isabelle　はイギリスとドイツの連携の巨大なシステム。

１９８０年代から1/0=0/0=0を認識していたという。

彼らの分数　f(x,y) =x/y　の定義と我々の拡張分数、割り算の定義は　同じである。　我々は高橋の一意性定理によって動機付けや山田体の構成で　そう宣言した。ゼロ除算算法から基本性質を導いている。上記検証は我々の理論を保証している。　沢山されているようである。２０２４．１．２４．２０：３４　　　　　　　　　　　　　　　　　　　

以　上

彼らの分数　f(x,y) =x/y　の定義と我々の拡張分数、割り算の定義は　同じである。　我々は高橋の一意性定理によって動機付けや山田体の構成で　そう宣言した。ゼロ除算算法から基本性質を導いている。上記検証は我々の理論を保証している。　

沢山されているようである。２０２４．１．２４．２０：３４

Isabelle20240124

Division by zero in type theory: a FAQ

Posted on July 5, 2020 by xenaproject

Hey! I heard that Lean thinks 1/0 = 0. Is that true?

Yes. So do Coq and Isabelle and many other theorem provers.

Doesn’t that lead to contradictions?

No. It just means that Lean’s / symbol doesn’t mean mathematical division. Let denote the real numbers. Let’s define a function by if and . Does making that definition give us a contradiction in mathematics? No, of course not! It’s just a definition. Lean uses the symbol / to mean . As does Coq, Isabelle etc. Lean calls it real.div by the way, not .

But doesn’t that lead to confusion?

It certainly seems to lead to confusion on Twitter. But it doesn’t lead to confusion when doing mathematics in a theorem prover. Mathematicians don’t divide by 0 and hence in practice they never notice the difference between real.div and mathematical division (for which 1/0 is undefined). Indeed, if a mathematician is asking what Lean thinks 1/0 is, one might ask the mathematician why they are even asking, because as we all know, dividing by 0 is not allowed in mathematics, and hence this cannot be relevant to their work. In fact knowing real.div is the same as knowing mathematical division; any theorem about one translates into a theorem about the other, so having real.div is equivalent to having mathematical division.

沢山されているようである。２０２４．１．２４．２０：３４

Coqはフランスの、

Leanは　アメリカの関係、大きなソフト会社であることが分かった。他にも多く有ると述べられている。そこで、国際的な競争関係が激化しているようだ。マル秘で適切な回答が得られない。　

Isabelle　はイギリスとドイツの連携の巨大なシステム。

１９８０年代から1/0=0を認識していたという。

Leanは　プログラミング言語および証明支援系(theorem prover)（英語版）である。

帰納型（英語版）を伴うCalculus of constructions（英語版）に基づく。

解説[編集]

LeanプロジェクトはGitHubでホストされているオープンソース（英語版）・プロジェクトである。2013年にMicrosoft ResearchのLeonardo de Mouraによって立ち上げられた^[1]。

https://ja.wikipedia.org/wiki/Lean_(%E8%A8%BC%E6%98%8E%E3%82%A2%E3%82%B7%E3%82%B9%E3%82%BF%E3%83%B3%E3%83%88)

The Coq Proof Assistant: Welcome!

Coqは、証明支援システムの一つ。Coqの核はプログラミング言語Gallina（英語版）を用いる。フランス国立情報学自動制御研究所のPI.R2チーム(PPS研究所内にある)が、エコール・ポリテクニーク、フランス国立工芸院、パリ第7大学、パリ第11大学と(かつてリヨン高等師範学校とも)共同して開発している。Hugo Herbelinが事実上の開発代表者である。

https://ja.wikipedia.org/wiki/Coq

The Isabelle^[a] automated theorem prover is a higher-order logic (HOL) theorem prover, written in Standard ML and Scala. As an LCF-style theorem prover, it is based on a small logical core (kernel) to increase the trustworthiness of proofs without requiring — yet supporting — explicit proof objects.Isabelle is available inside a flexible system framework allowing for logically safe extensions, which comprise both theories as well as implementations for code-generation, documentation, and specific support for a variety of formal methods. It can be seen as an IDE for formal methods. In recent years, a substantial number of theories and system extensions have been collected in the Isabelle Archive of Formal Proofs (Isabelle AFP)^[2]

https://en.wikipedia.org/wiki/Isabelle_(proof_assistant)

If division by Zero were possible,then the result would exceed every integer

http://www.fen.bilkent.edu.tr/~franz/M300/zero.pdf　　　4/6

If division by Zero were possible,then the result would exceed every integer. An Early Reference to Division by Zero 　C. B. Boyer：4/6.

2023年11月24日 11時07分ソフトウェア

OpenAIが4度目のブレイクスルーとなる数学ができるAI「Q*(キュースター)」で汎用人工知能開発の飛躍を目指す、

アルトマンCEO解任騒動の一因か

https://gigazine.net/news/20231124-open-ai-q-star/#google_vignette

イサベルホルは、相当進んでいるのではないでしょうか。

初めて飛行機を作って乗った方、車を初めて作って乗った方を見たとき、人はどうして今日のような時代を迎えるだろうと想像できたでしょうか。ゼロ除算の世界は　真に新しい世界、その世界を覗かないで　どうしてゼロ除算の世界について想像したり、語れるでしょうかhttps://ameblo.jp/syoshinoris/entry-12490439836.html

ゼロ除算は、　実は　ゼロの意味　からも当たり前です：
ゼロで割ることは　割らないこと、したがって　割り当てられた数は無く、ゼロ。ゼロには、しないこと、できないことを表す　意味がある。
ゼロで割ることは　割らないこと、したがって　割り当てられた数は無く、ゼロ。ゼロには、しないこと、できないことを表す　意味がある。　ゼロ円あげるは、あげないことですね。ゼロ回施行は、しないことですね。　

時速ゼロｋｍで走るは　止まっていて　走らないことを意味しますね。ですから、ゼロの意味を

https://ameblo.jp/syoshinoris/entry-12680138080.html

何故ゼロ除算が不可能であったか理由

１　割り算を掛け算の逆と考えた事

２　極限で考えようとした事

３　教科書やあらゆる文献が、不可能であると書いてあるので、みんなそう思った。

Matrices and Division by Zero z/0 = 0

http://file.scirp.org/pdf/ALAMT_2016061413593686.pdf

「マイクロソフト」「Google」「Amazon」AI三つ巴戦の行方は？　超絶進化で仕事は奪われサイバー犯罪も激増？https://news.yahoo.co.jp/articles/78d81b626b1ead633347f036e78d32db918f91eb

キラー問題もスラスラ…「韓国製数学ＡＩ」、ＣｈａｔＧＰＴ抜き世界評価１位

https://news.yahoo.co.jp/articles/7bf80224fc9de6702d7540c6a78d3bd693619106

ゼロ除算の５W５H：

When：　いつ　2014年2月2日

Where：　どこで　アヴェイロ大学　（ポルトガル）

Who：　だれが　再生核研究所

What：　何を　0で割れないとされていたゼロ除算が、0で割れる考えがある事を発見した。

Why：　なぜ　 YAHOO知恵袋の質問に答えた際に考えた。

How：どのように　永い間研究してきた結果から、実は　当たり前であること　に気が付いた。

HOW MUCH:　60兆円の価値です。

HOW MANY：　50億の人　（を1000年も引き付ける数学）小学生以上に影響を与える。ゼロで割れるようになった。

HOW LONG：　1000年以上　人類終末まで　不完全な四則演算　を完成させたから。ゼロ除算算法が　数学の基礎になる。

HOWinFUTURE：　数学と世界観の基礎になる。ゼロ除算算法が　数学の基礎になる。また、人間を自ら知らしめる素材になる。

２０２４．１．１４．８：５８

Institute of Reproducing Kernels Division by 0 solved

If you divide anything by 0, it's zero.

1 divided by 0 is 0. Brahmagupta could not do it. 0 divided by 0 is 0.

1割る0は0　はブラーマグプタはできなかった。

0割る0は0はできていた。

Who defined Division by Zero as Infinity?

『Who defined Division by Zero as Infinity?』This verse translates to:A quantity divided by zero will be called khahara (an …

ameblo.jp

東大合格率とゼロ除算：

ある名門高校の東大合格率は40％だという。　これは架空の話しであるが　東大受験した高校生の合格率と考えれば ありそうな話しであろう。　合格しなそうな人は 受験しないからである。名門校となれば データや経験から、合格率を高められるだろう。

問題は、受験生がゼロの時、合格率はどのようになるだろうか。現代数学では、考えてはならないとなっている。ゼロで割れないからである。

歴史上はじめて 宣言された我々のゼロ除算では、合格率は ゼロとなる。

世相でも　良い結果ではないだろうか。ゼロ除算不可能を　可能にしている。

ついでに　私の理解に寄れば、　母校の中学は　再編後前も　歴史上　東大受験生は唯一人で　合格している。

東大合格率は１００％である。　甥の同級生で子供のころから　神童の誉が高かった。

母校の高校　再編後前も　歴史上　東大受験生は　ゼロで、従って東大合格率は　ゼロである。　

買い物から帰って　この構想が湧いた。

２０２４．１．１８．１２：３４

ゼロ除算まで禁止になっててワロタ　強すぎたからな~

https://twitter.com/GK_tbs/status/1486754929222238208

0除算を禁止されてしまった数理体系の陥穽に囚われてしまった地球人類が、如何にしてこの論理トラップから抜け出せるのか、みたいな脱出ゲーム

https://twitter.com/fullmoonhalf/status/1546234683788500993

The most famous figure in human history, according to the ranking of the Massachusetts Institute of Technology, is Aristotle. (MIT) collected and analyzed data on history and culture around the planet from 4,000 BC. until 2010. There are six people from Greece in the top ten.

The most famous figure in human history, according to the ranking of the Massachusetts Institute of Technology, is Aristotle. (MIT) collected and analyzed data on history and culture around the planet from 4,000 BC. until 2010.
There are six people from Greece in the top ten. pic.twitter.com/G8ehuUkpat
— well-meaning (@FreshSummerWind) January 11, 2023

なぜアインシュタインは天才と呼ばれたのか？

アインシュタインは、他の科学者達がとらわれていたある「常識」、普通はとらわれていることにすら気がつかないある「常識」、それに気づきそれを打ち破り「究極の発想の転換」をしたのです。

このことが、アインシュタインが相対性理論を作り、二十世紀最高の天才と言われる理由なのです。2018/11/12

https://tenro-in.com/mediagp/readinglife-science/63425/#:~:text=%E3%82%A2%E3%82%A4%E3%83%B3%E3%82%B7%E3%83%A5%E3%82%BF%E3%82%A4%E3%83%B3%E3%81%AF%E3%80%81%E4%BB%96%E3%81%AE%E7%A7%91%E5%AD%A6,%E8%A8%80%E3%82%8F%E3%82%8C%E3%82%8B%E7%90%86%E7%94%B1%E3%81%AA%E3%81%AE%E3%81%A7%E3%81%99%E3%80%82

これはもっともなことだと思います。ゼロ除算も同じようではないでしょうか。

Division by zero is definable and possible

Einstein's Only Mistake: Division by Zero

http://refully.blogspot.com/2012/05/einsteins-only-mistake-division-by-zero.html

George Gamow (1904-1968) Russian-born American nuclear physicist and cosmologist remarked that "it is well known to students of high school algebra" that division by zero is not valid; and Einstein admitted it as {\bf the biggest blunder of his life} [1]：1. Gamow, G., My World Line (Viking, New York). p 44, 1970.

3.30 美しい国、日本（2008/2/11）:

今日は、建国記念日です。日本には、世界に誇るべき美しい文化と人類を導く良い考え方があると思います。多額の借金と少子化及び教育の荒廃によって、このままいくと日本国は、衰退の道を辿る事にならないでしょうか。何とか、日本国の再生を期したいと思います。もちろん、日本国の神話は大事にすべきではないでしょうか。

美しい国、日本

日本は美しい島国です。
豊かな水で多くの川が流れています。
日本には山が多く、山々は緑に覆われ、また雪に覆われたりしています。

日本の空と海は美しく、多くの詩と夢を育んできました。
日本は大きなひとつの家族のようで、みんな一緒に助け合ってきました。
言葉がなくてもお互いに理解でき、細長い国のため、四季とともに多様性にとんでいます。

日本には天皇陛下がおられて、家々の氏神様の頂点におります。　
天皇陛下のおられる皇居は　日本の美しいものの、心の源になっています。
ですから先の大戦では　天皇のお言葉一つで　完全なる終戦を迎えることができたのです。

京都は千年をこえる日本の都でしたので、日本人の故郷です。
多くの人は京都を訪れて、故郷に帰ったような不思議な郷愁を感じるのです。
伊勢は古代からより古い日本人の故郷です。ですから日本の首相は新年にまず伊勢神宮を参拝するのです。

日本の文化には　自然とともにある繊細さがあります。俳句や和歌を多くの人々が愛でて、人に優しく気遣いができるのです。遠くのインドのお釈迦様の教えや中国の孔子様の教えが、美しい風土からうまれた神道と共に溶け込んでいるのです。

これが世界に唯一つしかない　美しい日本国です。