アリストテレス以来、2400年に亘ってできないとされて来、天才たちによっても解明されず、現代数学

アリストテレス以来、2400年に亘ってできないとされて来、天才たちによっても解明されず、現代数学でも　公認できない、ゼロで割る問題、中学生以上の方なら　きっと分かる、ゼロで割る問題、ゼロ除算が　できることが分るでしょう。

２０２４．５．２．２２：０８

プラトンの弟子であり、ソクラテス、プラトンとともに、しばしば西洋最大の哲学者の一人とされる。知的探求つまり科学的な探求全般を指した当時の哲学を、倫理学、自然科学を始めとした学問として分類し、それらの体系を築いた業績から「万学の祖」とも呼ばれる^[2]。特に動物に関する体系的な研究は古代世界では東西に類を見ない。様々な著書を残し、イスラーム哲学や中世スコラ学、さらには近代哲学・論理学に多大な影響を与えた。また、マケドニア王アレクサンドロス3世

（通称アレクサンドロス大王）の家庭教師であったことでも知られる。

https://ja.wikipedia.org/wiki/%E3%82%A2%E3%83%AA%E3%82%B9%E3%83%88%E3%83%86%E3%83%AC%E3%82%B9https://ja.wikipedia.org/wiki/%E3%82%A2%E3%83%AA%E3%82%B9%E3%83%88%E3%83%86%E3%83%AC%E3%82%B9

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

やってはならない　ゼロ除算、考えはいけない　ゼロ除算　1/0=0/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　が用いられていることを知る：

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の兆しが見える。

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

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

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

従来の割り算の定義では、ゼロ除算不可能は当たり前、昔からそう考えてしまった。ところがゼロの意味や、ゼロ除算には　全く違う意味があることが分りました。面白いのは計算機システムが先に気づいたという事実です。　現在でも計算機関係では広く利用できるようになったのに、自由な数学界が　逆に強い思い込みに嵌って新世界に入れない。しかし、
ゼロによる除算エラーの処理

IBM
https://www.ibm.com › docs
www.ibm.com#:#https://www.ibm.com/docs/ja/i/7.3?topic=errors-handling-divide-by-zero
ゼロによる除算は、「Query ファイルのオープン (OPNQRYF)」コマンドではエラーとみなされます。ただし、ゼロの結果を受け取り、ゼロ除算エラーを防ぐことができます ...

エラー値 #DIV/0! を修正する方法

Microsoft Support
https://support.microsoft.com › ja-jp › office › エラー...
support.microsoft.com#:#https://support.microsoft.com/ja-jp/office/%E3%82%A8%E3%83%A9%E3%83%BC%E5%80%A4-div-0-%E3%82%92%E4%BF%AE%E6%AD%A3%E3%81%99%E3%82%8B%E6%96%B9%E6%B3%95-3a5a18a9-8d80-4ebb-a908-39e759a009a5
Microsoft Excel では、数値がゼロ (0) で除算されたときに #DIV/0! エラーが表示されます。この状況は、次の図に示すように、=5/0 のような単純な数式を入力したとき ...　となってきたので、お堅い数学界も　目を覚ますでしょう。面白い。２０２４．５．１０．９：０７美しい日。

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)

ゼロ除算（ゼロじょさん、0除算、英語: division by zero）とは、0で除す割り算のことである。

このような除算は除される数をaとするならば、形式上は a/0と書くことが ...

関連する質問

0は除算できないのはなぜ？

0による除算とは何ですか？

ゼロ除算は可能か？

ゼロ除算は可能で、正解はゼロです。何を0で割ってもゼロです。2022/04/22

ゼロ除算は可能で、正解はゼロです。何を0で割ってもゼロです。

ゼロ除算の対応は？

ゼロに対応する点は無限遠点で、1/0=∞ と考えられてきた。オイラー、アーベル、リーマンの流れである。ところが、ゼロ除算は1/0=0 で、実は無限遠点はゼロに対応していることが確認された。2022/04/22

ゼロ除算は可能で、正解はゼロです。何を0で割ってもゼロです。

ゼロ除算は可能か？

ゼロ除算は可能で、正解はゼロです。何を0で割ってもゼロです。2022/04/22

linkedin.com

https://jp.linkedin.com › pulse › ゼロ除算は可能で正解...

検索: ゼロ除算は可能か？

0の新しい意味の発見、0の意味から当たり前

0は　できないこと、しないこと、を現す意味をもつ。

0で割る事は割らないことで、したがって

割り当てられた数はない。

すなわち、0除算は０です。

何を0で割っても０です。

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

https://dev.classmethod.jp/articles/snowflake-function-div0null/

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

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

2024.4.20

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

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

分母で 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 に指示します。