ゼロ除算回避は、 簡単です。新しい意味でのゼロ除算は 1/0=0 で ゼロ除算可能ですから、問題そのものが起きない。2024.4.21.7:46
どんどん使われ始めている:
2022/05/13 — こうすることで、何かを0で割ろうとする事象が発生しなくなるため、ゼロ除算エラーを回避することができます!
【SQL】division by zero って何??ゼロ除算エラーを回避せよ!
2022年5月13日
こんにちは、hosigakiです!
ゼロ除算エラーの対処方法
ゼロ除算エラーに対処するためには、クエリ内で以下のような分岐をつくるのが効果的です。
分母(割る数)が0の時 → 割り算せずに「0」とする
分母(割る数)が0以外の時 → 割り算する
以下は、先ほどの上記で記載したクエリを、ゼロ除算エラーが起こらないように修正したものです。
ソフトウエアが ゼロ除算 1/0=0 を 実装することを待っているのですが、 最近、
real.div として 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 を利用しているシステムが 有るでしょうか。情報を知りたい。
2024.4.11.18:16
2024.4.15.6:43
IBM がゼロ除算回避に 我々のゼロ除算1/0=0 が用いられていることを知る:
下記 永く問うてきましたが、 既にゼロ除算は real.div として実装され、活用されている。 Coq, Lean Snowflake などは 見かけ上ゼロ除算回避の convention のようである。数学者が驚嘆し、世界史が禁じて来た結果を ソフト会社が用い始めている。 我々が数学的な発見を公言して、8年後くらい。 欧米では6年後くらい、結果自身は 世界最高のシステムで、我々の情報では1980年代 約40年前である。そこは秘密で研究を進めていると見られる。 2019年 我々の進んだ結果を公然と保証してsaitohの名前さえそのシステムに入っていたが、その後かん口令がひかれたように沈黙に至っているからである。 2024.4.11.9:38
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は 便利だからの理解で、 弱いようである。2024.4.20.11:35
そこで、計算機は何時、1/0=0 ができるようになるでしょうか。 楽しみにしています。 もうできる 進化した 計算機をお持ちの方は おられないですね。
これは 凄い、面白い事件では? 計算機が人間を超えている 例では?
面白いことを発見しました。 計算機は 正しい答え 0/0=0
を出したのに、 この方は 間違いだと 言っている、思っているようです。
0/0=0 は 1300年も前に 算術の発見者によって与えられたにも関わらず、世界史は間違いだと とんでもないことを言ってきた。 世界史の恥。 実は a/0=0 が 何時も成り立っていた。 しかし、ここで 分数の意味を きちんと定義する必要がある。 計算機は、その意味さえ知っているようですね。 計算機、人間より賢くなっている 様が 出て居て 実に 面白い。