再生核研究所とゼロ除算

「再生核研究所」というワードに、何ともいえないカルト臭を感じた。ゼロ除算でよく釣れてくる。

https://x.com/taka_19682002/status/1814466991115382809

再生核研究所は非常に、まじめに意見表明をしていると思います。

証拠に時間がきちんと入っています。何かご意見がありましたら、具体的にお寄せ下さい。

再生核研究所声明660(2022.1.31) 小学生の算数、足し算、引き算、掛け算、割り算　及び　ゼロで割ることの解説　－アインシュタインの言葉を受けて―6歳の子供に説明できなければ、　理解したとは言えない。

アインシュタインの言葉を受けて、小学生向けに　ゼロで割る問題の解説を行ないたい。　願わくば、お母さん、お父さんに　お子さんに解説して頂ければ幸いです。何事初めが肝心、算数　学び初め、足し算、引き算を良く、深く理解すれば　お子さん、算数、数学が必ず好きになると思います。　算数は　楽しいものです。　何しろ2000年来の難問も　実は当たり前だったとなります。　天才数学者や物理学、そうみんなが分らなかった　ゼロで割る問題、実は当たり前だった　となります。数学嫌いなマスコミ関係者、これで納得して頂けるのではないでしょうか。　変な権威などに　あるいは習慣などに　盲目的に　頼っていては、真実の報道はできないのではないでしょうか。　権威者が　習慣などが、世相が　みんなおかしくかった　ということは　実は多いのではないでしょうか。
有名な　ゼロで割れない　との世の常識が　実は違っていて、ゼロで割ることは当たり前で、簡単にできることを説明したいと思います。初歩からの解説です。
まず、数の世界をきちんと決めます。
リンゴ、　1個、2個、3個、と数えて行くことが始まりです。　それは、1番目、2番目、3番目、と順位を付けて行くのと同じです。　それは自然数と呼ばれる数の基本ですが、1，2，3，4，5、、、、9，10、11，12、、、、19、20, 21,,,,, と続く数で、　個数を数えたり、　順序を表すのに大事な数です。　算数の基礎から説明しますので、　当分、数とはそのような自然数のことと考えます。
まず、それらの数の世界、仲間で　足し算、加法を考えます。　例えば　2　+　3、とか、　１４＋１７　などです。リンゴの個数だと思って　それらの合計の個数を考えた結果が　足し算ですから、2+3=5, 14+17=31　となります。　どうして足し算の結果がそうなるか分からない場合には、両方の個数を数えて行けば良いので、足し算は　時間が掛かっても必ずできるのではないでしょうか。　ただ数えて行けば良いだけです。　練習をすれば数えなくても　早く足し算ができるようになります。
次に考えるのが　引き算です。　例えば　6 - 4 ですが、これは6個あったリンゴから　4個取ったら何個残るかと考えた場合の結果ですから、6 - 4=2　です。　引き算は足し算同様に　1個、1個引いて行けば良いので、足し算と同じく、必ずできます。慣れれば引き算も早くできるようになりますが、必ず同じようにできると考えられますので、足し算と引き算は　簡単で必ずできると考えて下さい。　必ず、できる　大丈夫というのは良いですね。安心できます。
しかし、ここで、大事な問題が生じます。　あるものから　何個か引いて行くのですから、
引くには　引く数と、引かれる数の間に　大小関係がないと引き算は出来ません。　例えば　3 - 5　を考えると、　もともと3個あったリンゴから、5個のリンゴは引けません。あった個数を　何個か除くのですから、除く、引く数は　引かれる数より小さい？
ここで、大事な問題が起きます。　例えば、　3 - 3　は　どうなるでしょうか。　3個あったリンゴから、3個引く、除くことはできます。　もともとあった数から、同じ個数を引けば、ちょうど残った個数は無くなってしまうことになりますね。　すなわち、同じ数を引くと何時でも　個数は無くなってしまいます。
この状態を　3-3=0, 6-6=0, 27-27=0, などと表し、ゼロという数０を新しく考えます。
これが　大事な数ゼロの発見で、永い、永い歴史のある数です。　ない状態を表す数ですから、面白い　変な数であると言うことになります。　ない状態です。　ゼロを数と見なせば、　足し算は、　3 + 0=3, 6+0=6, 28+0=0 などとなり、どのような数にゼロを加えても変わらず、　また　どのような数からゼロを引いても変わらないとなります。　3 - 0=3, 6 - 0 =6, 29 -0 =29　です。　ゼロを引くとは、実際には、何も引かないということですね。
ゼロという数は　実に面白い、　変な数で、その意味は　深いと考えて下さい。
ゼロは　足しても、引いても変わらない数です。　足しても、引いても変わらない数、それは　足したことにならない、引いたことにならないとも表現できます。　この考え、発想が　大事で、その意味は　実は　深い。　この心、深く心に止めておいて下さい。
念のため、面白い公式を　それらの意味を含めて確認して下さい。

0 + 0 =0, 0 - 0=0.

人間とは飽きたり、疲れたりするものです。　そこで、休憩にして下さい。　そして、足し算、引き算　そして　ゼロの意味　をしっかり理解して下さい。　数日考えても、休んでも良いですから、すっかり理解し、納得してから、　次の掛け算、割り算に進みたいと思います。
それでは、掛け算の説明をします。　実は簡単です。　3 x 4=12　の意味です。　それは、３を　４回加えることを意味します。　３つのかたまりの　リンゴ、４つでは合計幾つあるかという意味です。　ですから、３を繰り返し、加えて行くことを意味します。　ですから　3 x 4= 3+3+3+3 　の意味ですから、時間はかかっても掛け算は　何時でもできますから、簡単と考えて下さい。掛け算は繰り返し足し算です。　掛け算は乗算とも呼ばれ、３を4回重ねて行くことを意味しますから、漢字とは素晴らしいですね。乗せて積み重ねて行く意味です。　あまりにも頻繁に　日常で使われるので、暗記したり、少し練習するように　しています。いわゆる九九　の暗記などです。　しかし、もともとは簡単だと、安心することが大事です。繰り返しは　機械の得意なことで、計算機、計算機はそのような計算、何でも瞬間にできてしまうので、実際の計算では困ることはありません。
さて、ここでゼロも数と考えましたので、　3 x 0 や 0 x 3も考えることが考えられます。
3 x 0 は　3つのかたまりがない状態ですね。ですから、3 x 0=0 です。0 x 3　は 0 +0 + 0
の意味で　0 x 3 = 0 +0 + 0 =0　です。　これらは、ゼロを掛けることは、掛けないこと、かたまりを考えないことだから、何にゼロを掛けてもゼロと考えられます。　他方、　ゼロに何かを掛けるは　ないもののかたまりを幾つ考えても　ゼロだと考えれば、すっかり当たり前ですね。
念のため、美しい公式

0 x 0 =0

を意味も込めて、深く理解して下さい。理解するとは　納得して、何もかも当たり前と感じられることです。
次は、割り算ですが、　割り算の天下一と言われた毛利重能（1622年割り算書出版）氏がいて、割り算ができる人は何でもできるという言葉がありますが、実は割り算も　当たり前です。　一応は気分を変えて割り算を考えたいと思います。十分休憩して次に進んで下さい。
さて、　12 ÷ 4 の意味です。12 　割る　4　の意味です。（「÷」は、1659年にスイスのヨハン・ハインリッヒ・ラーン（1622～1676）という数学者が著書の中で使ったのが最初である。）
これは、もともと　12を4等分した場合の　分けられた1つのかたまりの個数を表す考えで、最初に考えたのは　人類の祖　アダムとイブが　一個のリンゴを二人で分けたのか割算の元だと面白く表現されています。1個のリンゴを　半分ずつ2個に　分けたのですね。　等しく分けることですね。等分です。確かに　何か急に難しくなった感じがしますね。
23 ÷ 7　などを考えるととても難しく、　人間の知能を越えて居る様にすら　感じられてしまいますね。そのような場合には、いろいろ考えて、発想を変えることが大事ですが、そのようにいろいろ考えることが　人間らしい考える能力です。
もし、12 　が　4つに　等しく分けられたとすると、そのような塊の1つの塊は　何個あるかと考えています。　それは、12から、4 が何回引けるかと考えられます。　かたまりの個数だけ引けば、ちょうど残りが無くなり、ゼロになると考えられます。すなわち、

12 - 4 - 4 - 4 =0

です。12 　には　4の塊が3個あることになるので、　それは

12 ÷ 4 = 3

と表現されます。12　に　4　が　3つ　あると解釈、理解できます。　考えられます。　1つの式に対して　いろいろな意味を考えることは　考え方を広げる意味で　大事な発想です。
言われたことを　そのまま覚えたりするのでは無く、それは何を意味しようとしているのか　と自分の心で考えることが　算数ばかりではなく、大事な考え方です。
難しいとは、説明に飛び、飛躍があるということですが、上記の発想、考え方には　発想に飛び、飛躍があると感じられますので、難しく感じられるでしょう。そのような場合には納得ができるまで、述べられていることを　何もかも当たり前であるように感じられるまで繰り返し、考えることが大事です。
この精神は　数学の基本精神で、大事です。　ユークリッドの　幾何学に王道なし　とは　そのような精神を端的に、本質的に述べたもので、有名です。算数、数学では考えることが求められ、考える人間の育成に　数学の学習が期待されています。
次の段階はとても面白いので、ここでじっくり休憩を取って下さい。　大きな楽しみの前に　休憩して心を整えるのも良いですね。

さて、23 ÷ 7　を考えて見ましょう。　23　の中に　7の塊は幾つあるかと発想して、
23　から　7　をどんどん引いて行きます。

23　- 7 - 7 - 7 - 7 - 7

何時までも引ける筈はなく、　今の場合だと

23　 - 7 - 7 - 7　= 2

ですから、23　には　7の塊が　3つできて、余りが　2個だと表現できます。　それを

23 ÷ 7　= 3 ... 2

と表現して　23 割る 7　は　3 　で、　余り 2　と表現します。　23 割る 7　は　3 　で、3を割り算の答えで　商と呼びます。　大事なことは　余りが残ったときには　割り切れない、ちょうどには分けることができないということが起きたことで　当たり前の事ですね。
ところで分ってしまえば、多くは当たり前になってしまいます。　そこで、

23 ÷ 7　= 3 ... 2

の意味をしっかり　理解して下さい。　当たり前に思えるようにですね。　実は簡単です。　どんどん引けるまで繰り返している、引けた回数が　商３で　残りが余りが2ですが、　この方法は何時でも決まったやり方で、引き算の繰り返しで求められます。ですから、　実は割り算は　引き算のようなもので　計算方法も　意味も当たり前です。
実は割り算は　除算と呼ばれていました。　何と割り算とは　何回取り除けるかという意味だと言うのです。漢字とは素晴らしいですね。　割り算が除算です。　その意味をしっかり理解して下さい。　除算は元々は、引いて行く事ですから、除算は、割り算は　本質的には引き算であると言えます。
以上の準備で、　2000年も　今も理解されない　ゼロで割る問題の解説に入りますので、じっくり休憩をとってください。最大の楽しみの前です。
（ここで、　余りも分けたい　と考える　先に疑問を持つ方に　すこし先の話しを、ここの話題には　関係ないですが、すこし触れて起きます。
上記で　余り２を　７で分けることを考えたい。　これは、これは唯では出来ません。そこで、２を10倍して、20を　7で分けると

20÷ 7　= 2 ... 6

となります。　これらは　23 ÷ 7　は商が　3.2 で余り　0.6 と表現されて　１を１０で割った範囲（1を10で割った0.1, 10分の１）で割り算を行なったと考えられます。このやり方を続けると幾らでも　等分は細かく正確にできるという凄い考えになります。　ここでは深入りする必要はありません。分数や少数の考えに入ることになります。）

それでは　本論のゼロで割る問題を考えます。　そのような事は考えてはならないとなっていますので、今から述べる考えは　未だ公認されていない、世界で認められていない新しい発想、数学と考えて、世界で認められるまでは　周知の事実としてはいけません。　しかし、直ぐに世界の常識となって　教科書や学術書が変更されることを望んでいます。

上記の考えで　例えば、

27 ÷ 0

を考えたい、考えるとすれば、どうなるでしょうか。　27から、０をどんどん引いて　ゼロにしたいという発想でしたね。　何回引けるかが　割り算の商です。　ところが０を引くということは　実は引いたことには成らない、　引いても減らないですね。ですから、引いたことにはならず、引いた回数は0と考えるべきではないでしょうか。　するとゼロで割る問題は　当たり前になって、ゼロで割れば　何時でも０となってしまいます。　それで2000年も続いたゼロで割る問題は解決して、　何時でもゼロで割れて　答えはゼロであるとなります。例えば、
　
3 ÷ 0 =0, 7 ÷ 0 =0, 23 ÷ 0 =0, 324÷ 0 =0.

何でも0で割れば０ですから、これほど簡単で、美しい結果はないですね。　これがゼロで割る歴史的な難問の解答です。結果です。　今でもゼロ除算は神秘的で難問と考えている人が数学者でも多いですから　面白いですね。

100 ÷ 0　= 0 ... 100

です。ゼロ除算を発見して論文を発表して間もなく8年（2014.2.2）になりますが、6歳の少女が上記のように考えてゼロ除算は当たり前であると 3週間くらいで理解したのに世界の指導的な数学者達が何年も経っても理解できない事件が起きていて、本当に奇妙な事件が起きています。それで、理解を求めるべく著書を　発見過程に触れながら発表しました：

Division by Zero Calculus—History and Development
https://books.google.com › ... › Books

これらの数学の素人向きの解説も　55カ月に亘って　次で与えられている：

数学基礎学力研究会公式サイト楽しい数学
www.mirun.sctv.jp/~suugaku/

小学生の皆さんに知って欲しいことは、ゼロの意味です。　ゼロを足しても、引いても　足したことにも　引いたことにもならない。　ゼロを掛けても、割っても　掛けたことにならず、割ったこともにもならないという　ゼロの性質を理解して欲しいという事です。　ゼロを掛けても、割っても何時でもゼロです。　ゼロは　足しても、引いても数は変わりません。

今まで　足し算、引き算、掛け算、割り算の　四則演算　には、　0で割ってならないという　唯一つの例外がありましたが、今や　四則演算　は　何時でも必ずできるという　美しい　例外のない数学が出来ました。美しい数学が　完成しました。　四則演算は　計算機の基本で、数学の基本ですから、影響は大きいですね。

それでは何ゆえに　世界史が　アリストテレス以来　物理学の最高峰アインシュタインをもって生涯の問題とされていたゼロ除算が　神秘的な歴史を辿ってきたかを述べたいと思います。

これは簡単な次の事実にあります。

12 ÷ 4 = 3
と言うことは、

3 x 4=12

と表現され、　割り算と掛け算の関係で、お互いに逆の関係にあることに注意します。考えて下さい。12 ÷ 4 = 3の意味は、12には４の塊が　３個あるというのですから, それはちょうど　掛け算、乗算　3 x 4=12　すなわち、3個の塊が４個ある、あるいは４個の塊が３個ある事を意味して、掛け算と割り算が逆の関係に有りますね。
ゼロでない場合には　何時でも　そのように　乗算と除算は逆の関係　にあります。
ところが　除算に　ゼロが現れると

例えば、

１÷０，

を考えると、１は　０に何かを掛けた数にならなければならないので、これは起こりえないですね。０に　何を掛けても　0ですから、考えられないと考えて来ました。　それゆえ、ゼロ除算は　神でも考えられないなどと　大げさに表現されてきました。
結論的に述べれば、ゼロ除算を　普通のように　掛け算の逆と発想すれば、当然、ゼロ除算は不可能、できません。考えてはならないとなります。
ところがゼロ除算を　除算の自然な発想で考えれば　ゼロ除算は　ゼロとして何時でも可能で、簡単で、美しい結果に纏められます。
何時でもゼロで割れて　結果はゼロです。
これは、ゼロで割ることは割らないこと、それ故に割り当てられる数は　なく、ゼロである。
ゼロは　掛けても　割っても　結果はゼロと　美しく纏められます。
当然、0÷０=0 です。

ゼロで割れる自然な理由を述べました。　現在の数学はゼロ除算は考えてはならないですから、ゼロ除算の先は有りません。　ところが　ゼロ除算は可能である、できるという考え方を紹介しました。　それが驚くべき新世界、新数学を開拓することが分ってきました。そこで、新世界の理解と解説を続けています：　次は小学生向きではなく、一般向きに　展望として述べました。

ゼロ除算の数学とは：

要するに　分母がゼロである　ところで、あるいは　所謂　極と言って　孤立特異点を持つ解析関数で、あるいは　ローラン展開で、今まで考えなかった、分母がゼロや極、あるいは孤立特異点　その点で、意味のある値が　定義されていた　ということです。
これらは、ユークリッド幾何学、解析幾何学、微積分学、線形代数学、微分方程式、複素解析学に広範な影響を与える。現在、1200件を超える所見、具体例を持っていること。我々は初等数学には　基本的な欠陥があると述べている。
初等数学は　相当に変更されるべきである　と考える。ゼロ除算は　数学者ばかりではなく人類の、世界史の恥であると考えられる。

数学的な厳格な理論や応用、数学への影響、内容の出典、歴史などについては　下記を参照して下さい：
Introduction to the Division by Zero Calculus - Scientific ...
https://www.scirp.org › book › detail...

　　　　以　上

In proof assistants[edit]

Many proof assistants, such as Coq and Lean, define 1/0 = 0. This is due to the requirement that all functions are total. Such a definition does not create contradictions, as further manipulations (such as cancelling out) still require that the divisor is non-zero.^[33]^[34]

Tanter, Éric; Tabareau, Nicolas (2015), "Gradual certified programming in coq", DLS 2015: Proceedings of the 11th Symposium on Dynamic Languages, Association for Computing Machinery, arXiv:1506.04205, doi:10.1145/2816707.2816710, The standard division function on natural numbers in Coq, div, is total and pure, but incorrect: when the divisor is 0, the result is 0.
^ Buzzard, Kevin, "Division by zero in type theory: a FAQ", Xena Project (Blog), retrieved 2024-01-21

Division by zero - Wikipedia

en.wikipedia.org

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)

2024.4.20

Microsoft Excel に　ゼロ除算採用1/0=0の兆しが見える。

下記、#DIV/0! の代わりに 0 または "値なし" を表示し、の部分です。ゼロ除算は考えてはならないが　数学界の常識ですが、ゼロ除算が現れたとき、間違い、解なし、計算機が止まるなど、不便な状況が起きて居た。近年、1/0=0が広く採用されるようになってきた。ゼロ除算にゼロを返すは、厳格数学で、自然な意味での拡張された分数でそうなりますが、便利だからという理由で多用されるようになってきた。意味合いとしても、ゼロで割るは　考えてはならない、不可能である、そのような場合ゼロで表すことが良いことが広範に分かってきた。ゼロの意味の発見です。Coq, Lean,IBM　等は　更に深い理解で、ゼロ除算が利用されている。　Microsoft Excelは　便利だからの理解で、弱いようである。２０２４．４．２０．１１：３５

Microsoft Excel では、数値がゼロ (0) で除算されたときに #DIV/0! エラーが表示されます。この状況は、次の図に示すように、=5/0 のような単純な数式を入力したとき、または 0 や空白のセルを数式で参照したときに発生します。

エラーを解決するには、次のいずれかの操作を行います。

関数または数式の除数がゼロまたは空白のセルでないことを確認します。
数式のセル参照を、ゼロ (0) または空白値でない別のセルに変更します。
数式で除数として参照されているセルに #N/A と入力します。これにより、数式の結果が #N/A に変更され、除数値に使用できないことが示されます。

数式がユーザーからの入力を待機しているために、#DIV/0! エラーを避けられないことがよくあります。そのような場合、エラーメッセージがまったく表示されないようにするには、入力待機中にエラーを抑制する方法がいくつかあります。

分母で 0 または値なしを評価する

#DIV/0! エラーが表示されないようにする最も簡単な方法は、IF 関数を使用して分母の存在を評価することです。

0 または値なしの場合は数式の結果として #DIV/0! の代わりに 0 または "値なし" を表示し、

それ以外の場合は数式を計算します。

たとえば、エラーを返す数式が =A2/A3 の場合、0 を返すには =IF(A3,A2/A3,0) を使い、空の文字列を返すには =IF(A3,A2/A3,””) を使います。 =IF(A3,A2/A3,"入力が必要です") のようにして、独自のメッセージを表示することもできます。最初の例の QUOTIENT 関数を使うと、=IF(A3,QUOTIENT(A2,A3),0) のようになります。この式は、IF(A3 が存在する場合は数式の結果を返し、存在しない場合はその結果を無視する) のように Excel に指示します。

IFERROR を使って #DIV/0! エラーを抑制する

IFERROR 関数内で除算操作を入れ子にすることで、このエラーを抑制することもできます。再び A2/A3 を使うと、=IFERROR(A2/A3,0) のようになります。この式は Excel に対し、数式がエラーと評価される場合は 0 を返し、それ以外の場合は数式の結果を返すように指示します。

Excel 2007 より前のバージョンの Excel では、IF(ISERROR()) メソッドを =IF(ISERROR(A2/A3),0,A2/A3) のように使用できます (「IS 関数」を参照)。

注: IFERROR メソッドと IF(ISERROR()) メソッドはどちらも、#DIV/0! だけでなく、すべてのエラーを抑制するという点で、一括エラーハンドラーです。エラー処理を適用する前に、数式が正しく動作することを確認する必要があります。そうしないと、数式が期待どおりに機能していないことに気付かない場合があります。

エラー値 #DIV/0! を修正する方法 - Microsoft サポートExcel の #DIV/0! エラーを修正するには、IF または IFERROR を使用します

support.microsoft.com

マイクロソフト（英: Microsoft Corporation）は、アメリカ合衆国ワシントン州に本社を置く、ソフトウェアを開発、販売する会社である。1975年にビル・ゲイツとポール・アレンによって創業された^{[注釈 1]}。1985年にパソコン用OSのWindowsを開発。1990年にWindows向けのオフィスソフトとしてMicrosoft Officeを販売。1995年にウェブブラウザのInternet Explorerをリリース。2001年に家庭用ゲーム機のXboxを販売。2009年に検索エンジンのBingを設立。2010年にクラウドサービスとしてAzureを開始。2015年7月15日Microsoft Edgeを開発、そして展開。2024年2月時点での時価総額が世界1位^[5]。

2023年1月、OpenAI傘下の営利法人OpenAI Globalにマイクロソフトが100億米ドルを出資し、同社の株式49%を取得^[15]。OpenAIの技術を採用した生成的人工知能であるCopilotを展開している。https://ja.wikipedia.org/wiki/%E3%83%9E%E3%82%A4%E3%82%AF%E3%83%AD%E3%82%BD%E3%83%95%E3%83%88

https://www.ibm.com/docs/ja/i/7.3?topic=errors-handling-divide-by-zero

Snowflake Inc. is an American cloud computing–based data cloud company based in Bozeman, Montana. It was founded in July 2012 and was publicly launched in October 2014 after two years in stealth mode.^[2]^[3]

The firm offers a cloud-based data storage and analytics service, generally termed "data-as-a-service".^[4]^[5] It allows corporate users to store and analyze data using cloud-based hardware and software. Snowflake services main features are separation of storage and compute, on-the-fly scalable compute, data sharing, data cloning, and third-party tools support in order to scale with its enterprise customers.^[6] It has run on Amazon Web Services since 2014,^[2] on Microsoft Azure since 2018^[7] and on the Google Cloud Platform since 2019.^[8]^[9] The company was ranked first on the Forbes Cloud 100 in 2019.^[10] The company's initial public offering raised $3.4 billion in September 2020, one of the largest software IPOs in history.^[11]

https://en.wikipedia.org/wiki/Snowflake_Inc.　　　

DIV0

除算演算子（/）のように除算を実行しますが、除数が0の場合は0を返します（エラーを報告するのではなく）。

https://docs.snowflake.com/ja/sql-reference/functions/div0

DIV0NULL

除算演算子（/）のように除算を実行しますが、除数が0または NULL 場合は0を返します

（エラーを報告したり、 NULL を返したりするのではなく）。

https://docs.snowflake.com/ja/sql-reference/functions/div0null

ゼロ除算とは何か

それはゼロで割ることである。ゼロで割る事とは何か。　

その定義、意味が　問題である。

それを普通の掛け算の逆と考えれば、それはできないとか、定まらないと　なり、それが永い間の世の常識である。

ところがゼロで割るという意味には、割ることの意味を　自然に拡張（ある一般的な意味における割る意味で）、あるいは　そもそもゼロの意味から、考えると、ゼロ除算は何時でも可能で、何時でも　ゼロで割ればゼロである　という美しい数学が　２０１４．２．２．に発見された。　それを発展させた　ゼロ除算算法　は　数学の基礎に甚大な影響を与え、数学ばかりではなく、人生観、世界観に　甚大な影響を与えることは分かってきた。特に、数学は　そもそも基本的な欠陥を有している　と言える。

２０２４．１．１０．５：４６

昨年12月から、Google ゼロ除算1ページ目：

ゼロ除算は可能か？