やってはならない　ゼロ除算、考えはいけない　ゼロ除算　 1/0=0/0=0 　計算機システムが　採用、応用し始めた。数学の世界の　歴史的な　変革は近いと感じられる。２０２５．５．１１．１０：４４

異様に美しい日。

ゼロ除算回避は、　簡単です。新しい意味でのゼロ除算は　 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 」を返す関数です 1 2 .

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

·  除数が 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 　が　何時も成り立っていた。　しかし、ここで　分数の意味を　きちんと定義する必要がある。　計算機は、その意味さえ知っているようですね。　計算機、人間より賢くなっている　様が　出て居て　実に　面白い。