今朝は典型的な曇りの朝。昨日は相当野外作業をした。　庭の手入、山巡り、これでいろいろ作物を植えることができる、月曜　苗を購入に行く予定、雨の前と予定されるからである。

ゼロ除算回避は、　簡単です。新しい意味でのゼロ除算は　1/0=0　で　ゼロ除算可能ですから、問題そのものが起きない。２０２４．４．２１．７：４６

どんどん使われ始めている：

2022/05/13 — こうすることで、何かを0で割ろうとする事象が発生しなくなるため、ゼロ除算エラーを回避することができます！

【SQL】division by zero って何？？ゼロ除算エラーを回避せよ！

2022年5月13日

こんにちは、hosigakiです！

ゼロ除算エラーの対処方法

ゼロ除算エラーに対処するためには、クエリ内で以下のような分岐をつくるのが効果的です。

分母(割る数)が0の時 → 割り算せずに「0」とする

分母(割る数)が0以外の時 → 割り算する

以下は、先ほどの上記で記載したクエリを、ゼロ除算エラーが起こらないように修正したものです。

ソフトウエアが　ゼロ除算 1/0=0 を　実装することを待っているのですが、　最近、

real.ｄiv として　Coq, Lean 等に実装され　広く応用されていることが分かりました。　更に、Snowflake　で

DIV0: This function performs division similar to the division operator (/), but instead of reporting an error, it returns 0 when the divisor is 0.

DIV0NULLは、除算（割り算）を行う際に、分母が「0」や「NULL」であってもエラーやNULLを返すことなく、代わりに「0」を返す関数です12.

具体的には、除算演算子（/）のように除算を実行しますが、以下の条件で動作します:

· 除数が0またはNULLの場合、関数は0を返します。

· エラーを報告したり、NULLを返したりすることはありません。

として実装されていることを見つけました。

これらは理由も付けずに、 convention として利用しているようですが、それらは　拡張された意味でのゼロ除算です。

他にも、1/0=0 を利用しているシステムが　有るでしょうか。情報を知りたい。

２０２４．４．１１．１８：１６

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

IBM　がゼロ除算回避に　我々のゼロ除算1/0=0　が用いられていることを知る：

下記　永く問うてきましたが、　既にゼロ除算は　real.div　として実装され、活用されている。　Coq, Lean Snowflake　などは　見かけ上ゼロ除算回避の　convention　のようである。数学者が驚嘆し、世界史が禁じて来た結果を　ソフト会社が用い始めている。　我々が数学的な発見を公言して、8年後くらい。　欧米では6年後くらい、結果自身は　世界最高のシステムで、我々の情報では1980年代　約40年前である。そこは秘密で研究を進めていると見られる。　2019年　我々の進んだ結果を公然と保証してsaitohの名前さえそのシステムに入っていたが、その後かん口令がひかれたように沈黙に至っているからである。　２０２４．４．１１．９：３８

I would like to know the division by zero 1/0 in Snowflake in English. 2024.4.10.5:04

Copilot

In Snowflake, when you attempt to divide a number by zero, there are two relevant functions to consider:

DIV0: This function performs division similar to the division operator (/), but instead of reporting an error, it returns 0 when the divisor is 0. Here’s an example:

などで　欧米です：　Hey! I heard that Lean thinks 1/0 = 0. Is that true?

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

2024.4.20

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

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

そこで、計算機は何時、1/0=0　ができるようになるでしょうか。　楽しみにしています。　もうできる　進化した　計算機をお持ちの方は　おられないですね。

これは　凄い、面白い事件では？　計算機が人間を超えている　例では？

面白いことを発見しました。　計算機は 正しい答え 0/0=0

を出したのに、　この方は　間違いだと　言っている、思っているようです。

0/0=0　は　１３００年も前に　算術の発見者によって与えられたにも関わらず、世界史は間違いだと　とんでもないことを言ってきた。　世界史の恥。　実は　a/0=0　が　何時も成り立っていた。　しかし、ここで　分数の意味を　きちんと定義する必要がある。　計算機は、その意味さえ知っているようですね。　計算機、人間より賢くなっている　様が　出て居て　実に　面白い。