|
Newton Special（2） |
|
おどろくほどかしこく進化したAI（人工知能）の出現は，「知能とは何か」という疑問をあらためて私たちに突きつけている。
人間の知能とAIの知能には，どのようなちがいがあるのだろうか。
監修 高橋宏知
執筆 尾崎太一
https://www.newtonpress.co.jp/dcms_media/image/Newton202408_070-071.jpg
人間の知能には、創造性があるが、AIの場合はその辺が幼稚であると思います。
AIの得意な所は、知識を集め、組み合わせて何かを作る。
広達トップ、「いまはＡＩの爆発期」
https://www.nna.jp/news/2670451
そう思います。
AI Will Become Mathematicians’ ‘Co-Pilot’
Fields Medalist Terence Tao explains how proof checkers and
AI programs are dramatically changing mathematics
German mathematician and Fields Medalist Peter Scholze collaborated in a Lean project—even though he told me he doesn’t know much about computers.
https://www.scientificamerican.com/article/ai-will-become-mathematicians-co-pilot/
Terence Tao, "Machine Assisted Proof"
https://www.youtube.com/watch?v=AayZuuDDKP0
Timothy Gowers
he has worked on automatic theorem proving and currently heads a research group in that field, concentrating on symbolic methods.
https://aimoprize.com/updates/2024-02-07-advisory-committee-announced
特集：知能ってなんだ？ AIから探る人間の知性 編集部
https://www.nikkei-science.com/202406_026.html
自分
知能ってなんだ？
Copilot
webを使用しています
知能は、さまざまな側面を持つため、個人の知能を評価する場合には慎重に行う必要があります。知能検査がその一つであり、知能指数（IQ）などが用いられますが、全ての知的能力を計測することは不可能です。教育は知性を高めるための一貫した方法であり、知能の発達は生涯を通じて変化していくこともあります1。
知恵と知識という概念も知能と関連しています。知恵は問題への対処法を考案する能力であり、知識は過去や他人の知恵の方法と結果を記憶または伝達し、目的に応じて有用な知識を取り出す能力です。知恵と知識をバランス良く使いこなすことが、実用的な意味でより高い知能を持つことにつながります1。
動物においても知能による行動を考えることがあり、動物行動学では先を見通して判断したとされる行動を知能によるものと判断します。例えば、動物が餌に向かって進む際に障害物を避ける判断をする場合、知能的な判断力が必要とされます1。
詳細情報
1
ja.wikipedia.org2kotobank.jp3wikiwand.com4eigobu.jp
自分
知性ってなんだ？
Copilot
webを使用しています
知性（ちせい）とは、物事を知り、考え、判断する能力、または人間の知的作用を営む能力を指します。これには比較、抽象、概念化、判断、推理などの機能が含まれ、感覚的なものを認識にまで高める精神的能力を意味します1。知性は、事柄を概念によって思考したり認識したりする悟性的な能力であり、感情や意志とは異なります。
知性は、直覚的に洞察する神の無限的な知性と、概念を用いて比較的にしか事柄を認識できない人間の有限的な知性とを対比することもあります。また、プラグマティズムのように、人間の知性も動物に備わる知能の延長であり、与えられた環境に適応する能力と見なす見方も存在します2。
知性は、知識や教養とも関連があり、知性豊かな人物は会話が楽しく、知識が豊富で、自分で判断できる、自己評価が高い、自己管理ができるなどの特徴があります。知性を身に付ける方法としては、自分の知性を知り、それを高めることが大切です3。
詳細情報
1dictionary.goo.ne.jp2kotobank.jp3oggi.jp
再生核研究所声明 762（2024.6.22)： 計算機はゼロ除算1/0=0/0=0に成功している、ゼロ除算障害を克服している
所謂 ゼロで割る問題、ゼロ除算はアリストテレス以来、出来ない、考えてはならないというのが、定説、常識であった。しかしながら物理の公式などで ゼロで割った場合に関心を持たれる場合が多いので、物理関係者はゼロ除算に関心を持たれて来た。
たとえば、ゼロ除算はアインシュタインの最大の関心事で、彼は数学を信じないと 不思議な言葉を残している。恰もゼロ除算不可能に 違和感を持たれていたかのように 解釈すると楽しい。ゼロ除算は 更に計算機がゼロ除算にあって 1997年9月、米海軍のミサイル巡洋艦「ヨークタウン」が任務不能に陥る緊急事態が起きた。搭載されていたコンピュータがシステムダウンし、エンジントラブルが発生。2時半ほど機能が麻痺した「ヨークタウン」は任務不能とされ、他の船に牽引され帰港するという異例の事態だった:
米軍のミサイル巡洋艦がシステムダウン！緊急事態の驚くべき ...
Book Bang －ブックバン
https://www.bookbang.jp › article
この衝撃的な事件で 計算機関係では ゼロ除算障害克服は 大きな関心の的であった。
しかしながら、現在ゼロ除算は可能になり、計算機のゼロ除算障害は 克服されていることを確認したい：
再生核研究所声明 745（2024.2.2)： 新ゼロ除算 ー ゼロ除算発見10周年記念に
得られている情報ではIsabelle, Lean, Coq, Snowflake, IBM, Microsoft Excelでゼロ除算1/0=0/0=0を活用して、ゼロ除算障害を克服している。また、実際的に広範に応用されている。
注目すべきは、real.div での採用は 正確に我々の意味でのゼロ除算であるのに、未だ世では、AI 等の情報でも、我々の意味でのゼロ除算の解明、発見を認識できず、 別々の特殊な世界における convension のような扱いになっていて 未だゼロ除算の新発見、解明を認識できていないことである。しかしながら、数学者が考えてはならないとしていた 驚嘆すべきゼロ除算1/0=0/0=0の採用に当たって、情報化の時代、しかも多くの情報を流している状況から鑑み 我々の理論と理論の経過について知らないで、 偶然に利用しているとは考えられない。ゼロ除算はずーっと広い話題になってきた。
実際、多くの批判が寄せられて結構有名に成ったBBCの報道事件が存在する：
Wikipedia
ki › Ja...
Media coverage:
Anderson's transreal arithmetic, and concept of "nullity" in particular, were introduced to the public by the BBC with its report in December 2006[5] where Anderson was featured on a BBC television segment teaching schoolchildren about his concept of "nullity". The report implied that Anderson had discovered the solution to division by zero, rather than simply attempting to formalize it. The report also suggested that Anderson was the first to solve this problem, when in fact the result of zero divided by zero has been expressed formally in a number of different ways (for example, NaN).
The BBC was criticized for irresponsible journalism, but the producers of the segment defended the BBC, stating that the report was a light-hearted look at a mathematical problem aimed at a mainstream, regional audience for BBC South Today rather than at a global audience of mathematicians. The BBC later posted a follow-up giving Anderson's response to many claims that the theory is flawed.
上記計算機関係機関は 相当に力ある機関であるから、ゼロ除算解明の事実を広め、世界の大きな話題に速やかにし、我々の願う 夜明けを迎えたいと 待ち望んでいる。 我々は有能な方による 現状の恥ずかしい数学を改め、ゼロ除算研究の推進を願っている：
以 上
再生核研究所声明 759（2024.5.13) 日本人の数学者はいないのか（BC569-1974）
ー プリンストン数学大全を見て、偏見、独断？
少し古い文献が出てきて、考えてしまった。率直な感想を述べたい。 朝倉書店から２０１５年にThe Princeton Companion to Mathematicsの訳書として出版された。 要するにピタゴラスからニコライ・ブルバキ96名の数学者に日本人が一人もいない状況に考えさせられてしまった。 昔、国際会議で日本に数学者はいるのか と述べている人に会ったが、それを想起させられる。（その方は100歳を超えられて未だご健在。）
世界史上となると、創造性、基本性、影響力が基本的な評価基準となるのではないだろうか。
そのような視点で 現れた数学者の意味は多くは理解できる。
ただ、まず、
そもそも数学とは何かに関してですが、数学の元は、ユークリッド幾何学と 四則演算の算術の法則 にあると考えられます。
この算術は インドの ブラ ーマグプタによって ゼロの導入と共に西暦 628 年に確立された。 図形、そして 算術の法則 です。
重要で、面白いことには これらは、デカルトの座標系の導入で、統一される。
これらの基礎の上に、幾何学、代数学、解析学が 発展している と考えられる。
と述べていたのに、ブラーマグプタが載っていないのには驚き、アジア軽視とゼロの忌避の精神を強く感じてしまった。
数学の基礎についてどの様に考えているのかと問いたい。
次に、当然ながら日本人で載るに値する数学者はいないのだろうか と考える。 小平邦彦先生や高木貞治先生、さらにプリンストンで活躍された著名な数学者は結構いると思われる。 本質的な重要性を 上記の観点で評価するとしても、専門外でも岡潔先生や 佐藤幹夫先生の超関数など 当然載るべき日本を代表する数学者のように思われる。
たとえば 多変数複素解析学が大事ならば、岡先生は外せない偉大な存在のように思われる。
そのように世界史上を考えれば、上記の続きに書かれている
ところが驚くべきことに、両方の基礎には 初めから欠陥が存在していた と考えられる。 無限遠点の考えと、ゼロ除算で ある。 空間の認識では無限の彼方は どうなっているかという観点が欠けていた。 四則演算においては、割り算における ゼロで割る問題 ゼロ除算問題 である。ブラーマグプタ自身は 初めから 0/0=0 と きちんと定義していたが、一般のゼロ除算は 考えなかった。－ これは 不可能である と考えたと思われる。 ゼロ除算の歴史は、もっと古く、物理的な意味から、アリストテレスが ゼロ除算は考えるべきではなく、かつ不可能であると述べていて、欧米の文化に大きな影響を与えてきたという。 ギリシャ文化は、ゼロ や空、無を嫌う 強い文化を有してきた。他方、インドでは 相当に深い思想 をもってきた。 ゼロ除算の結果は： 関数 f(x)/x の原点での値は、 関数 f(x) が原点で微分可能であれば、そこにおける微分係数 f’(0) で、微分可能でないときには、0 とする。特に、 1/0=0/0=z/0= tan(\pi/2) =0 and (z^n)/n = log z for n=0, exp(1/z) =1 for z=0。 基本的な関数 y=1/x の原点に於ける値は ゼロである。 無限遠点がゼロで 表される。分数とゼロの意味の 新しい発見である。（クテシビオスとバースカラ2世の例を図で示す） これらの数学の素人向きの解説は 55 カ月に亘って 次で与えられている： 数学基礎学力研究会公式サイト 楽しい数学 www.mirun.sctv.jp/~suugaku/ 数学的な解説論文は 次で公表されている： viXra:1904.0408 submitted on 2019-04-22 00:32:30, What Was Division by Zero?; Division by Zero Calculus and New World カリキュラムの変更内容は： 割り算の意味を、繰り返し減法、除算で指導する。基本的な関数 y=1/x の原点に於ける値は ゼロである。 ゼロ除算とゼロ除算算法の導入、無限遠点と ゼロ点が接していること、リーマン球面に対して、ホーントーラスの導入、多くの応用；（ゼロ除算算法の定義とホーントーラスの図） ゼロ除算算法の数学とは： 要するに 分母がゼロである ところで、あるいは 所謂 極と言って 孤立特異点を持つ解析関数で、あるいは ローラン展開で、今まで考えなかった、分母がゼロや極、あるいは孤立特異点で関数を考える ということです。 これらは、ユークリッド幾何学、解析幾何学、微積分学、線形代数学、微分方程式、複素解析学に広範な影響を与える。 現在、１３００件を超える所見、具体例 を持っていること。我々は 初等数学には 基本的な欠陥がある と述べている。 初等数学は 相当に変更されるべきである と考える。ゼロ除算は 数学者ばかりではなく 人類の、世界史の恥である と考えられる。
更に最近 下記のように計算機関係に広範な応用が現れてきた：
ソフトウェアが ゼロ除算 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は 便利だからの理解で、 弱いようである。２０２４．４．２０．１１：３５
このような状況は、既にゼロ除算、ゼロ除算算法の発見が世界史上の大きな発見であることは 数学を考えれば歴然である と考えられる。 それゆえに 日本国は相当に力を入れてこれらの研究をひろく推進して、世界に貢献すべきであると考えます。 我々は、日本国の名誉のためにも、世界の数学界のためにも 数学者の名誉に掛けて努力したい。
奥村博氏の 和算へのゼロ除算算法の応用は ユークリッド幾何学に革命を起こしており、それは世界史上の事件であることは 既に歴然であると考える：
H. Okumura, Geometry and division by zero calculus, International J. of Division by Zero Calculus, {\bf 1}(2021), (36pages).
以 上
再生核研究所声明 760（2024.5.17) 専制独裁政治、権威主義的な学会の弊害について
畏れ多くもプーチン体制と数学界は似ていて いろいろな弊害が出ているとの印象を述べて来た。 この辺は歴史的に明白であるように考えられるが 絶えず心していく重要な視点であると考えられるので、言及して置きたい。プーチン体制も数学界の権威も歴史的な必然性で現状に至ったのであるから、それらの正の部分をしっかりと評価する必要がある。 思い起こせば ヒトラーでさえドイツ再建に甚大な貢献をして その信頼、業績の上に独裁的な権力が確立したと考えられる。 プーチン氏においても同じ様に考えられる。もちろん数学界の権威もそうである。実績で権威が確立されている。
問題は、長期に続いた場合における独裁化の弊害である。この辺は普遍的な原理のように考えられるが、少人数で世界を見れば必ず、大きな社会とのずれが生じて、多くは変な体制に陥ってしまい、現在のロシアの様に 閉鎖的な おかしな国になってしまう。自由に意見が交わされ、それらが社会に反映される国ではなくなってしまう国の意味である。 政治社会では 権力の維持で、指導者が異様な心理状態に陥ってしまい、可笑しさが破局まで行ってしまうのは 相当な常道のように見える。 素晴らしいＮＨＫ大河ドラマ 光る君へ における権力の移行の様にも 良く現れている。 かつて恩師が 国家とは少数では捉えられない 大きな世界である と述べられた言葉を反芻してきた。 小さな原理で 国を見れば 必ず弊害が出て、可笑しくなる。 学界でも少数でその分野を見れば 必ず偏り、新しい芽や発想が生まれにくくなり、古ぼけた古い体質に陥ってしまう。 その点 開かれた欧米の体質では 多様な意見が自由に湧き、活かされどんどん新しい分野さえ生まれて来る。 東郷元帥の余りにも凄い成功で、その権威の影響で 日本には永く巨艦主義が残り、 飛行機時代を予見できなかったと言われている。 無力な戦艦大和を想起。 権威主義とは同じ様な弊害を有すると考えられるので、 気を付けて行きたい。 どんどん新しい概念や考えが生まれてくる時代である。 古い考えに拘っていると 多くの面で遅れをとり、 衰退の道を辿るのではないかと心配している。
ゼロ除算について言えば、ケンブリッジ大学では相当前から 議論していたが、 なかなか上手い考えが現れなかった。しかし、考えていたのである。 所謂推論システム、定理の検証の考え、論理を追及していて、何んと1980年代に 既にそのシステムはゼロ除算1/0=0を認識していたという。 そのころ推論システム、定理証明の考えをすでに相当に進めていたのである。 しかし、関係者がゼロ除算1/0=0は あまり意味が無いと考えて ゼロ除算の研究は 永く進まなかった。しかし乍ら 推論システム、定理証明の研究は 現在凄い勢いで世界の舞台で研究されているが、 日本は未だ 真面な議論さえ行なわれていないような状況に見える。 日本の遅れに驚嘆させられている。 イギリス、ドイツの先見性には畏敬の念を懐いている。 日本の体質で、軍事で言えば ドローンの構想、インターネットでは、スカイプ、Zoom会、YouTube, Chat GPT 等等の発展で 相当に後れをとっている。 それは 学界の権威主義が 閉鎖的な社会を構成しているためではないか と危惧される。 学界では新規な考えがどんどん発表され、議論される 開かれた体制にあるだろうか。 新規な発想や考えを歓迎し、未知の世界の研究に取り組む雰囲気があるだろうか。 そのような発想ではなく 唯 欧米の権威に追随して、欧米の賞賛を得たい風土に見える。 権威に頼らないと 真面に数学が評価されたり、 議論できないようだ。 マスコミの在りようも 同じ様に権威主義に陥って 閉鎖的な体質を有しているのではないだろうか。 どんどん価値ある情報とは何かと問い、自ら探す大事な精神に乏しく、何かに盲従しているような存在に見える。 そうか数学界では、何のための数学かが 問われないで、 唯夢中で 分からない成果、成果を求めているようだ。 これらは要するに文化後進国、未だ後進国と感じざるを得ない状況を示していると考えられる。 恥ずかしい、頑張ろう日本国。これでは情けない。実は この頑張ろう が良くなかった。プーチン体制でも 数学界でも 可笑しなくらいに おかしな方向で異常に頑張りすぎと言える。 昔、海外に住まわれていた方 日本から帰る途中、飛行機の中で言われた女性の言葉が想い出される： 日本の教育、あれなーに。 バカみたい。 海外で誰かに言われた。 忙しく夢中で沢山している研究、 じつは 実の無いものが 多いと。 そこで、余裕をもって じっくり楽しむように 進めようと 心したい。
思い出した、アメリカに10カ月滞在して 帰国後の文で、 逆に 西欧数学を輸入して100年余、ここまでに至った日本の文化力は凄い と 高い評価を与えている。
以 上
Albert Einstein’s words on mathematics: Blackholes are where God divided by zero.
I don’t believe in mathematics.
George Gamow (1904-1968) Russianborn American nuclear physicist and cosmologist remarked that ”it is well known to students of high school algebra” that division by zero is not valid; and Einstein admitted it as the biggest blunder of his life (Gamow, G., My World Line (Viking, New York). p 44, 1970).
In proof assistants[edit]
Many proof assistants, such as Coq and Lean, define 1/0 = 0. This is due to the requirement that all functions are total. Such a definition does not create contradictions, as further manipulations (such as cancelling out) still require that the divisor is non-zero.[33][34]
- Tanter, Éric; Tabareau, Nicolas (2015), "Gradual certified programming in coq", DLS 2015: Proceedings of the 11th Symposium on Dynamic Languages, Association for Computing Machinery, arXiv:1506.04205, doi:10.1145/2816707.2816710,
The standard division function on natural numbers in Coq, div, is total and pure, but incorrect: when the divisor is 0, the result is 0.
- ^ Buzzard, Kevin, "Division by zero in type theory: a FAQ", Xena Project (Blog), retrieved 2024-01-21
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)
2024.4.20
Microsoft Excel に ゼロ除算採用1/0=0の兆しが見える。
下記、#DIV/0! の代わりに 0 または "値なし" を表示し、の部分です。ゼロ除算は考えてはならないが 数学界の常識ですが、ゼロ除算が現れたとき、間違い、解なし、計算機が止まるなど、不便な状況が起きて居た。近年、1/0=0が広く採用されるようになってきた。ゼロ除算にゼロを返すは、厳格数学で、自然な意味での拡張された分数でそうなりますが、便利だからという理由で多用されるようになってきた。意味合いとしても、ゼロで割るは 考えてはならない、不可能である、そのような場合ゼロで表すことが良いことが広範に分かってきた。ゼロの意味の発見です。Coq, Lean,IBM 等は 更に深い理解で、ゼロ除算が利用されている。 Microsoft Excelは 便利だからの理解で、弱いようである。２０２４．４．２０．１１：３５
Microsoft Excel では、数値がゼロ (0) で除算されたときに #DIV/0! エラーが表示されます。 この状況は、次の図に示すように、=5/0 のような単純な数式を入力したとき、または 0 や空白のセルを数式で参照したときに発生します。
エラーを解決するには、次のいずれかの操作を行います。
-
関数または数式の除数がゼロまたは空白のセルでないことを確認します。
-
数式のセル参照を、ゼロ (0) または空白値でない別のセルに変更します。
-
数式で除数として参照されているセルに #N/A と入力します。これにより、数式の結果が #N/A に変更され、除数値に使用できないことが示されます。
数式がユーザーからの入力を待機しているために、#DIV/0! エラーを避けられないことがよくあります。 そのような場合、エラー メッセージがまったく表示されないようにするには、入力待機中にエラーを抑制する方法がいくつかあります。
分母で 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 に指示します。
IFERROR を使って #DIV/0! エラーを抑制する
IFERROR 関数内で除算操作を入れ子にすることで、このエラーを抑制することもできます。 再び A2/A3 を使うと、=IFERROR(A2/A3,0) のようになります。 この式は Excel に対し、数式がエラーと評価される場合は 0 を返し、それ以外の場合は数式の結果を返すように指示します。
Excel 2007 より前のバージョンの Excel では、IF(ISERROR()) メソッドを =IF(ISERROR(A2/A3),0,A2/A3) のように使用できます (「IS 関数」を参照)。
注: IFERROR メソッドと IF(ISERROR()) メソッドはどちらも、#DIV/0! だけでなく、すべてのエラーを抑制するという点で、一括エラー ハンドラーです。 エラー処理を適用する前に、数式が正しく動作することを確認する必要があります。そうしないと、数式が期待どおりに機能していないことに気付かない場合があります。
マイクロソフト（英: Microsoft Corporation）は、アメリカ合衆国ワシントン州に本社を置く、ソフトウェアを開発、販売する会社である。1975年にビル・ゲイツとポール・アレンによって創業された[注釈 1]。1985年にパソコン用OSのWindowsを開発。1990年にWindows向けのオフィスソフトとしてMicrosoft Officeを販売。1995年にウェブブラウザのInternet Explorerをリリース。2001年に家庭用ゲーム機のXboxを販売。2009年に検索エンジンのBingを設立。2010年にクラウドサービスとしてAzureを開始。2015年7月15日Microsoft Edgeを開発、そして展開。2024年2月時点での時価総額が世界1位[5]。
2023年1月、OpenAI傘下の営利法人OpenAI Globalにマイクロソフトが100億米ドルを出資し、同社の株式49%を取得[15]。OpenAIの技術を採用した生成的人工知能であるCopilotを展開している。https://ja.wikipedia.org/wiki/%E3%83%9E%E3%82%A4%E3%82%AF%E3%83%AD%E3%82%BD%E3%83%95%E3%83%88
https://www.ibm.com/docs/ja/i/7.3?topic=errors-handling-divide-by-zero
Snowflake Inc. is an American cloud computing–based data cloud company based in Bozeman, Montana. It was founded in July 2012 and was publicly launched in October 2014 after two years in stealth mode.[2][3]
The firm offers a cloud-based data storage and analytics service, generally termed "data-as-a-service".[4][5] It allows corporate users to store and analyze data using cloud-based hardware and software. Snowflake services main features are separation of storage and compute, on-the-fly scalable compute, data sharing, data cloning, and third-party tools support in order to scale with its enterprise customers.[6] It has run on Amazon Web Services since 2014,[2] on Microsoft Azure since 2018[7] and on the Google Cloud Platform since 2019.[8][9] The company was ranked first on the Forbes Cloud 100 in 2019.[10] The company's initial public offering raised $3.4 billion in September 2020, one of the largest software IPOs in history.[11]
https://en.wikipedia.org/wiki/Snowflake_Inc.
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
ゼロ除算とは何か
それはゼロで割ることである。ゼロで割る事とは何か。
その定義、意味が 問題である。
それを普通の掛け算の逆と考えれば、それはできないとか、定まらないと なり、それが永い間の世の常識である。
ところがゼロで割るという意味には、割ることの意味を 自然に拡張（ある一般的な意味における割る意味で）、あるいは そもそもゼロの意味から、考えると、ゼロ除算は何時でも可能で、何時でも ゼロで割ればゼロである という美しい数学が ２０１４．２．２．に発見された。 それを発展させた ゼロ除算算法 は 数学の基礎に甚大な影響を与え、数学ばかりではなく、人生観、世界観に 甚大な影響を与えることは分かってきた。特に、数学は そもそも基本的な欠陥を有している と言える。
２０２４．１．１０．５：４６
昨年12月から、Google ゼロ除算1ページ目：
ゼロ除算は可能か？