世界史における　3大事件：１．　天動説に対して　地動説の出現２．　非ユークリッド幾何学の

世界史における　3大事件：

１．　天動説に対して　地動説の出現

２．　非ユークリッド幾何学の出現

３．　ゼロ除算の解明;　ゼロ除算算法の数学の出現

これは　数学者の良心を掛けた　決戦である。

２０２４．４．９．１９：２７

viXra:2402.0068 submitted on 2024-02-14 21:47:20 ,

Division by Zero 1/0 = 0/0 = 0 and Computers real.div: New Information and Many Applications

下記　永く問うてきましたが、　既にゼロ除算は　real.div　として実装され、活用されている。　Coq, Lean などで　欧米です：　Hey! I heard that Lean thinks 1/0 = 0. Is that true?

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

そこで、計算機は何時、1/0=0　ができるようになるでしょうか。　楽しみにしています。　

もうできる　進化した　計算機をお持ちの方は　おられないですね。

現在、人類は計算機に負けている。　1/0=0 も40年も前に出していた。人間が理解できず、それは駄目だと考えて来た。

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

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

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

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

日本のシステムでも、ゼロ除算可能なシステムが現れました。

新しい情報を得た：２０２４．４．９．２２：３１

0除算でもNULL除算でも0を返すSnowflakeの除算関数 ...

DevelopersIO

https://dev.classmethod.jp › articles

2022/12/09 — 例えば、下図のように select 1/0 を実行すると、「ゼロでの除算」というエラーメッセージが返ってきます。このエラーを回避するための関数が、 DIV0NULL ...

※本エントリは、Snowflakeをもっと使いこなそう！ Advent Calendar 2022の９日目の記事となります。

さがらです。

2022年11月のアップデートで、DIV0NULLという関数が追加されました。

DIV0NULL関数とは

一言でいうと、除算（割り算）を行う場合、分母が「0」や「NULL」であってもエラーやNULLを返すことなく、「0」を返す関数です。

続いて、0除算を実行してみます。select 1/0の場合は前述の通りエラーメッセージが返ってきますが、select div0null(1, 0)の場合には、「0」が返ってきました。

この関数ですが、関数自体の説明と被ってしまうのですが、除算時に分母が0であろうとNULLであろうと、結果はエラーでもNULLでもなく「0」を返したい場合に使えます。

具体的には、除算結果に対してCASE句やWHERE句などで分岐や絞り込みを行うとき、結果にnullが紛れていると適切に処理できないケースがあると思います。そんな時に便利な関数だと感じました。

実はSnowflakeには、元々DIV0という関数がありました（いつからDIV0関数があったかは私もわかっていないのですが…）

DIV0関数ですが、0除算の場合は0を返し、NULL除算の場合はNULLを返す、という関数です。

以上を踏まえると、使い分けのイメージは以下の4パターンかと思います。

分母に0があったらエラーを返してほしい

一般的な除算である「1/0」のような表記で記述する

分母に0があったら0を返してほしいが、分母にNULLがある場合にはNULLを返してほしい

DIV0関数を使用する

分母に0やNULLがある場合でも、0を返してほしい

DIV0NULL関数を使用する

分子にnullがある場合でも、分母に0やNULLがある場合でも、0を返してほしい

NVL関数とDIV0NULL関数を併用し、nvl(div0null(1,0), 0)のように記述する

最後に

0除算でもNULL除算でも0を返すSnowflakeの除算関数DIV0NULLを試してみました。

思いの外、NULL周りを制御する関数が多く、奥が深い領域だな～と感じた検証でした。

「Snowflake」まずは30日間無料トライアルから

クラスメソッドはSnowflakeの国内初 ソリューションパートナー です。Snowflakeの全製品・サービスをお取り扱いしています。今なら30日間無料でお試しできます。
ぜひ下記のリンク先フォームからお申し込みください。

以下をクリックするとSnowflakeサイトのフォームが開きます。お客様が入力した個人情報はSnowflake社とクラスメソッド株式会社にて共有されます。また、クラスメソッド株式会社からご連絡する場合がございます。お客様の個人情報は、Snowflakeおよび クラスメソッドのプライバシーポリシー に従って取り扱います。

無料トライアルはこちら

新しいゼロ除算システムを発見した。

自分

Snowflake でゼロ除算　DIV0NULL　が追加されたと有るのですが、詳しい情報が知りたい。２０２４．４．９．２２：４１

Copilot

具体的には、以下のような特徴があります:

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

構文: DIV0NULL(<dividend>, <divisor>)

dividend: 除算する値に評価される数値式

divisor: 除算する値に評価される数値式

戻り値: 商。除数が0またはNULLの場合、関数は0を返します。

例を見てみましょう: