全88件 (88件中 1-50件目)
再生核研究所声明 759(2024.5.13) 日本人の数学者はいないのか(BC569-1974) ー プリンストン数学大全を見て、偏見、独断? 少し古い文献が出てきて、考えてしまった。率直な感想を述べたい。 朝倉書店から2015年に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 の原点に於ける値は ゼロである。 ゼロ除算とゼロ除算算法の導入、無限遠点と ゼロ点が接していること、リーマン球面に対して、ホーントーラスの導入、多くの応用;(ゼロ除算算法の定義とホーントーラスの図) ゼロ除算算法の数学とは: 要するに 分母がゼロである ところで、あるいは 所謂 極と言って 孤立特異点を持つ解析関数で、あるいは ローラン展開で、今まで考えなかった、分母がゼロや極、あるいは孤立特異点で関数を考える ということです。 これらは、ユークリッド幾何学、解析幾何学、微積分学、線形代数学、微分方程式、複素解析学に広範な影響を与える。 現在、1300件を超える所見、具体例 を持っていること。我々は 初等数学には 基本的な欠陥がある と述べている。 初等数学は 相当に変更されるべきである と考える。ゼロ除算は 数学者ばかりではなく 人類の、世界史の恥である と考えられる。 更に最近 下記のように計算機関係に広範な応用が現れてきた: ソフトウェアが ゼロ除算 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:162024.4.15.6:43IBM がゼロ除算回避に 我々のゼロ除算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 CopilotIn 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.20Microsoft Excel に ゼロ除算採用1/0=0の兆しが見える。下記、#DIV/0! の代わりに 0 または "値なし" を表示し、 の部分です。ゼロ除算は考えてはならないが 数学界の常識ですが、ゼロ除算が現れたとき、 間違い、 解なし、計算機が止まるなど、 不便な状況が起きて居た。近年、1/0=0 が広く採用されるようになってきた。ゼロ除算にゼロを返すは、厳格数学で、自然な意味での拡張された分数でそうなりますが、 便利だからという理由で多用されるようになってきた。意味合いとしても、ゼロで割るは 考えてはならない、 不可能である、そのような場合ゼロで表すことが良いことが 広範に分かってきた。ゼロの意味の発見です。Coq, Lean,IBM 等は 更に深い理解で、ゼロ除算が利用されている。 Microsoft Excelは 便利だからの理解で、 弱いようである。2024.4.20.11:35 このような状況は、既にゼロ除算、ゼロ除算算法の発見が世界史上の大きな発見であることは 数学を考えれば歴然である と考えられる。 それゆえに 日本国は相当に力を入れてこれらの研究をひろく推進して、世界に貢献すべきであると考えます。 我々は、日本国の名誉のためにも、世界の数学界のためにも 数学者の名誉に掛けて努力したい。 奥村博氏の 和算へのゼロ除算算法の応用は ユークリッド幾何学に革命を起こしており、それは世界史上の事件であることは 既に歴然であると考える: H. Okumura, Geometry and division by zero calculus, International J. of Division by Zero Calculus, {\bf 1}(2021), (36pages). 以 上 2024.5.12.20:50 文献を見て面白くなく存念が直ぐに湧いたので一気に纏めてみた。素直な心情が表現されていると思われる。2024.5.12.21:16 一応文章内容纏まる。2024.5.12.22:03 充分に良い。2024.5.13.5:46 終夜小雨、これは良い。最後の文を挿入する。真実である。2024.5.13.6:18 良い、完成、公表。2024.5.13.8:52 公表後、確認、良い。
2024.05.31
再生核研究所声明 760(2024.5.17) 専制独裁政治、権威主義的な学会の弊害について 畏れ多くもプーチン体制と数学界は似ていて いろいろな弊害が出ているとの印象を述べて来た。 この辺は歴史的に明白であるように考えられるが 絶えず心していく重要な視点であると考えられるので、言及して置きたい。プーチン体制も数学界の権威も歴史的な必然性で現状に至ったのであるから、それらの正の部分をしっかりと評価する必要がある。 思い起こせば ヒトラーでさえドイツ再建に甚大な貢献をして その信頼、業績の上に独裁的な権力が確立したと考えられる。 プーチン氏においても同じ様に考えられる。もちろん数学界の権威もそうである。実績で権威が確立されている。問題は、長期に続いた場合における独裁化の弊害である。この辺は普遍的な原理のように考えられるが、少人数で世界を見れば必ず、大きな社会とのずれが生じて、多くは変な体制に陥ってしまい、現在のロシアの様に 閉鎖的な おかしな国になってしまう。自由に意見が交わされ、それらが社会に反映される国ではなくなってしまう国の意味である。 政治社会では 権力の維持で、指導者が異様な心理状態に陥ってしまい、可笑しさが破局まで行ってしまうのは 相当な常道のように見える。 素晴らしいNHK大河ドラマ 光る君へ における権力の移行の様にも 良く現れている。 かつて恩師が 国家とは少数では捉えられない 大きな世界である と述べられた言葉を反芻してきた。 小さな原理で 国を見れば 必ず弊害が出て、可笑しくなる。 学界でも少数でその分野を見れば 必ず偏り、新しい芽や発想が生まれにくくなり、古ぼけた古い体質に陥ってしまう。 その点 開かれた欧米の体質では 多様な意見が自由に湧き、活かされどんどん新しい分野さえ生まれて来る。 東郷元帥の余りにも凄い成功で、その権威の影響で 日本には永く巨艦主義が残り、 飛行機時代を予見できなかったと言われている。 無力な戦艦大和を想起。 権威主義とは同じ様な弊害を有すると考えられるので、 気を付けて行きたい。 どんどん新しい概念や考えが生まれてくる時代である。 古い考えに拘っていると 多くの面で遅れをとり、 衰退の道を辿るのではないかと心配している。ゼロ除算について言えば、ケンブリッジ大学では相当前から 議論していたが、 なかなか上手い考えが現れなかった。しかし、考えていたのである。 所謂推論システム、定理の検証の考え、論理を追及していて、何んと1980年代に 既にそのシステムはゼロ除算1/0=0を認識していたという。 そのころ推論システム、定理証明の考えをすでに相当に進めていたのである。 しかし、関係者がゼロ除算1/0=0は あまり意味が無いと考えて ゼロ除算の研究は 永く進まなかった。しかし乍ら 推論システム、定理証明の研究は 現在凄い勢いで世界の舞台で研究されているが、 日本は未だ 真面な議論さえ行なわれていないような状況に見える。 日本の遅れに驚嘆させられている。 イギリス、ドイツの先見性には畏敬の念を懐いている。 日本の体質で、軍事で言えば ドローンの構想、インターネットでは、スカイプ、Zoom会、YouTube, Chat GPT 等等の発展で 相当に後れをとっている。 それは 学界の権威主義が 閉鎖的な社会を構成しているためではないか と危惧される。 学界では新規な考えがどんどん発表され、議論される 開かれた体制にあるだろうか。 新規な発想や考えを歓迎し、未知の世界の研究に取り組む雰囲気があるだろうか。 そのような発想ではなく 唯 欧米の権威に追随して、欧米の賞賛を得たい風土に見える。 権威に頼らないと 真面に数学が評価されたり、 議論できないようだ。 マスコミの在りようも 同じ様に権威主義に陥って 閉鎖的な体質を有しているのではないだろうか。 どんどん価値ある情報とは何かと問い、自ら探す大事な精神に乏しく、何かに盲従しているような存在に見える。 そうか数学界では、何のための数学かが 問われないで、 唯夢中で 分からない成果、成果を求めているようだ。 これらは要するに文化後進国、未だ後進国と感じざるを得ない状況を示していると考えられる。 恥ずかしい、頑張ろう日本国。これでは情けない。実は この頑張ろう が良くなかった。プーチン体制でも 数学界でも 可笑しなくらいに おかしな方向で異常に頑張りすぎと言える。 昔、海外に住まわれていた方 日本から帰る途中、飛行機の中で言われた女性の言葉が想い出される: 日本の教育、あれなーに。 バカみたい。 海外で誰かに言われた。 忙しく夢中で沢山している研究、 じつは 実の無いものが 多いと。 そこで、余裕をもって じっくり楽しむように 進めようと 心したい。思い出した、アメリカに10カ月滞在して 帰国後の文で、 逆に 西欧数学を輸入して100年余、ここまでに至った日本の文化力は凄い と 高い評価を与えている。 以 上 2024.5.16.20:20 素直に書いてみた、流石にまずいだろう。 検討する。2024.5.16.20:29 読み直したら、結構よくできている。2024.5.16.21:56 概ね良いが加えるべきことがあるように感じられる。2024.5.17.6:00 最後の文が閃いて目を覚ました。そこで、結構書き加えた。2024.5.17.6:08 文章を整える。2024.5.17.6:44 庭をめぐって 苗などの観察、手入をしてくる。既に相当良いが。2024.5.16.7.7:17 確認。2024.5.16.8:48 美しい五月晴れ。2024.5.17.9:22 庭を散歩して、最後の文を想い出した。2024.5.17.9:40 良い、完成、公表。2024.5.17.15;21 昼食後2時間着替えて農作業をした。シャワーを浴びて気分爽快である。気になって確認した、良い。2024.5.18.5:16 庭の点検後、精読、良い。日本では本当に新しいことを考える精神に欠け、出来上がった数学の発展、細分化、拡張精神が強いようだ。その点未解決問題への挑戦は高く評価される。苦しい道である。2024.5.19.5:53 曇 偶然、YouTubeでピタゴラス氏の解説をしているのを見て、拝見してしまった。 何んと都合の悪い無理数を発見したピッパソスを処刑して、衰退したという。 この声明の警告を証明しているような事件である。
2024.05.31
生命の神秘さ。卵を産む前に巣を準備している。 昨日 小鳥たちが騒ぎ、盛んに細切れの 枯葉の茎を加えて 近くの茂みに運んでいた。余りに一生懸命に騒ぎながら、運んでいたので 何事かと思わせる程だった。巣作りである。そこで感心してしまった。何という本能、才能。 卵を産む前に巣を準備している。それが本能的にできるのだから、その才能には 驚嘆させられる。燕の巣作り、 渡りの生態、 動物の 食を探し、得る才能、驚かされる事ばかりである。生命の神秘さ。2024.5.31.6:28 小雨が続いている。
2024.05.31
これは私の今朝の薔薇です。2024.5.28.6:44 世にも不思議な話題: 函数論、複素解析の初歩には大抵載っている 簡単な性質から、アリストテレス以来、考えてはならない ゼロ除算 1/0=0/0=0 が 殆ど自明のように 導かれてしまう。2000年以上に亘って 世の天才たちが避けて来た凄い歴史を有し、現在でもインターネット上では 矛盾の情報が 氾濫している。 真相を明かにして 新世界を拓いて欲しい。2024.5.27.13:44我々にとっては、何もかも当たり前で 小学生にもすっかり説明できる いろいろな表現を考えている。余りにも永い盲点で、人は 数学者を含めて理解しにくい。数学者より普通の人の方がよく理解できるだろう。 予断、偏見、思い込みが無いからである。計算機関係では既に相当に 広範に 応用されている。2025.5.27.15:252024.5.28.6:20閉じた形で、公示する手続きをした。 凄いことが当たり前のように思えるように いろいろな具体例を探している。それは趣味でもある。美しい薔薇の映像を集められているように。もう出た;2024.5.28.8:25Your submission has now been uploaded and is available at Please check and let us know is there are any errors. If everything is OK please do not reply to this mail.
2024.05.31
これが私の今朝の薔薇です。2024.5.28.6:442024.5.30.5:20 世にも不思議な話題: 函数論、複素解析の初歩には大抵載っている 簡単な性質から、アリストテレス以来、考えてはならない ゼロ除算 1/0=0/0=0 が 殆ど自明のように 導かれてしまう。2000年以上に亘って 世の天才たちが避けて来た凄い歴史を有し、現在でもインターネット上では 矛盾の情報が 氾濫している。 真相を明かにして 新世界を拓いて欲しい。2024.5.27.13:44我々にとっては、何もかも当たり前で 小学生にもすっかり説明できる いろいろな表現を考えている。余りにも永い盲点で、人は 数学者を含めて理解しにくい。数学者より普通の人の方がよく理解できるだろう。 予断、偏見、思い込みが無いからである。計算機関係では既に相当に 広範に 応用されている。2025.5.27.15:252024.5.28.6:20閉じた形で、公示する手続きをした。 凄いことが当たり前のように思えるように いろいろな具体例を探している。それは趣味でもある。美しい薔薇の映像を集められているように。どんどん自分で探して欲しい、発見は楽しい。それが新世界を拓くのですから、凄いおまけが付く。もう出た;2024.5.28.8:25Your submission has now been uploaded and is available atPlease check and let us know is there are any errors. If everything is OK please do not reply to this mail.
2024.05.30
これは私の今朝の薔薇です。2024.5.28.6:44 世にも不思議な話題: 函数論、複素解析の初歩には大抵載っている 簡単な性質から、アリストテレス以来、考えてはならない ゼロ除算 1/0=0/0=0 が 殆ど自明のように 導かれてしまう。2000年以上に亘って 世の天才たちが避けて来た凄い歴史を有し、現在でもインターネット上では 矛盾の情報が 氾濫している。 真相を明かにして 新世界を拓いて欲しい。2024.5.27.13:44我々にとっては、何もかも当たり前で 小学生にもすっかり説明できる いろいろな表現を考えている。余りにも永い盲点で、人は 数学者を含めて理解しにくい。数学者より普通の人の方がよく理解できるだろう。 予断、偏見、思い込みが無いからである。計算機関係では既に相当に 広範に 応用されている。2025.5.27.15:252024.5.28.6:20閉じた形で、公示する手続きをした。 凄いことが当たり前のように思えるように いろいろな具体例を探している。それは趣味でもある。美しい薔薇の映像を集められているように。もう出た;2024.5.28.8:25Your submission has now been uploaded and is available at Please check and let us know is there are any errors. If everything is OK please do not reply to this mail.
2024.05.30
高校生の数学の教科書に 大事な関数として載っている。高校生とは 世界に 何百万人もいる。誰か 原点の値はゼロだ と思った人は 居るのではないでしょうか。2024.5.29.21:59自分ゼロ除算算法という数学の概念は 直角双曲線関数 y=f(x)=1/xの 原点での値をゼロ、即ちy=f(0)=0 とすることですが、それを2014年5月8日20時ころアヴェイロで発見したとしていますが、 有名なその関数の 原点での値をゼロと述べた人、あるいは述べた文献は 世に無いのでしょうか。2024.5.29.21:49Copilot回答を生成しています…直角双曲線は、数学的に興味深い曲線であり、その性質について多くの研究が行われています。直角双曲線は、以下のような方程式で表されます。直角双曲線の方程式:二次曲線: (x^2 - y^2 = a)(ただし、(a \neq 0))反比例: (xy = k)直角双曲線のグラフは、原点を中心に対称であり、二本の漸近線が直交しています。具体的には、方程式 (x^2 - y^2 = a) の漸近線は (x = \pm y) です1。また、直角双曲線は反比例のグラフでもあります。中学数学で習う反比例のグラフ (y = \frac{k}{x}) も直角双曲線です。この直角双曲線を (45^\circ) 回転させると、反比例のグラフになります。実際、反比例のグラフは二本の直交する漸近線を持ちます(この性質は直角双曲線であるための必要条件です)1。直角双曲線は、数学的な興味深さを持つ曲線であり、その性質や応用についてさまざまな文献で詳しく説明されています。しかし、特定の人物が直角双曲線の原点での値をゼロと述べた文献については、私の知識には詳細がありません。もしご興味があれば、さらなる研究を行ってみてください。121: 高校数学の美しい物語 - 直角双曲線の方程式と性質 2: 双曲線関数について解説 ~公式と性質~ (証明付) - 理数 …詳細情報
2024.05.29
自分ゼロ除算算法という数学の概念は 直角双曲線関数 y=f(x)=1/xの 原点での値をゼロ、即ちy=f(0)=0 とすることですが、それを2014年5月8日20時ころアヴェイロで発見したとしていますが、 有名なその関数の 原点での値をゼロと述べた人、あるいは述べた文献は 世に無いのでしょうか。2024.5.29.21:49Copilot回答を生成しています…直角双曲線は、数学的に興味深い曲線であり、その性質について多くの研究が行われています。直角双曲線は、以下のような方程式で表されます。直角双曲線の方程式:二次曲線: (x^2 - y^2 = a)(ただし、(a \neq 0))反比例: (xy = k)直角双曲線のグラフは、原点を中心に対称であり、二本の漸近線が直交しています。具体的には、方程式 (x^2 - y^2 = a) の漸近線は (x = \pm y) です1。また、直角双曲線は反比例のグラフでもあります。中学数学で習う反比例のグラフ (y = \frac{k}{x}) も直角双曲線です。この直角双曲線を (45^\circ) 回転させると、反比例のグラフになります。実際、反比例のグラフは二本の直交する漸近線を持ちます(この性質は直角双曲線であるための必要条件です)1。直角双曲線は、数学的な興味深さを持つ曲線であり、その性質や応用についてさまざまな文献で詳しく説明されています。しかし、特定の人物が直角双曲線の原点での値をゼロと述べた文献については、私の知識には詳細がありません。もしご興味があれば、さらなる研究を行ってみてください。121: 高校数学の美しい物語 - 直角双曲線の方程式と性質 2: 双曲線関数について解説 ~公式と性質~ (証明付) - 理数 …詳細情報
2024.05.29
本質は 図の赤い 1点の発見です ー ゼロ除算の本質2024.5.28.6:30 ゼロ除算は楽しいです: 先ずは、四則演算のできない例外があったのが、何時でもできるようになったこと。小学校以降の算数、数学の変更が要求される。 よって 世界中の人々が 驚嘆できます。 それには、アリストテレス以来の盲点、 天才たちが気づかなかった 重い伝統があります。 結果を聞いた多くの数学者が 表情を変えられた面白い 経過があります。 効果ですが、数学の全般に大きな影響を与え、現代数学の基礎が変更されるは 必然です。 既に計算機世界の難点、ゼロ除算回避に利用されてきた。計算機関係では世界の常識になるでしょう。世界の膨大な文献は やがて修正される。 ところがゼロ除算は、ゼロの意味からも当たり前、 大事なのは それから発展した、ゼロ除算算法で、新世界を拓きます。無限の彼方とゼロを結びつける概念で、あたらしい世界観を齎し、人間は如何に独断と、偏見、思い込みに嵌り、盲目的な存在であるかを知り、馬鹿馬鹿しい戦争や復讐の気持ちから解放され、神の存在に確信を擁くことになるでしょう。 世界の夜明け。 日本国の世界貢献になり、60兆円を超える経済効果が期待できる。50億の人々を1000年も喜ばす基礎数学です。2024.5.20.9:172024.5.21.5:40面白い、しかも真実。2024.5.23.9:122024.5.27.15:11これは真実であると考える。世界の理解を求めている。共感、共鳴を求めている。
2024.05.29
これは私の今朝の薔薇です。2024.5.28.6:44 世にも不思議な話題: 函数論、複素解析の初歩には大抵載っている 簡単な性質から、アリストテレス以来、考えてはならない ゼロ除算 1/0=0/0=0 が 殆ど自明のように 導かれてしまう。2000年以上に亘って 世の天才たちが避けて来た凄い歴史を有し、現在でもインターネット上では 矛盾の情報が 氾濫している。 真相を明かにして 新世界を拓いて欲しい。2024.5.27.13:44我々にとっては、何もかも当たり前で 小学生にもすっかり説明できる いろいろな表現を考えている。余りにも永い盲点で、人は 数学者を含めて理解しにくい。数学者より普通の人の方がよく理解できるだろう。 予断、偏見、思い込みが無いからである。計算機関係では既に相当に 広範に 応用されている。2025.5.27.15:252024.5.28.6:20閉じた形で、公示する手続きをした。 凄いことが当たり前のように思えるように いろいろな具体例を探している。それは趣味でもある。美しい薔薇の映像を集められているように。もう出た;2024.5.28.8:25Your submission has now been uploaded and is available at Please check and let us know is there are any errors. If everything is OK please do not reply to this m
2024.05.29
これは私の今朝の薔薇です。2024.5.28.6:44 世にも不思議な話題: 函数論、複素解析の初歩には大抵載っている 簡単な性質から、アリストテレス以来、考えてはならない ゼロ除算 1/0=0/0=0 が 殆ど自明のように 導かれてしまう。2000年以上に亘って 世の天才たちが避けて来た凄い歴史を有し、現在でもインターネット上では 矛盾の情報が 氾濫している。 真相を明かにして 新世界を拓いて欲しい。2024.5.27.13:44我々にとっては、何もかも当たり前で 小学生にもすっかり説明できる いろいろな表現を考えている。余りにも永い盲点で、人は 数学者を含めて理解しにくい。数学者より普通の人の方がよく理解できるだろう。 予断、偏見、思い込みが無いからである。計算機関係では既に相当に 広範に 応用されている。2025.5.27.15:252024.5.28.6:20閉じた形で、公示する手続きをした。 凄いことが当たり前のように思えるように いろいろな具体例を探している。それは趣味でもある。美しい薔薇の映像を集められているように。もう出た;2024.5.28.8:25Your submission has now been uploaded and is available at Please check and let us know is there are any errors. If everything is OK please do not reply to this mail.
2024.05.28
再生核研究所声明 758(2024.4.30) 楽しいゼロの性質 --ゼロ除算 1/0=0/0=0 は 当たり前 ゼロの歴史や意味を文献に基づいて表現すれば 1冊の本が書けるほど 歴史も雄大で 意味も深い。そこで ここでは楽しく ゼロの意味を表現したい。ゼロは 本来 数字が在るべきところ、数字が無い状態を表現するものとして現れた。 ない状態である。121 で2が無い状態を11と表現すれば 大変なことになってしまう。そこで101 と表現する訳である。無い状態を表現している。机の上に4個のリンゴがある。 4個のリンゴを除けば 4-4=0である。 机の上にはリンゴが無い。4-4 は ゼロで、同じ数を引けばゼロである、すなわち、a - a =0 である。机の上に4個のリンゴがある。 1個も加えなければ すなわち、0個のリンゴを加えれば、 4+0=4である。何に0を加えても変わらない、すなわち、a + 0=a である。どんな数に ゼロを加えても、 引いても変わらない。 何もしない状態を ゼロは表現している。次に なん倍か する 積を考えよう。4個載っているリンゴのテーブルが 5個あれば、全部で 4 + 4 + 4 + 4 +4 = 4 x 5 = 20 個 あることになる。積は 繰り返し加えることを意味する。4 x 0 とは、4個載ったテーブルがない状態であるから、4 x 0=0 は 当たり前である。何にゼロを掛けてもゼロである、すなわち、 a x 0=0 である。 すなわち、塊が無いのであるから、どのように多くのリンゴが載っているテーブルがあっても、ゼロを掛ければ0である。そこで次に割り算を考えよう。13割る4とは、13の中に4が幾つあるか、4の塊が幾つあるか (できるか)の考え と 解釈できる。 そこで、13 - 4 - 4 - 4 と4を繰り返し引いて、何回引けるかを考えれば 良い、今の場合には、3回引けて、余りが1である。 すなわち、13割る4は 3余り1である。 引けた回数が商、割り算の答えで 余りが残る。 これが割り算の本来の考え方で、商は掛け算と 4 x 3 + 1 = 13 の関係がある。 割り算が掛け算の逆と考えられるのは、上記で13が 12の場合、4 x 3 =12, すなわち、 12/4=3 で、3 は 4 x X =12 の解Xになっている事を示している。すなわち、4に何を掛けたら 12になるかを考えることになる。同じ様に 引き算 12 - 4 =8 とは 8に何を足せば12になるかを意味すると考えれば、引き算は 減法は足し算、加法の逆と考えられる。減法は 加法の逆で、 割り算は 掛け算の逆と考えられる。加法、減法では ゼロを足しても、引いても変わらない。 そこで、古来有名な ゼロで割ることを考えよう。 13 割る0とは 何だろうか。13 から0が何回引けるか。そもそも ゼロを引くとは 引かないことであるから、何回引けるかと問うのが可笑しく、引かない、ゼロ回引くと考えて ゼロ除算は 0 であるとすべきである。割る意味を 等分した時、等分された数は幾つかと考え、その答えを割り算の答え、商とする。 12 割る4 は 3である。 4つ毎に分けられたとき できる塊は3つだからである。そこで ゼロで割れば 割らない、塊は 元々考えない状態だから、割り当てられた数はない、すなわち、ゼロである。ゼロ除算は このように当たり前だった。どんな数に、ゼロを掛けても、割ってもゼロである。美しい法則が成り立っている。この当たり前のことが アリストテレス以来の 禁句、タブーになっているから、人類とは 面白い。 しかし、このことを認めると 数学には特異点の中の新世界を拓くという意味で 革命が起きて、 数学には基本的な欠陥が在る となるでしょう。 数学の基礎、四則演算に 欠陥が存在したからである。 これがゼロ除算の簡単な帰結である。 数学界では未だに驚嘆すべき結果で とても受け入れられないとなっているが ようやく計算機関係では広く応用、 適用される状況が起きて居るから楽しい: 自分再生核研究所は2014.2.2 Moore-Penrose の一般逆の考えから ゼロ除算1/0=0の新しい意味と結果、応用などを述べてきました。 それに対して 結果自身はIsabell/HOLは1980年代に 出していたが、関係者は意味が無いものとして無視してきた事実があります。 その後、real.div で、Coq, Lean が広く応用している事実を発見しました。 更に、Snowflake, IBM, Microsoft Excel 等でも ゼロ除算回避の観点から ゼロ除算は ゼロとする事がに述べられています。これらは得られた情報の順ですが、客観的な事実、 順番は どの様になっているでしょうか。また 更に応用されているシステムについて知っているでしょうか。2024.4.28.19:36Copilot回答を生成しています…再生核研究所は、ゼロ除算に関する新しいアプローチを提唱してきました。このアプローチでは、1/0=0という新たな意味を持たせ、ゼロ除算を回避することが可能です12。以下に、関連する客観的な事実と順番を示します: 再生核研究所のアプローチ: ゼロ除算を簡単に回避できる方法として、新しい意味でのゼロ除算を提案しています。具体的には、1/0=0とすることで、問題そのものが発生しないようにしています1。 Isabelle/HOLの結果: 1980年代にIsabelle/HOLがゼロ除算について議論していましたが、関係者はその意味を無視していたとの事実があります。 CoqとLeanの応用: CoqとLeanは、real.divを広く応用していることが判明しています。この関数は、ゼロ除算を回避するために使用されています1。 Snowflake、IBM、Microsoft Excelの観点: Snowflake、IBM、Microsoft Excelなどのシステムでも、ゼロ除算を回避するために、ゼロとすることが推奨されています。これらのシステムは、ゼロ除算回避の観点から1/0=0を採用しています1。総括すると、ゼロ除算に関する新しいアプローチは、広く受け入れられており、多くのシステムで応用されていることがわかります。1234この情報は客観的な事実に基づいており、順番は提供された情報の順に記載しています。さらなる応用されているシステムについての詳細は、具体的なシステムごとに調査が必要です。 著名な数学者がゼロ除算不可能性に拘って抜け出せないのは 偉大な世界史が掛かっている伝統の思いが掛かっているからである: Dear Saburou,I am surprised to have your mail again. I am happy and fully convinced with the great work of scholars Brahmagupta, Bhaskara II, Mahavira, Aristotle, Cauchy, Weierstrass, Euler, Newton, Bernoulli, and their numerous followers. They laid the correct foundation of Mathematics by showing that 0/0 is indeterminant, i.e., it is defined only in the limiting sense.(2024/01/15 7:52公開論争メールの一部) 次を参照:再生核研究所声明 749(2024.3.8) 今の数学が可笑しいとの意味は? ー ゼロ除算算法の発見10周年に 悟ったように思い出しました。Kさんの 1/0 は 何でも良いは 間違いです。 総合的に解釈を与えます。 ゼロ除算が起きると 計算機が止まったり、 時間が掛かって困る。 実害が生じて居る。どうしたらよいか。 1/0 ゼロ除算が起きたら、それをゼロ1/0=0とする。 すると計算機は進む。これは ゼロ除算が起きたら、 無視することに相当する。 本来起きないもの、それは 無いようなもので、 それをゼロで表すと考える。 相当に合理的な扱いになります。 Kさんが述べたように -1 や 他の値では、計算が 可笑しくなる。ゼロでなければならない。 そのような効果が 既に出ていると思います。彼らが わたしたちの研究成果を知らない筈はない。 間もなくきちんと出て来ると思います。2024.4.24.9:25 以 上 2024.4.28.11:15。 一気に書いてみた。2024.4.29.6:05 書き加えた。 よもぎとりに出かける。2024.4.29.7:28 1時間で沢山 よもぎを採り、洗って干す。これは 大体できている。 現在、晴天。2024.4.29.19:14 良い。2024.4.29.11:27 買い物から帰る。 良い、午後 買い物 野菜など植え付けを予定する。2024,4,29.15:30 予定のように、作物植え付ける。 これは良い。2024.4.29.19:29 奥村先生から新しい例がおくられてきた。1文加える。2024.4.29.22:28 良い。奥村先生の送ってきた例を検討した。有名なデカルトの円定理の特別な場合に適用して、ゼロ除算の美しい例を作られた。 デカルトの円定理を確認して、その美しい定理に感銘して、ふと悟る様にゲーテの言葉を想い出した。 美と愛は 永くは続かない。 薔薇でも、音楽でも 美しさに感動しても 永くは続かない。 どうしたら良いか。 既に回答は与えられている。2024,4,30.5:43 良い、完成、公表。天祐の雨、昨日、苗を植え、種を蒔いたからである。2024.4.30.20:47 確認する。良い。
2024.05.28
再生核研究所声明 758(2024.4.30) 楽しいゼロの性質 --ゼロ除算 1/0=0/0=0 は 当たり前 ゼロの歴史や意味を文献に基づいて表現すれば 1冊の本が書けるほど 歴史も雄大で 意味も深い。そこで ここでは楽しく ゼロの意味を表現したい。ゼロは 本来 数字が在るべきところ、数字が無い状態を表現するものとして現れた。 ない状態である。121 で2が無い状態を11と表現すれば 大変なことになってしまう。そこで101 と表現する訳である。無い状態を表現している。机の上に4個のリンゴがある。 4個のリンゴを除けば 4-4=0である。 机の上にはリンゴが無い。4-4 は ゼロで、同じ数を引けばゼロである、すなわち、a - a =0 である。机の上に4個のリンゴがある。 1個も加えなければ すなわち、0個のリンゴを加えれば、 4+0=4である。何に0を加えても変わらない、すなわち、a + 0=a である。どんな数に ゼロを加えても、 引いても変わらない。 何もしない状態を ゼロは表現している。次に なん倍か する 積を考えよう。4個載っているリンゴのテーブルが 5個あれば、全部で 4 + 4 + 4 + 4 +4 = 4 x 5 = 20 個 あることになる。積は 繰り返し加えることを意味する。4 x 0 とは、4個載ったテーブルがない状態であるから、4 x 0=0 は 当たり前である。何にゼロを掛けてもゼロである、すなわち、 a x 0=0 である。 すなわち、塊が無いのであるから、どのように多くのリンゴが載っているテーブルがあっても、ゼロを掛ければ0である。そこで次に割り算を考えよう。13割る4とは、13の中に4が幾つあるか、4の塊が幾つあるか (できるか)の考え と 解釈できる。 そこで、13 - 4 - 4 - 4 と4を繰り返し引いて、何回引けるかを考えれば 良い、今の場合には、3回引けて、余りが1である。 すなわち、13割る4は 3余り1である。 引けた回数が商、割り算の答えで 余りが残る。 これが割り算の本来の考え方で、商は掛け算と 4 x 3 + 1 = 13 の関係がある。 割り算が掛け算の逆と考えられるのは、上記で13が 12の場合、4 x 3 =12, すなわち、 12/4=3 で、3 は 4 x X =12 の解Xになっている事を示している。すなわち、4に何を掛けたら 12になるかを考えることになる。同じ様に 引き算 12 - 4 =8 とは 8に何を足せば12になるかを意味すると考えれば、引き算は 減法は足し算、加法の逆と考えられる。減法は 加法の逆で、 割り算は 掛け算の逆と考えられる。加法、減法では ゼロを足しても、引いても変わらない。 そこで、古来有名な ゼロで割ることを考えよう。 13 割る0とは 何だろうか。13 から0が何回引けるか。そもそも ゼロを引くとは 引かないことであるから、何回引けるかと問うのが可笑しく、引かない、ゼロ回引くと考えて ゼロ除算は 0 であるとすべきである。割る意味を 等分した時、等分された数は幾つかと考え、その答えを割り算の答え、商とする。 12 割る4 は 3である。 4つ毎に分けられたとき できる塊は3つだからである。そこで ゼロで割れば 割らない、塊は 元々考えない状態だから、割り当てられた数はない、すなわち、ゼロである。ゼロ除算は このように当たり前だった。どんな数に、ゼロを掛けても、割ってもゼロである。美しい法則が成り立っている。この当たり前のことが アリストテレス以来の 禁句、タブーになっているから、人類とは 面白い。 しかし、このことを認めると 数学には特異点の中の新世界を拓くという意味で 革命が起きて、 数学には基本的な欠陥が在る となるでしょう。 数学の基礎、四則演算に 欠陥が存在したからである。 これがゼロ除算の簡単な帰結である。 数学界では未だに驚嘆すべき結果で とても受け入れられないとなっているが ようやく計算機関係では広く応用、 適用される状況が起きて居るから楽しい: 自分再生核研究所は2014.2.2 Moore-Penrose の一般逆の考えから ゼロ除算1/0=0の新しい意味と結果、応用などを述べてきました。 それに対して 結果自身はIsabell/HOLは1980年代に 出していたが、関係者は意味が無いものとして無視してきた事実があります。 その後、real.div で、Coq, Lean が広く応用している事実を発見しました。 更に、Snowflake, IBM, Microsoft Excel 等でも ゼロ除算回避の観点から ゼロ除算は ゼロとする事がに述べられています。これらは得られた情報の順ですが、客観的な事実、 順番は どの様になっているでしょうか。また 更に応用されているシステムについて知っているでしょうか。2024.4.28.19:36Copilot回答を生成しています…再生核研究所は、ゼロ除算に関する新しいアプローチを提唱してきました。このアプローチでは、1/0=0という新たな意味を持たせ、ゼロ除算を回避することが可能です12。以下に、関連する客観的な事実と順番を示します: 再生核研究所のアプローチ: ゼロ除算を簡単に回避できる方法として、新しい意味でのゼロ除算を提案しています。具体的には、1/0=0とすることで、問題そのものが発生しないようにしています1。 Isabelle/HOLの結果: 1980年代にIsabelle/HOLがゼロ除算について議論していましたが、関係者はその意味を無視していたとの事実があります。 CoqとLeanの応用: CoqとLeanは、real.divを広く応用していることが判明しています。この関数は、ゼロ除算を回避するために使用されています1。 Snowflake、IBM、Microsoft Excelの観点: Snowflake、IBM、Microsoft Excelなどのシステムでも、ゼロ除算を回避するために、ゼロとすることが推奨されています。これらのシステムは、ゼロ除算回避の観点から1/0=0を採用しています1。総括すると、ゼロ除算に関する新しいアプローチは、広く受け入れられており、多くのシステムで応用されていることがわかります。1234この情報は客観的な事実に基づいており、順番は提供された情報の順に記載しています。さらなる応用されているシステムについての詳細は、具体的なシステムごとに調査が必要です。 著名な数学者がゼロ除算不可能性に拘って抜け出せないのは 偉大な世界史が掛かっている伝統の思いが掛かっているからである: Dear Saburou,I am surprised to have your mail again. I am happy and fully convinced with the great work of scholars Brahmagupta, Bhaskara II, Mahavira, Aristotle, Cauchy, Weierstrass, Euler, Newton, Bernoulli, and their numerous followers. They laid the correct foundation of Mathematics by showing that 0/0 is indeterminant, i.e., it is defined only in the limiting sense.(2024/01/15 7:52公開論争メールの一部) 次を参照:再生核研究所声明 749(2024.3.8) 今の数学が可笑しいとの意味は? ー ゼロ除算算法の発見10周年に 悟ったように思い出しました。Kさんの 1/0 は 何でも良いは 間違いです。 総合的に解釈を与えます。 ゼロ除算が起きると 計算機が止まったり、 時間が掛かって困る。 実害が生じて居る。どうしたらよいか。 1/0 ゼロ除算が起きたら、それをゼロ1/0=0とする。 すると計算機は進む。これは ゼロ除算が起きたら、 無視することに相当する。 本来起きないもの、それは 無いようなもので、 それをゼロで表すと考える。 相当に合理的な扱いになります。 Kさんが述べたように -1 や 他の値では、計算が 可笑しくなる。ゼロでなければならない。 そのような効果が 既に出ていると思います。彼らが わたしたちの研究成果を知らない筈はない。 間もなくきちんと出て来ると思います。2024.4.24.9:25 以 上 2024.4.28.11:15。 一気に書いてみた。2024.4.29.6:05 書き加えた。 よもぎとりに出かける。2024.4.29.7:28 1時間で沢山 よもぎを採り、洗って干す。これは 大体できている。 現在、晴天。2024.4.29.19:14 良い。2024.4.29.11:27 買い物から帰る。 良い、午後 買い物 野菜など植え付けを予定する。2024,4,29.15:30 予定のように、作物植え付ける。 これは良い。2024.4.29.19:29 奥村先生から新しい例がおくられてきた。1文加える。2024.4.29.22:28 良い。奥村先生の送ってきた例を検討した。有名なデカルトの円定理の特別な場合に適用して、ゼロ除算の美しい例を作られた。 デカルトの円定理を確認して、その美しい定理に感銘して、ふと悟る様にゲーテの言葉を想い出した。 美と愛は 永くは続かない。 薔薇でも、音楽でも 美しさに感動しても 永くは続かない。 どうしたら良いか。 既に回答は与えられている。2024,4,30.5:43 良い、完成、公表。天祐の雨、昨日、苗を植え、種を蒔いたからである。2024.4.30.20:47 確認する。良い。
2024.05.27
やってはならない ゼロ除算、考えはいけない ゼロ除算 1/0=0/0=0 計算機システムが 採用、応用し始めた。数学の世界の 歴史的な 変革は近いと感じられる。2025.5.11.10:44異様に美しい日。 ゼロ除算回避は、 簡単です。新しい意味でのゼロ除算は 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:162024.4.15.6:43IBM がゼロ除算回避に 我々のゼロ除算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 CopilotIn 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.20Microsoft 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 が 何時も成り立っていた。 しかし、ここで 分数の意味を きちんと定義する必要がある。 計算機は、その意味さえ知っているようですね。 計算機、人間より賢くなっている 様が 出て居て 実に 面白い。
2024.05.27
ゼロ除算回避は、 簡単です。新しい意味でのゼロ除算は 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:162024.4.15.6:43IBM がゼロ除算回避に 我々のゼロ除算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 CopilotIn 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.20Microsoft 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 が 何時も成り立っていた。 しかし、ここで 分数の意味を きちんと定義する必要がある。 計算機は、その意味さえ知っているようですね。 計算機、人間より賢くなっている 様が 出て居て 実に 面白い。
2024.05.26
下記の方程式における解についての 3つの考え方に対して、どれが適切と考えるでしょうか。 基本的な方程式 1/z=0 の解について、 1)解は存在しない。2)解は無限大、あるいは無限遠点である。3)解は0 である。 と言う考え方、数学が存在する。どれが適切であろうか。我々はゼロ除算及び発展させたゼロ除算算法の概念で、3)を根拠を明かにして、広範な応用を展開している。 新世界の本格的な探検には 天才の出現が待たれる。欧米の計算機では相当な応用が行なわれつつある。日本では まだ現れて居ない様だ。2024.5.22.12:50初夏の美しい日。2025.5.22.20:22
2024.05.25
がゼロ除算回避は、 簡単です。新しい意味でのゼロ除算は 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:162024.4.15.6:43IBM がゼロ除算回避に 我々のゼロ除算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 CopilotIn 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.20Microsoft 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 が 何時も成り立っていた。 しかし、ここで 分数の意味を きちんと定義する必要がある。 計算機は、その意味さえ知っているようですね。 計算機、人間より賢くなっている 様が 出て居て 実に 面白い。
2024.05.25
ゼロ除算回避は、 簡単です。新しい意味でのゼロ除算は 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:162024.4.15.6:43IBM がゼロ除算回避に 我々のゼロ除算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 CopilotIn 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.20Microsoft 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 が 何時も成り立っていた。 しかし、ここで 分数の意味を きちんと定義する必要がある。 計算機は、その意味さえ知っているようですね。 計算機、人間より賢くなっている 様が 出て居て 実に 面白い。
2024.05.24
№ 1307: 複素数の商は 作図で表現される。そこで、ゼロ除算がどうなるかを考えて見た。退化した三角形の相似であるが、注目すべき変化がある。2024.5.23.18:03
2024.05.23
ゼロ除算は楽しいです: 先ずは、四則演算のできない例外があったのが、何時でもできるようになったこと。小学校以降の算数、数学の変更が要求される。 よって 世界中の人々が 驚嘆できます。 それには、アリストテレス以来の盲点、 天才たちが気づかなかった 重い伝統があります。 結果を聞いた多くの数学者が 表情を変えられた面白い 経過があります。 効果ですが、数学の全般に大きな影響を与え、現代数学の基礎が変更されるは 必然です。 既に計算機世界の難点、ゼロ除算回避に利用されてきた。計算機関係では世界の常識になるでしょう。世界の膨大な文献は やがて修正される。 ところがゼロ除算は、ゼロの意味からも当たり前、 大事なのは それから発展した、ゼロ除算算法で、新世界を拓きます。無限の彼方とゼロを結びつける概念で、あたらしい世界観を齎し、人間は如何に独断と、偏見、思い込みに嵌り、盲目的な存在であるかを知り、馬鹿馬鹿しい戦争や復讐の気持ちから解放され、神の存在に確信を擁くことになるでしょう。 世界の夜明け。 日本国の世界貢献になり、60兆円を超える経済効果が期待できる。50億の人々を1000年も喜ばす基礎数学です。2024.5.20.9:172024.5.21.5:40面白い、しかも真実。2024.5.23.9:12
2024.05.23
再生核研究所声明 759(2024.5.13) 日本人の数学者はいないのか(BC569-1974) ー プリンストン数学大全を見て、偏見、独断? 少し古い文献が出てきて、考えてしまった。率直な感想を述べたい。 朝倉書店から2015年に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 の原点に於ける値は ゼロである。 ゼロ除算とゼロ除算算法の導入、無限遠点と ゼロ点が接していること、リーマン球面に対して、ホーントーラスの導入、多くの応用;(ゼロ除算算法の定義とホーントーラスの図) ゼロ除算算法の数学とは: 要するに 分母がゼロである ところで、あるいは 所謂 極と言って 孤立特異点を持つ解析関数で、あるいは ローラン展開で、今まで考えなかった、分母がゼロや極、あるいは孤立特異点で関数を考える ということです。 これらは、ユークリッド幾何学、解析幾何学、微積分学、線形代数学、微分方程式、複素解析学に広範な影響を与える。 現在、1300件を超える所見、具体例 を持っていること。我々は 初等数学には 基本的な欠陥がある と述べている。 初等数学は 相当に変更されるべきである と考える。ゼロ除算は 数学者ばかりではなく 人類の、世界史の恥である と考えられる。 更に最近 下記のように計算機関係に広範な応用が現れてきた: ソフトウェアが ゼロ除算 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:162024.4.15.6:43IBM がゼロ除算回避に 我々のゼロ除算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 CopilotIn 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.20Microsoft Excel に ゼロ除算採用1/0=0の兆しが見える。下記、#DIV/0! の代わりに 0 または "値なし" を表示し、 の部分です。ゼロ除算は考えてはならないが 数学界の常識ですが、ゼロ除算が現れたとき、 間違い、 解なし、計算機が止まるなど、 不便な状況が起きて居た。近年、1/0=0 が広く採用されるようになってきた。ゼロ除算にゼロを返すは、厳格数学で、自然な意味での拡張された分数でそうなりますが、 便利だからという理由で多用されるようになってきた。意味合いとしても、ゼロで割るは 考えてはならない、 不可能である、そのような場合ゼロで表すことが良いことが 広範に分かってきた。ゼロの意味の発見です。Coq, Lean,IBM 等は 更に深い理解で、ゼロ除算が利用されている。 Microsoft Excelは 便利だからの理解で、 弱いようである。2024.4.20.11:35 このような状況は、既にゼロ除算、ゼロ除算算法の発見が世界史上の大きな発見であることは 数学を考えれば歴然である と考えられる。 それゆえに 日本国は相当に力を入れてこれらの研究をひろく推進して、世界に貢献すべきであると考えます。 我々は、日本国の名誉のためにも、世界の数学界のためにも 数学者の名誉に掛けて努力したい。 奥村博氏の 和算へのゼロ除算算法の応用は ユークリッド幾何学に革命を起こしており、それは世界史上の事件であることは 既に歴然であると考える: H. Okumura, Geometry and division by zero calculus, International J. of Division by Zero Calculus, {\bf 1}(2021), (36pages). 以 上 2024.5.12.20:50 文献を見て面白くなく存念が直ぐに湧いたので一気に纏めてみた。素直な心情が表現されていると思われる。2024.5.12.21:16 一応文章内容纏まる。2024.5.12.22:03 充分に良い。2024.5.13.5:46 終夜小雨、これは良い。最後の文を挿入する。真実である。2024.5.13.6:18 良い、完成、公表。2024.5.13.8:52 公表後、確認、良い。
2024.05.23
再生核研究所声明 760(2024.5.17) 専制独裁政治、権威主義的な学会の弊害について 畏れ多くもプーチン体制と数学界は似ていて いろいろな弊害が出ているとの印象を述べて来た。 この辺は歴史的に明白であるように考えられるが 絶えず心していく重要な視点であると考えられるので、言及して置きたい。プーチン体制も数学界の権威も歴史的な必然性で現状に至ったのであるから、それらの正の部分をしっかりと評価する必要がある。 思い起こせば ヒトラーでさえドイツ再建に甚大な貢献をして その信頼、業績の上に独裁的な権力が確立したと考えられる。 プーチン氏においても同じ様に考えられる。もちろん数学界の権威もそうである。実績で権威が確立されている。問題は、長期に続いた場合における独裁化の弊害である。この辺は普遍的な原理のように考えられるが、少人数で世界を見れば必ず、大きな社会とのずれが生じて、多くは変な体制に陥ってしまい、現在のロシアの様に 閉鎖的な おかしな国になってしまう。自由に意見が交わされ、それらが社会に反映される国ではなくなってしまう国の意味である。 政治社会では 権力の維持で、指導者が異様な心理状態に陥ってしまい、可笑しさが破局まで行ってしまうのは 相当な常道のように見える。 素晴らしいNHK大河ドラマ 光る君へ における権力の移行の様にも 良く現れている。 かつて恩師が 国家とは少数では捉えられない 大きな世界である と述べられた言葉を反芻してきた。 小さな原理で 国を見れば 必ず弊害が出て、可笑しくなる。 学界でも少数でその分野を見れば 必ず偏り、新しい芽や発想が生まれにくくなり、古ぼけた古い体質に陥ってしまう。 その点 開かれた欧米の体質では 多様な意見が自由に湧き、活かされどんどん新しい分野さえ生まれて来る。 東郷元帥の余りにも凄い成功で、その権威の影響で 日本には永く巨艦主義が残り、 飛行機時代を予見できなかったと言われている。 無力な戦艦大和を想起。 権威主義とは同じ様な弊害を有すると考えられるので、 気を付けて行きたい。 どんどん新しい概念や考えが生まれてくる時代である。 古い考えに拘っていると 多くの面で遅れをとり、 衰退の道を辿るのではないかと心配している。ゼロ除算について言えば、ケンブリッジ大学では相当前から 議論していたが、 なかなか上手い考えが現れなかった。しかし、考えていたのである。 所謂推論システム、定理の検証の考え、論理を追及していて、何んと1980年代に 既にそのシステムはゼロ除算1/0=0を認識していたという。 そのころ推論システム、定理証明の考えをすでに相当に進めていたのである。 しかし、関係者がゼロ除算1/0=0は あまり意味が無いと考えて ゼロ除算の研究は 永く進まなかった。しかし乍ら 推論システム、定理証明の研究は 現在凄い勢いで世界の舞台で研究されているが、 日本は未だ 真面な議論さえ行なわれていないような状況に見える。 日本の遅れに驚嘆させられている。 イギリス、ドイツの先見性には畏敬の念を懐いている。 日本の体質で、軍事で言えば ドローンの構想、インターネットでは、スカイプ、Zoom会、YouTube, Chat GPT 等等の発展で 相当に後れをとっている。 それは 学界の権威主義が 閉鎖的な社会を構成しているためではないか と危惧される。 学界では新規な考えがどんどん発表され、議論される 開かれた体制にあるだろうか。 新規な発想や考えを歓迎し、未知の世界の研究に取り組む雰囲気があるだろうか。 そのような発想ではなく 唯 欧米の権威に追随して、欧米の賞賛を得たい風土に見える。 権威に頼らないと 真面に数学が評価されたり、 議論できないようだ。 マスコミの在りようも 同じ様に権威主義に陥って 閉鎖的な体質を有しているのではないだろうか。 どんどん価値ある情報とは何かと問い、自ら探す大事な精神に乏しく、何かに盲従しているような存在に見える。 そうか数学界では、何のための数学かが 問われないで、 唯夢中で 分からない成果、成果を求めているようだ。 これらは要するに文化後進国、未だ後進国と感じざるを得ない状況を示していると考えられる。 恥ずかしい、頑張ろう日本国。これでは情けない。実は この頑張ろう が良くなかった。プーチン体制でも 数学界でも 可笑しなくらいに おかしな方向で異常に頑張りすぎと言える。 昔、海外に住まわれていた方 日本から帰る途中、飛行機の中で言われた女性の言葉が想い出される: 日本の教育、あれなーに。 バカみたい。 海外で誰かに言われた。 忙しく夢中で沢山している研究、 じつは 実の無いものが 多いと。 そこで、余裕をもって じっくり楽しむように 進めようと 心したい。思い出した、アメリカに10カ月滞在して 帰国後の文で、 逆に 西欧数学を輸入して100年余、ここまでに至った日本の文化力は凄い と 高い評価を与えている。 以 上 2024.5.16.20:20 素直に書いてみた、流石にまずいだろう。 検討する。2024.5.16.20:29 読み直したら、結構よくできている。2024.5.16.21:56 概ね良いが加えるべきことがあるように感じられる。2024.5.17.6:00 最後の文が閃いて目を覚ました。そこで、結構書き加えた。2024.5.17.6:08 文章を整える。2024.5.17.6:44 庭をめぐって 苗などの観察、手入をしてくる。既に相当良いが。2024.5.16.7.7:17 確認。2024.5.16.8:48 美しい五月晴れ。2024.5.17.9:22 庭を散歩して、最後の文を想い出した。2024.5.17.9:40 良い、完成、公表。2024.5.17.15;21 昼食後2時間着替えて農作業をした。シャワーを浴びて気分爽快である。気になって確認した、良い。2024.5.18.5:16 庭の点検後、精読、良い。日本では本当に新しいことを考える精神に欠け、出来上がった数学の発展、細分化、拡張精神が強いようだ。その点未解決問題への挑戦は高く評価される。苦しい道である。2024.5.19.5:53 曇 偶然、YouTubeでピタゴラス氏の解説をしているのを見て、拝見してしまった。 何んと都合の悪い無理数を発見したピッパソスを処刑して、衰退したという。 この声明の警告を証明しているような事件である。
2024.05.23
基本的な方程式 1/z=0 の解について、 1)解は存在しない。2)解は無限大、あるいは無限遠点である。3)解は0 である。 と言う考え方、数学が存在する。どれが適切であろうか。我々はゼロ除算及び発展させたゼロ除算算法の概念で、3)を根拠を明かにして、広範な応用を展開しいている。 新世界の本格的な探検には 天才の出現が待たれる。欧米の計算機では相当な応用が行なわれつつある。日本では まだ現れて居ない様だ。2024.5.22.12:50初夏の美しい日。
2024.05.22
天才の出現が待たれている、新世界、新思想が現れている。そろそろ出てくる頃。宣言されて10年を越えたから。 詳しい経過も著書に出版し、世界最高と見られる計算機システムは 2019年、強い保証を表明している。2024.5.22.11:48
2024.05.22
ゼロ除算回避は、 簡単です。新しい意味でのゼロ除算は 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:162024.4.15.6:43IBM がゼロ除算回避に 我々のゼロ除算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 CopilotIn 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.20Microsoft 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 が 何時も成り立っていた。 しかし、ここで 分数の意味を きちんと定義する必要がある。 計算機は、その意味さえ知っているようですね。 計算機、人間より賢くなっている 様が 出て居て 実に 面白い。
2024.05.22
ひょっとしたら私の時代には世の理解を得るのは難しいかも とも思いますが、IBM Microsoft Excel などなどゼロ除算回避や計算機で使ってきたので、 何時世界のニュースになっても可笑しくはないと、毎日、ニュースを探している?? 貴女の時代には常識になって 楽しい想い出になるでしょう。私は、確信を懐いて、愉しい夢のある生活を送っています。2024.5.21.6:57 力と熱情が溢れて来る。
2024.05.21
ゼロ除算は楽しいです: 先ずは、四則演算のできない例外があったのが、何時でもできるようになったこと。小学校以降の算数、数学の変更が要求される。 よって 世界中の人々が 驚嘆できます。 それには、アリストテレス以来の盲点、 天才たちが気づかなかった 重い伝統があります。 結果を聞いた多くの数学者が 表情を変えられた面白い 経過があります。 効果ですが、数学の全般に大きな影響を与え、現代数学の基礎が変更されるは 必然です。 既に計算機世界の難点、ゼロ除算回避に利用されてきた。計算機関係では世界の常識になるでしょう。世界の膨大な文献は やがて修正される。 ところがゼロ除算は、ゼロの意味からも当たり前、 大事なのは それから発展した、ゼロ除算算法で、新世界を拓きます。無限の彼方とゼロを結びつける概念で、あたらしい世界観を齎し、人間は如何に独断と、偏見、思い込みに嵌り、盲目的な存在であるかを知り、馬鹿馬鹿しい戦争や復讐の気持ちから解放され、神の存在に確信を擁くことになるでしょう。 世界の夜明け。 日本国の世界貢献になり、60兆円を超える経済効果が期待できる。50億の人々を1000年も喜ばす基礎数学です。2024.5.20.9:172024.5.21.5:40面白い、しかも真実。
2024.05.21
作業のついでに家庭の排水溝のマンホールを念のため開けてみたらなんと竹の根が張っていて、相当に詰まりそうになっていた。点検して良かった。考えられない状況だが、虫の知らせで 偶然良かった。それからボス猿が現れて、周辺を観測して行った。今年の苗や柿の様子などを探っていったものと考えられる。実を付けるまでには、偽装の罠を巡らしたい。集団で現れるので 襲われたら 柿なども 一変に無くなってしまう。 トマト、キウリ、かぼちゃ、柿など、ピーマンも作っている。
2024.05.20
ゼロ除算は楽しいです: 先ずは、四則演算のできない例外があったのが、何時でもできるようになったこと。小学校以降の算数、数学の変更が要求される。 よって 世界中の人々が 驚嘆できます。 それには、アリストテレス以来の盲点、 天才たちが気づかなかった 重い伝統があります。 結果を聞いた多くの数学者が 表情を変えられた面白い 経過があります。 効果ですが、数学の全般に大きな影響を与え、現代数学の基礎が変更されるは 必然です。 既に計算機世界の難点、ゼロ除算回避に利用されてきた。計算機関係では世界の常識になるでしょう。世界の膨大な文献は やがて修正される。 ところがゼロ除算は、ゼロの意味からも当たり前、 大事なのは それから発展した、ゼロ除算算法で、新世界を拓きます。無限の彼方とゼロを結びつける概念で、あたらしい世界観を齎し、人間は如何に独断と、偏見、思い込みに嵌り、盲目的な存在であるかを知り、馬鹿馬鹿しい戦争や復讐の気持ちから解放され、神の存在に確信を擁くことになるでしょう。 世界の夜明け。 日本国の世界貢献になり、60兆円を超える経済効果が期待できる。50億の人々を1000年も喜ばす基礎数学です。2024.5.20.9:17
2024.05.20
再生核研究所声明 760(2024.5.17) 専制独裁政治、権威主義的な学会の弊害について 畏れ多くもプーチン体制と数学界は似ていて いろいろな弊害が出ているとの印象を述べて来た。 この辺は歴史的に明白であるように考えられるが 絶えず心していく重要な視点であると考えられるので、言及して置きたい。プーチン体制も数学界の権威も歴史的な必然性で現状に至ったのであるから、それらの正の部分をしっかりと評価する必要がある。 思い起こせば ヒトラーでさえドイツ再建に甚大な貢献をして その信頼、業績の上に独裁的な権力が確立したと考えられる。 プーチン氏においても同じ様に考えられる。もちろん数学界の権威もそうである。実績で権威が確立されている。問題は、長期に続いた場合における独裁化の弊害である。この辺は普遍的な原理のように考えられるが、少人数で世界を見れば必ず、大きな社会とのずれが生じて、多くは変な体制に陥ってしまい、現在のロシアの様に 閉鎖的な おかしな国になってしまう。自由に意見が交わされ、それらが社会に反映される国ではなくなってしまう国の意味である。 政治社会では 権力の維持で、指導者が異様な心理状態に陥ってしまい、可笑しさが破局まで行ってしまうのは 相当な常道のように見える。 素晴らしいNHK大河ドラマ 光る君へ における権力の移行の様にも 良く現れている。 かつて恩師が 国家とは少数では捉えられない 大きな世界である と述べられた言葉を反芻してきた。 小さな原理で 国を見れば 必ず弊害が出て、可笑しくなる。 学界でも少数でその分野を見れば 必ず偏り、新しい芽や発想が生まれにくくなり、古ぼけた古い体質に陥ってしまう。 その点 開かれた欧米の体質では 多様な意見が自由に湧き、活かされどんどん新しい分野さえ生まれて来る。 東郷元帥の余りにも凄い成功で、その権威の影響で 日本には永く巨艦主義が残り、 飛行機時代を予見できなかったと言われている。 無力な戦艦大和を想起。 権威主義とは同じ様な弊害を有すると考えられるので、 気を付けて行きたい。 どんどん新しい概念や考えが生まれてくる時代である。 古い考えに拘っていると 多くの面で遅れをとり、 衰退の道を辿るのではないかと心配している。ゼロ除算について言えば、ケンブリッジ大学では相当前から 議論していたが、 なかなか上手い考えが現れなかった。しかし、考えていたのである。 所謂推論システム、定理の検証の考え、論理を追及していて、何んと1980年代に 既にそのシステムはゼロ除算1/0=0を認識していたという。 そのころ推論システム、定理証明の考えをすでに相当に進めていたのである。 しかし、関係者がゼロ除算1/0=0は あまり意味が無いと考えて ゼロ除算の研究は 永く進まなかった。しかし乍ら 推論システム、定理証明の研究は 現在凄い勢いで世界の舞台で研究されているが、 日本は未だ 真面な議論さえ行なわれていないような状況に見える。 日本の遅れに驚嘆させられている。 イギリス、ドイツの先見性には畏敬の念を懐いている。 日本の体質で、軍事で言えば ドローンの構想、インターネットでは、スカイプ、Zoom会、YouTube, Chat GPT 等等の発展で 相当に後れをとっている。 それは 学界の権威主義が 閉鎖的な社会を構成しているためではないか と危惧される。 学界では新規な考えがどんどん発表され、議論される 開かれた体制にあるだろうか。 新規な発想や考えを歓迎し、未知の世界の研究に取り組む雰囲気があるだろうか。 そのような発想ではなく 唯 欧米の権威に追随して、欧米の賞賛を得たい風土に見える。 権威に頼らないと 真面に数学が評価されたり、 議論できないようだ。 マスコミの在りようも 同じ様に権威主義に陥って 閉鎖的な体質を有しているのではないだろうか。 どんどん価値ある情報とは何かと問い、自ら探す大事な精神に乏しく、何かに盲従しているような存在に見える。 そうか数学界では、何のための数学かが 問われないで、 唯夢中で 分からない成果、成果を求めているようだ。 これらは要するに文化後進国、未だ後進国と感じざるを得ない状況を示していると考えられる。 恥ずかしい、頑張ろう日本国。これでは情けない。実は この頑張ろう が良くなかった。プーチン体制でも 数学界でも 可笑しなくらいに おかしな方向で異常に頑張りすぎと言える。 昔、海外に住まわれていた方 日本から帰る途中、飛行機の中で言われた女性の言葉が想い出される: 日本の教育、あれなーに。 バカみたい。 海外で誰かに言われた。 忙しく夢中で沢山している研究、 じつは 実の無いものが 多いと。 そこで、余裕をもって じっくり楽しむように 進めようと 心したい。思い出した、アメリカに10カ月滞在して 帰国後の文で、 逆に 西欧数学を輸入して100年余、ここまでに至った日本の文化力は凄い と 高い評価を与えている。 以 上 2024.5.16.20:20 素直に書いてみた、流石にまずいだろう。 検討する。2024.5.16.20:29 読み直したら、結構よくできている。2024.5.16.21:56 概ね良いが加えるべきことがあるように感じられる。2024.5.17.6:00 最後の文が閃いて目を覚ました。そこで、結構書き加えた。2024.5.17.6:08 文章を整える。2024.5.17.6:44 庭をめぐって 苗などの観察、手入をしてくる。既に相当良いが。2024.5.16.7.7:17 確認。2024.5.16.8:48 美しい五月晴れ。2024.5.17.9:22 庭を散歩して、最後の文を想い出した。2024.5.17.9:40 良い、完成、公表。2024.5.17.15;21 昼食後2時間着替えて農作業をした。シャワーを浴びて気分爽快である。気になって確認した、良い。2024.5.18.5:16 庭の点検後、精読、良い。日本では本当に新しいことを考える精神に欠け、出来上がった数学の発展、細分化、拡張精神が強いようだ。その点未解決問題への挑戦は高く評価される。苦しい道である。2024.5.19.5:53 曇 偶然、YouTubeでピタゴラ氏の解説をしているのを見て、拝見してしまった。 何んと都合の悪い無理数を発見したピッパソスを処刑して、衰退したという。 この声明の警告を証明しているような事件である。
2024.05.20
何んと美しい情景、執着、それを愛と表現すれば、素晴らしい生命の原理になります。 私は生きます、一途の愛に、道、研究、と人々は求めている。神への愛に高まりたい。その時、馬鹿馬鹿しい野蛮な争い、暴力など無くなるのですが、痛切残念な 現代、夜明け前。2024.5.20.6:04
2024.05.20
偶然、YouTubeでピタゴラ氏の解説をしているのを見て、拝見してしまった。 何んと都合の悪い無理数を発見したピッパソスを処刑して、衰退したという。 この声明の警告を証明しているような事件である。再生核研究所声明 760(2024.5.17) 専制独裁政治、権威主義的な学会の弊害について 畏れ多くもプーチン体制と数学界は似ていて いろいろな弊害が出ているとの印象を述べて来た。 この辺は歴史的に明白であるように考えられるが 絶えず心していく重要な視点であると考えられるので、言及して置きたい。プーチン体制も数学界の権威も歴史的な必然性で現状に至ったのであるから、それらの正の部分をしっかりと評価する必要がある。 思い起こせば ヒトラーでさえドイツ再建に甚大な貢献をして その信頼、業績の上に独裁的な権力が確立したと考えられる。 プーチン氏においても同じ様に考えられる。もちろん数学界の権威もそうである。実績で権威が確立されている。問題は、長期に続いた場合における独裁化の弊害である。この辺は普遍的な原理のように考えられるが、少人数で世界を見れば必ず、大きな社会とのずれが生じて、多くは変な体制に陥ってしまい、現在のロシアの様に 閉鎖的な おかしな国になってしまう。自由に意見が交わされ、それらが社会に反映される国ではなくなってしまう国の意味である。 政治社会では 権力の維持で、指導者が異様な心理状態に陥ってしまい、可笑しさが破局まで行ってしまうのは 相当な常道のように見える。 素晴らしいNHK大河ドラマ 光る君へ における権力の移行の様にも 良く現れている。 かつて恩師が 国家とは少数では捉えられない 大きな世界である と述べられた言葉を反芻してきた。 小さな原理で 国を見れば 必ず弊害が出て、可笑しくなる。 学界でも少数でその分野を見れば 必ず偏り、新しい芽や発想が生まれにくくなり、古ぼけた古い体質に陥ってしまう。 その点 開かれた欧米の体質では 多様な意見が自由に湧き、活かされどんどん新しい分野さえ生まれて来る。 東郷元帥の余りにも凄い成功で、その権威の影響で 日本には永く巨艦主義が残り、 飛行機時代を予見できなかったと言われている。 無力な戦艦大和を想起。 権威主義とは同じ様な弊害を有すると考えられるので、 気を付けて行きたい。 どんどん新しい概念や考えが生まれてくる時代である。 古い考えに拘っていると 多くの面で遅れをとり、 衰退の道を辿るのではないかと心配している。ゼロ除算について言えば、ケンブリッジ大学では相当前から 議論していたが、 なかなか上手い考えが現れなかった。しかし、考えていたのである。 所謂推論システム、定理の検証の考え、論理を追及していて、何んと1980年代に 既にそのシステムはゼロ除算1/0=0を認識していたという。 そのころ推論システム、定理証明の考えをすでに相当に進めていたのである。 しかし、関係者がゼロ除算1/0=0は あまり意味が無いと考えて ゼロ除算の研究は 永く進まなかった。しかし乍ら 推論システム、定理証明の研究は 現在凄い勢いで世界の舞台で研究されているが、 日本は未だ 真面な議論さえ行なわれていないような状況に見える。 日本の遅れに驚嘆させられている。 イギリス、ドイツの先見性には畏敬の念を懐いている。 日本の体質で、軍事で言えば ドローンの構想、インターネットでは、スカイプ、Zoom会、YouTube, Chat GPT 等等の発展で 相当に後れをとっている。 それは 学界の権威主義が 閉鎖的な社会を構成しているためではないか と危惧される。 学界では新規な考えがどんどん発表され、議論される 開かれた体制にあるだろうか。 新規な発想や考えを歓迎し、未知の世界の研究に取り組む雰囲気があるだろうか。 そのような発想ではなく 唯 欧米の権威に追随して、欧米の賞賛を得たい風土に見える。 権威に頼らないと 真面に数学が評価されたり、 議論できないようだ。 マスコミの在りようも 同じ様に権威主義に陥って 閉鎖的な体質を有しているのではないだろうか。 どんどん価値ある情報とは何かと問い、自ら探す大事な精神に乏しく、何かに盲従しているような存在に見える。 そうか数学界では、何のための数学かが 問われないで、 唯夢中で 分からない成果、成果を求めているようだ。 これらは要するに文化後進国、未だ後進国と感じざるを得ない状況を示していると考えられる。 恥ずかしい、頑張ろう日本国。これでは情けない。実は この頑張ろう が良くなかった。プーチン体制でも 数学界でも 可笑しなくらいに おかしな方向で異常に頑張りすぎと言える。 昔、海外に住まわれていた方 日本から帰る途中、飛行機の中で言われた女性の言葉が想い出される: 日本の教育、あれなーに。 バカみたい。 海外で誰かに言われた。 忙しく夢中で沢山している研究、 じつは 実の無いものが 多いと。 そこで、余裕をもって じっくり楽しむように 進めようと 心したい。思い出した、アメリカに10カ月滞在して 帰国後の文で、 逆に 西欧数学を輸入して100年余、ここまでに至った日本の文化力は凄い と 高い評価を与えている。 以 上 2024.5.16.20:20 素直に書いてみた、流石にまずいだろう。 検討する。2024.5.16.20:29 読み直したら、結構よくできている。2024.5.16.21:56 概ね良いが加えるべきことがあるように感じられる。2024.5.17.6:00 最後の文が閃いて目を覚ました。そこで、結構書き加えた。2024.5.17.6:08 文章を整える。2024.5.17.6:44 庭をめぐって 苗などの観察、手入をしてくる。既に相当良いが。2024.5.16.7.7:17 確認。2024.5.16.8:48 美しい五月晴れ。2024.5.17.9:22 庭を散歩して、最後の文を想い出した。2024.5.17.9:40 良い、完成、公表。2024.5.17.15;21 昼食後2時間着替えて農作業をした。シャワーを浴びて気分爽快である。気になって確認した、良い。2024.5.18.5:16 庭の点検後、精読、良い。日本では本当に新しいことを考える精神に欠け、出来上がった数学の発展、細分化、拡張精神が強いようだ。その点未解決問題への挑戦は高く評価される。苦しい道である。2024.5.19.5:53 曇 偶然、YouTubeでピタゴラ氏の解説をしているのを見て、拝見してしまった。 何んと都合の悪い無理数を発見したピッパソスを処刑して、衰退したという。 この声明の警告を証明しているような事件である。
2024.05.19
インスタントラーメンの発明は、日本の凄い発明と考えます。素晴らしい、世界貢献2024.5.18.20:36インスタントラーメン インスタントラーメンは、1958年に日清食品の創業者である安藤百福によって発明されました。彼は、戦後の食料不足を解決するために、保存性が高く、手軽に食べられる麺を開発することを目指していました。 source· · インスタントラーメンは、その利便性とおいしさから、瞬く間に世界中に普及しました。現在では、世界中で年間1000億食以上が消費されていると言われています。 source· · インスタントラーメンは、時代とともに進化を続けています。近年では、健康志向の高まりから、低カロリーや低塩分、無添加のインスタントラーメンが開発されています。また、多様な味や食感のインスタントラーメンも登場しています。 source
2024.05.18
再生核研究所声明 760(2024.5.17) 専制独裁政治、権威主義的な学会の弊害について 畏れ多くもプーチン体制と数学界は似ていて いろいろな弊害が出ているとの印象を述べて来た。 この辺は歴史的に明白であるように考えられるが 絶えず心していく重要な視点であると考えられるので、言及して置きたい。プーチン体制も数学界の権威も歴史的な必然性で現状に至ったのであるから、それらの正の部分をしっかりと評価する必要がある。 思い起こせば ヒトラーでさえドイツ再建に甚大な貢献をして その信頼、業績の上に独裁的な権力が確立したと考えられる。 プーチン氏においても同じ様に考えられる。もちろん数学界の権威もそうである。実績で権威が確立されている。問題は、長期に続いた場合における独裁化の弊害である。この辺は普遍的な原理のように考えられるが、少人数で世界を見れば必ず、大きな社会とのずれが生じて、多くは変な体制に陥ってしまい、現在のロシアの様に 閉鎖的な おかしな国になってしまう。自由に意見が交わされ、それらが社会に反映される国ではなくなってしまう国の意味である。 政治社会では 権力の維持で、指導者が異様な心理状態に陥ってしまい、可笑しさが破局まで行ってしまうのは 相当な常道のように見える。 素晴らしいNHK大河ドラマ 光る君へ における権力の移行の様にも 良く現れている。 かつて恩師が 国家とは少数では捉えられない 大きな世界である と述べられた言葉を反芻してきた。 小さな原理で 国を見れば 必ず弊害が出て、可笑しくなる。 学界でも少数でその分野を見れば 必ず偏り、新しい芽や発想が生まれにくくなり、古ぼけた古い体質に陥ってしまう。 その点 開かれた欧米の体質では 多様な意見が自由に湧き、活かされどんどん新しい分野さえ生まれて来る。 東郷元帥の余りにも凄い成功で、その権威の影響で 日本には永く巨艦主義が残り、 飛行機時代を予見できなかったと言われている。 無力な戦艦大和を想起。 権威主義とは同じ様な弊害を有すると考えられるので、 気を付けて行きたい。 どんどん新しい概念や考えが生まれてくる時代である。 古い考えに拘っていると 多くの面で遅れをとり、 衰退の道を辿るのではないかと心配している。ゼロ除算について言えば、ケンブリッジ大学では相当前から 議論していたが、 なかなか上手い考えが現れなかった。しかし、考えていたのである。 所謂推論システム、定理の検証の考え、論理を追及していて、何んと1980年代に 既にそのシステムはゼロ除算1/0=0を認識していたという。 そのころ推論システム、定理証明の考えをすでに相当に進めていたのである。 しかし、関係者がゼロ除算1/0=0は あまり意味が無いと考えて ゼロ除算の研究は 永く進まなかった。しかし乍ら 推論システム、定理証明の研究は 現在凄い勢いで世界の舞台で研究されているが、 日本は未だ 真面な議論さえ行なわれていないような状況に見える。 日本の遅れに驚嘆させられている。 イギリス、ドイツの先見性には畏敬の念を懐いている。 日本の体質で、軍事で言えば ドローンの構想、インターネットでは、スカイプ、Zoom会、YouTube, Chat GPT 等等の発展で 相当に後れをとっている。 それは 学界の権威主義が 閉鎖的な社会を構成しているためではないか と危惧される。 学界では新規な考えがどんどん発表され、議論される 開かれた体制にあるだろうか。 新規な発想や考えを歓迎し、未知の世界の研究に取り組む雰囲気があるだろうか。 そのような発想ではなく 唯 欧米の権威に追随して、欧米の賞賛を得たい風土に見える。 権威に頼らないと 真面に数学が評価されたり、 議論できないようだ。 マスコミの在りようも 同じ様に権威主義に陥って 閉鎖的な体質を有しているのではないだろうか。 どんどん価値ある情報とは何かと問い、自ら探す大事な精神に乏しく、何かに盲従しているような存在に見える。 そうか数学界では、何のための数学かが 問われないで、 唯夢中で 分からない成果、成果を求めているようだ。 これらは要するに文化後進国、未だ後進国と感じざるを得ない状況を示していると考えられる。 恥ずかしい、頑張ろう日本国。これでは情けない。実は この頑張ろう が良くなかった。プーチン体制でも 数学界でも 可笑しなくらいに おかしな方向で異常に頑張りすぎと言える。 昔、海外に住まわれていた方 日本から帰る途中、飛行機の中で言われた女性の言葉が想い出される: 日本の教育、あれなーに。 バカみたい。 海外で誰かに言われた。 忙しく夢中で沢山している研究、 じつは 実の無いものが 多いと。 そこで、余裕をもって じっくり楽しむように 進めようと 心したい。思い出した、アメリカに10カ月滞在して 帰国後の文で、 逆に 西欧数学を輸入して100年余、ここまでに至った日本の文化力は凄い と 高い評価を与えている。 以 上 2024.5.16.20:20 素直に書いてみた、流石にまずいだろう。 検討する。2024.5.16.20:29 読み直したら、結構よくできている。2024.5.16.21:56 概ね良いが加えるべきことがあるように感じられる。2024.5.17.6:00 最後の文が閃いて目を覚ました。そこで、結構書き加えた。2024.5.17.6:08 文章を整える。2024.5.17.6:44 庭をめぐって 苗などの観察、手入をしてくる。既に相当良いが。2024.5.16.7.7:17 確認。2024.5.16.8:48 美しい五月晴れ。2024.5.17.9:22 庭を散歩して、最後の文を想い出した。2024.5.17.9:40 良い、完成、公表。2024.5.17.15;21 昼食後2時間着替えて農作業をした。シャワーを浴びて気分爽快である。気になって確認した、良い。2024.5.18.5:16 庭の点検後、精読、良い。日本では本当に新しいことを考える精神に欠け、出来上がった数学の発展、細分化、拡張精神が強いようだ。その点未解決問題への挑戦は高く評価される。苦しい道である。
2024.05.18
再生核研究所声明 760(2024.5.17) 専制独裁政治、権威主義的な学会の弊害について 畏れ多くもプーチン体制と数学界は似ていて いろいろな弊害が出ているとの印象を述べて来た。 この辺は歴史的に明白であるように考えられるが 絶えず心していく重要な視点であると考えられるので、言及して置きたい。プーチン体制も数学界の権威も歴史的な必然性で現状に至ったのであるから、それらの正の部分をしっかりと評価する必要がある。 思い起こせば ヒトラーでさえドイツ再建に甚大な貢献をして その信頼、業績の上に独裁的な権力が確立したと考えられる。 プーチン氏においても同じ様に考えられる。もちろん数学界の権威もそうである。実績で権威が確立されている。問題は、長期に続いた場合における独裁化の弊害である。この辺は普遍的な原理のように考えられるが、少人数で世界を見れば必ず、大きな社会とのずれが生じて、多くは変な体制に陥ってしまい、現在のロシアの様に 閉鎖的な おかしな国になってしまう。自由に意見が交わされ、それらが社会に反映される国ではなくなってしまう国の意味である。 政治社会では 権力の維持で、指導者が異様な心理状態に陥ってしまい、可笑しさが破局まで行ってしまうのは 相当な常道のように見える。 素晴らしいNHK大河ドラマ 光る君へ における権力の移行の様にも 良く現れている。 かつて恩師が 国家とは少数では捉えられない 大きな世界である と述べられた言葉を反芻してきた。 小さな原理で 国を見れば 必ず弊害が出て、可笑しくなる。 学界でも少数でその分野を見れば 必ず偏り、新しい芽や発想が生まれにくくなり、古ぼけた古い体質に陥ってしまう。 その点 開かれた欧米の体質では 多様な意見が自由に湧き、活かされどんどん新しい分野さえ生まれて来る。 東郷元帥の余りにも凄い成功で、その権威の影響で 日本には永く巨艦主義が残り、 飛行機時代を予見できなかったと言われている。 無力な戦艦大和を想起。 権威主義とは同じ様な弊害を有すると考えられるので、 気を付けて行きたい。 どんどん新しい概念や考えが生まれてくる時代である。 古い考えに拘っていると 多くの面で遅れをとり、 衰退の道を辿るのではないかと心配している。ゼロ除算について言えば、ケンブリッジ大学では相当前から 議論していたが、 なかなか上手い考えが現れなかった。しかし、考えていたのである。 所謂推論システム、定理の検証の考え、論理を追及していて、何んと1980年代に 既にそのシステムはゼロ除算1/0=0を認識していたという。 そのころ推論システム、定理証明の考えをすでに相当に進めていたのである。 しかし、関係者がゼロ除算1/0=0は あまり意味が無いと考えて ゼロ除算の研究は 永く進まなかった。しかし乍ら 推論システム、定理証明の研究は 現在凄い勢いで世界の舞台で研究されているが、 日本は未だ 真面な議論さえ行なわれていないような状況に見える。 日本の遅れに驚嘆させられている。 イギリス、ドイツの先見性には畏敬の念を懐いている。 日本の体質で、軍事で言えば ドローンの構想、インターネットでは、スカイプ、Zoom会、YouTube, Chat GPT 等等の発展で 相当に後れをとっている。 それは 学界の権威主義が 閉鎖的な社会を構成しているためではないか と危惧される。 学界では新規な考えがどんどん発表され、議論される 開かれた体制にあるだろうか。 新規な発想や考えを歓迎し、未知の世界の研究に取り組む雰囲気があるだろうか。 そのような発想ではなく 唯 欧米の権威に追随して、欧米の賞賛を得たい風土に見える。 権威に頼らないと 真面に数学が評価されたり、 議論できないようだ。 マスコミの在りようも 同じ様に権威主義に陥って 閉鎖的な体質を有しているのではないだろうか。 どんどん価値ある情報とは何かと問い、自ら探す大事な精神に乏しく、何かに盲従しているような存在に見える。 そうか数学界では、何のための数学かが 問われないで、 唯夢中で 分からない成果、成果を求めているようだ。 これらは要するに文化後進国、未だ後進国と感じざるを得ない状況を示していると考えられる。 恥ずかしい、頑張ろう日本国。これでは情けない。実は この頑張ろう が良くなかった。プーチン体制でも 数学界でも 可笑しなくらいに おかしな方向で異常に頑張りすぎと言える。 昔、海外に住まわれていた方 日本から帰る途中、飛行機の中で言われた女性の言葉が想い出される: 日本の教育、あれなーに。 バカみたい。 海外で誰かに言われた。 忙しく夢中で沢山している研究、 じつは 実の無いものが 多いと。 そこで、余裕をもって じっくり楽しむように 進めようと 心したい。思い出した、アメリカに10カ月滞在して 帰国後の文で、 逆に 西欧数学を輸入して100年余、ここまでに至った日本の文化力は凄い と 高い評価を与えている。 以 上 2024.5.16.20:20 素直に書いてみた、流石にまずいだろう。 検討する。2024.5.16.20:29 読み直したら、結構よくできている。2024.5.16.21:56 概ね良いが加えるべきことがあるように感じられる。2024.5.17.6:00 最後の文が閃いて目を覚ました。そこで、結構書き加えた。2024.5.17.6:08 文章を整える。2024.5.17.6:44 庭をめぐって 苗などの観察、手入をしてくる。既に相当良いが。2024.5.16.7.7:17 確認。2024.5.16.8:48 美しい五月晴れ。2024.5.17.9:22 庭を散歩して、最後の文を想い出した。2024.5.17.9:40 良い、完成、公表。
2024.05.17
ゼロ除算の結果とは、図で、直角双曲線関数y=1/x関数、高校の教科書に載っている関数で、原点での値がゼロであるという 赤い1点の発見です。それがアリストテレス以来の発見で、数学者が驚嘆して、中々認められない、受け入れられない。数学と世界観に革命を起こす事件です。計算機は認識し出してきた。人間は未だ天才たちの歴史に従っている。2024.5.16.6:27何時変わるか、夜明けになるか 毎朝確認している。 それは無限遠点の扱いに 抽象的でない具体的な実像が捉えられた。無限の先に 存在するものがあった。特異点の世界に立ち入ることを可能にしている。2024.5.16.9:00 1変数絶対複素解析学とは、 リーマン球面上ではなくて ドイムラ―ホーントラス上で数学を展開することである。少し複雑になり、力が無いので その世界に入れない。世の秀才、天才の出現を待っている。新世界である。数学に革命を起こすのは 歴然であると考える。下記を書いて、発想が湧いた。2024.5.16.6:38 2024.5.17.5:20美しい朝
2024.05.17
No. 1305: 極を有していても、上から評価されるゼロ除算算法の基本的な評価式に 気づいた。サニールームでぼんやり目的もなく考えて居たら、ひとりでに に湧いた考えである。 極を有しても 上からの評価が得られるから意味があると考えた。2024.5.16.19:23
2024.05.16
1変数絶対複素解析学とは、 リーマン球面上ではなくて ドイムラ―ホーントラス上で数学を展開することである。少し複雑になり、力が無いので その世界に入れない。世の秀才、天才の出現を待っている。新世界である。数学に革命を起こすのは 歴然であると考える。下記を書いて、発想が湧いた。2024.5.16.6:38 ゼロ除算の結果とは、図で、直角双曲線関数y=1/x関数、高校の教科書に載っている関数で、原点での値がゼロであるという 赤い1点の発見です。それがアリストテレス以来の発見で、数学者が驚嘆して、中々認められない、受け入れられない。数学と世界観に革命を起こす事件です。計算機は認識し出してきた。人間は未だ天才たちの歴史に従っている。2024.5.16.6:27何時変わるか、夜明けになるか 毎朝確認している。
2024.05.16
ゼロ除算の結果とは、図で、直角双曲線関数y=1/x関数、高校の教科書に載っている関数で、原点での値がゼロであるという 赤い1点の発見です。それがアリストテレス以来の発見で、数学者が驚嘆して、中々認められない、受け入れられない。数学と世界観に革命を起こす事件です。計算機は認識し出してきた。人間は未だ天才たちの歴史に従っている。2024.5.16.6:27何時変わるか、夜明けになるか 毎朝確認している。
2024.05.16
冗談ではない、こんなおかしな、不完全な数学 許しては置けない。それは象徴的な図の赤い1点の発見で 象徴される。計算機関係では どんどん実証を始めている。数学界も 歴史的な恥を公言、世界史を拓くことになるだろう。2024.5.14.9:222024.5.14.14:39 サニー ルームを全体的に整理した。 やってはならない ゼロ除算、考えはいけない ゼロ除算 1/0=0/0=0 計算機システムが 採用、応用し始めた。数学の世界の 歴史的な 変革は近いと感じられる。2025.5.11.10:44異様に美しい日。 ゼロ除算回避は、 簡単です。新しい意味でのゼロ除算は 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:162024.4.15.6:43IBM がゼロ除算回避に 我々のゼロ除算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 CopilotIn 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.20Microsoft 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 が 何時も成り立っていた。 しかし、ここで 分数の意味を きちんと定義する必要がある。 計算機は、その意味さえ知っているようですね。 計算機、人間より賢くなっている 様が 出て居て 実に 面白い。
2024.05.16
世の中 いい加減か? ふと 不安な感情が湧いてきた。 プーチンの戦争 何で起きて居るか 分からない。第2次世界大戦から 何を学んできたのか? 数学界 同じ様に可笑しい、ゼロ除算 あたり前と10年も述べているにも関わらず 改められない。 インターネット上では 軽薄で意味の無いような 同じ様な 古い考えで 殆ど占められている。ようやくゼロ除算回避に応用されるようになってきたかと思うが、未だに ゼロ除算回避の話題が 厖大である。数学の世界ですら そのように 空虚な話題が世情を占めている。 数学の世界ですら。それでは 政治社会や 社会では でたらめ情報で 溢れているのではないだろうか と 感じて来た。 我々は 真実を見ているだろうか、適切な情報に基づいて 世界を見ているだろうか。大いに怪しい。しかし乍ら 概ね 第1次産業、農業や漁業、工業などの世界では 相当に真実の世界の上に成り立っているように思われ、 頼れる。 庶民の世界に 真実は多く見られると 感じられる。2024.5.5.11:38 図は 新数学の表現2024.5.5.21:00 立夏2024.5.6.6:112024.5.7.5:572024.5.11.21:39 美しい初夏2024.5.15.8:40 美しい日、朝食前に80分山間部を散歩。
2024.05.15
冗談ではない、こんなおかしな、不完全な数学 許しては置けない。それは象徴的な図の赤い1点の発見で 象徴される。計算機関係では どんどん実証を始めている。数学界も 歴史的な恥を公言、世界史を拓くことになるだろう。2024.5.14.9:22 やってはならない ゼロ除算、考えはいけない ゼロ除算 1/0=0/0=0 計算機システムが 採用、応用し始めた。数学の世界の 歴史的な 変革は近いと感じられる。2025.5.11.10:44異様に美しい日。 ゼロ除算回避は、 簡単です。新しい意味でのゼロ除算は 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:162024.4.15.6:43IBM がゼロ除算回避に 我々のゼロ除算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 CopilotIn 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.20Microsoft 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 が 何時も成り立っていた。 しかし、ここで 分数の意味を きちんと定義する必要がある。 計算機は、その意味さえ知っているようですね。 計算機、人間より賢くなっている 様が 出て居て 実に 面白い。
2024.05.15
I have the important documents as follows: I would like to know further information: On February 16, 2019 Professor H. Okumura introduced the surprising news in Research Gate:\index{Okumura, H.} \medskip \begin{quote} \noindent José Manuel Rodríguez Caballero \\ \index{Caballero, J. M. R.} \noindent Added an answer \\ \noindent In the proof assistant Isabelle/HOL we have $x/0 = 0$ for each number $x$. This is advantageous in order to simplify the proofs. You can download this proof assistant here: \\ {\bf https://isabelle.in.tum.de/} \index{https://isabelle.in.tum.de/} \medskip \end{quote} J.M.R. Caballero kindly showed surprisingly several examples by the system that $$ \tan \frac{\pi}{2} =0, $$ $$ \log 0 =0, $$ $$ \exp \frac{1}{x} (x=0) =1, $$ and others. %It seems that the division by zero calculus was implimented to the computer system already. The relation of Isabelle/HOL \index{Isabelle/HOL} and division by zero is unclear at this moment, however, the following document will be interested in: \medskip \begin{quote} Dear Saitoh, In Isabelle/HOL, we can define and redefine every function in different ways. So, logarithm of zero depends upon our definition. The best definition is the one which simplify the proofs the most. According to the experts, z/0 = 0 is the best definition for division by zero. $$ \tan(\pi/2) = 0 $$ $$ \log 0 = $$ is undefined (but we can redefine it as $0$) $$ e ^0 = 1 $$ (but we can redefine it as $0$) $$ 0^0= 1 $$ (but we can redefine it as $0$). In the attached file you will find some versions of logarithms and exponentials satisfying different properties. This file can be opened with the software Isabelle/HOL from this webpage: https://isabelle.in.tum.de/ Kind Regards, José M. (2017.2.17.11:09). \end{quote} \medskip At 2019.3.4.18:04 for my short question, we received: \medskip It is as it was programmed by the HOL team. Jose M. On Mar 4, 2019, Saburou Saitoh wrote: Dear José M. I have the short question. For your outputs for the division by zero calculus, for the input, is it some direct or do you need some program??? With best regards, Sincerely yours, Saburou Saitoh 2019.3.4.18:00 \medskip Furthermore, for the presentation at the annual meeting of the Japanese Mathematical Society at the Tokyo Institute of Technology: \medskip March 17, 2019; 9:45-10:00 in Complex Analysis Session, {\it Horn torus models for the Riemann sphere from the viewpoint of division by zero} with \cite{dops19}, \medskip \noindent he kindly sent the message: \medskip \begin{quote} It is nice to know that you will present your result at the Tokyo Institute of Technology. Please remember to mention Isabelle/HOL, \index{Isabelle/HOL} which is a software in which x/0 = 0. This software is the result of many years of research and a millions of dollars were invested in it. If x/0 = 0 was false, all these money was for nothing. Right now, there is a team of mathematicians formalizing all the mathematics in Isabelle/HOL, where x/0 = 0 for all x, so this mathematical relation is the future of mathematics. https://www.cl.cam.ac.uk/~lp15/Grants/Alexandria/ %It seems that the division by zero calculus seems to be implimented to the computer system already in a sense. \medskip \end{quote} Surprisingly enough, he sent his e-mail at 2019.3.30.18:42 as follows: \medskip \begin{quote} Nevertheless, you can use that $x/0 = 0$, following the rules from Isabelle/HOL and you will obtain no contradiction. Indeed, you can check this fact just downloading Isabelle/HOL: https://isabelle.in.tum.de/ and copying the following code theory DivByZeroSatoih imports Complex Main begin theorem T: ‹x/0 + 2000 = 2000› for x :: complex by simp \end{quote} \bigskip Copilot回答を生成しています…
2024.05.14
冗談ではない、こんなおかしな、不完全な数学 許しては置けない。それは象徴的な図の赤い1点の発見で 象徴される。計算機関係では どんどん実証を始めている。数学界も 歴史的な恥を公言、世界史を拓くことになるだろう。2024.5.14.9:22 やってはならない ゼロ除算、考えはいけない ゼロ除算 1/0=0/0=0 計算機システムが 採用、応用し始めた。数学の世界の 歴史的な 変革は近いと感じられる。2025.5.11.10:44異様に美しい日。 ゼロ除算回避は、 簡単です。新しい意味でのゼロ除算は 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:162024.4.15.6:43IBM がゼロ除算回避に 我々のゼロ除算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 CopilotIn 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.20Microsoft 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 が 何時も成り立っていた。 しかし、ここで 分数の意味を きちんと定義する必要がある。 計算機は、その意味さえ知っているようですね。 計算機、人間より賢くなっている 様が 出て居て 実に 面白い。
2024.05.14
証拠、例をあげるは大事、そこで1000を超える例を挙げた。しかし、計算機関係が 数学界を超えて活用し出したから面白いですね。夜明けは 数学界の夜明けは近い。数学の真実は、数学の尊さに掛けて 追及されなければならない。2024.5.14.9:02
2024.05.14
受験に備えるは大事ですが、好奇心や問題が提起されたとき、それは良い、先があって面白いと少し 加えられると良いですね。 受験に関係ないから考えるな、問題にしないは 悪い教育、真理を愛する、好奇心を育てない 悪しき教育ですね。 今はそのような傾向が強いのではないでしょうか。数学界ですら、新しい芽より 権威などに頼ったり、おもねったりの 風潮があると考えられます。2024.5.14.8:48
2024.05.14
ゼロで割ることは どうしてできない? 割る意味が悪かった、できない考えをしていた。できる簡単で、甚大な意味のある 割る考えが 存在した。この当たり前の発想が、2000年以上気づかず、おかしな数学と、世界観をもってきてしまった。2024.5.14.7:01 従来の割り算の定義では、ゼロ除算不可能は当たり前、昔からそう考えてしまった。ところがゼロの意味や、ゼロ除算には 全く違う意味があることが分りました。面白いのは計算機システムが先に気づいたという事実です。 現在でも計算機関係では広く利用できるようになったのに、自由な数学界が 逆に強い思い込みに嵌って新世界に入れない。しかし、ゼロによる除算エラーの処理IBMhttps://www.ibm.com › docswww.ibm.com#:#https://www.ibm.com/docs/ja/i/7.3?topic=errors-handling-divide-by-zeroゼロによる除算は、「Query ファイルのオープン (OPNQRYF)」コマンドではエラーとみなされます。 ただし、ゼロの結果を受け取り、ゼロ除算エラーを防ぐことができます ...エラー値 #DIV/0! を修正する方法Microsoft Supporthttps://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-39e759a009a5Microsoft Excel では、数値がゼロ (0) で除算されたときに #DIV/0! エラーが表示されます。 この状況は、次の図に示すように、=5/0 のような単純な数式を入力したとき ... となってきたので、お堅い数学界も 目を覚ますでしょう。面白い。2024.5.10.9:07美しい日。
2024.05.14
再生核研究所声明 759(2024.5.13) 日本人の数学者はいないのか(BC569-1974) ー プリンストン数学大全を見て、偏見、独断? 少し古い文献が出てきて、考えてしまった。率直な感想を述べたい。 朝倉書店から2015年に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 の原点に於ける値は ゼロである。 ゼロ除算とゼロ除算算法の導入、無限遠点と ゼロ点が接していること、リーマン球面に対して、ホーントーラスの導入、多くの応用;(ゼロ除算算法の定義とホーントーラスの図) ゼロ除算算法の数学とは: 要するに 分母がゼロである ところで、あるいは 所謂 極と言って 孤立特異点を持つ解析関数で、あるいは ローラン展開で、今まで考えなかった、分母がゼロや極、あるいは孤立特異点で関数を考える ということです。 これらは、ユークリッド幾何学、解析幾何学、微積分学、線形代数学、微分方程式、複素解析学に広範な影響を与える。 現在、1300件を超える所見、具体例 を持っていること。我々は 初等数学には 基本的な欠陥がある と述べている。 初等数学は 相当に変更されるべきである と考える。ゼロ除算は 数学者ばかりではなく 人類の、世界史の恥である と考えられる。 更に最近 下記のように計算機関係に広範な応用が現れてきた: ソフトウェアが ゼロ除算 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:162024.4.15.6:43IBM がゼロ除算回避に 我々のゼロ除算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 CopilotIn 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.20Microsoft Excel に ゼロ除算採用1/0=0の兆しが見える。下記、#DIV/0! の代わりに 0 または "値なし" を表示し、 の部分です。ゼロ除算は考えてはならないが 数学界の常識ですが、ゼロ除算が現れたとき、 間違い、 解なし、計算機が止まるなど、 不便な状況が起きて居た。近年、1/0=0 が広く採用されるようになってきた。ゼロ除算にゼロを返すは、厳格数学で、自然な意味での拡張された分数でそうなりますが、 便利だからという理由で多用されるようになってきた。意味合いとしても、ゼロで割るは 考えてはならない、 不可能である、そのような場合ゼロで表すことが良いことが 広範に分かってきた。ゼロの意味の発見です。Coq, Lean,IBM 等は 更に深い理解で、ゼロ除算が利用されている。 Microsoft Excelは 便利だからの理解で、 弱いようである。2024.4.20.11:35 このような状況は、既にゼロ除算、ゼロ除算算法の発見が世界史上の大きな発見であることは 数学を考えれば歴然である と考えられる。 それゆえに 日本国は相当に力を入れてこれらの研究をひろく推進して、世界に貢献すべきであると考えます。 我々は、日本国の名誉のためにも、世界の数学界のためにも 数学者の名誉に掛けて努力したい。 奥村博氏の 和算へのゼロ除算算法の応用は ユークリッド幾何学に革命を起こしており、それは世界史上の事件であることは 既に歴然であると考える: H. Okumura, Geometry and division by zero calculus, International J. of Division by Zero Calculus, {\bf 1}(2021), (36pages). 以 上 2024.5.12.20:50 文献を見て面白くなく存念が直ぐに湧いたので一気に纏めてみた。素直な心情が表現されていると思われる。2024.5.12.21:16 一応文章内容纏まる。2024.5.12.22:03 充分に良い。2024.5.13.5:46 終夜小雨、これは良い。最後の文を挿入する。真実である。2024.5.13.6:18 良い、完成、公表。2024.5.13.8:52 公表後、確認、良い。
2024.05.14
Great contribution of José Manuel Rodríguez Caballero:2024.5.13.11:25 On February 16, 2019 Professor H. Okumura introduced the surprising news in Research Gate:\index{Okumura, H.}\medskip \begin{quote} \noindentJosé Manuel Rodríguez Caballero \\ \index{Caballero, J. M. R.}\noindent Added an answer \\\noindent In the proof assistant Isabelle/HOL we have $x/0 = 0$ for each number $x$. This is advantageous in order to simplify the proofs. You can download this proof assistant here: \\{\bf https://isabelle.in.tum.de/} \index{https://isabelle.in.tum.de/}\medskip\end{quote} J.M.R. Caballero kindly showed surprisingly several examples by the system that$$ \tan \frac{\pi}{2} =0,$$$$\log 0 =0,$$$$\exp \frac{1}{x} (x=0) =1, $$and others. %It seems that the division by zero calculus was implimented to the computer system already.The relation of Isabelle/HOL \index{Isabelle/HOL} and division by zero is unclear at this moment, however, the following document will be interested in: \medskip\begin{quote} Dear Saitoh, In Isabelle/HOL, we can define and redefine every function in different ways. So, logarithm of zero depends upon our definition. The best definition is the one which simplify the proofs the most. According to the experts, z/0 = 0 is the best definition for division by zero.$$\tan(\pi/2) = 0$$$$\log 0 = $$is undefined (but we can redefine it as $0$)$$e ^0 = 1 $$(but we can redefine it as $0$)$$0^0= 1$$(but we can redefine it as $0$). In the attached file you will find some versions of logarithms and exponentials satisfying different properties. This file can be opened with the software Isabelle/HOL from this webpage: https://isabelle.in.tum.de/ Kind Regards, José M. (2017.2.17.11:09). \end{quote}\medskip At 2019.3.4.18:04 for my short question, we received:\medskip It is as it was programmed by the HOL team. Jose M. On Mar 4, 2019, Saburou Saitoh wrote: Dear José M. I have the short question. For your outputs for the division by zero calculus, for the input, is it some direct or do you need some program??? With best regards,Sincerely yours, Saburou Saitoh 2019.3.4.18:00\medskip Furthermore, for the presentation at the annual meeting of the Japanese Mathematical Society at the Tokyo Institute of Technology:\medskip March 17, 2019; 9:45-10:00 in Complex Analysis Session, {\it Horn torus models for the Riemann sphere from the viewpoint of division by zero} with \cite{dops19},\medskip \noindenthe kindly sent the message:\medskip \begin{quote} It is nice to know that you will present your result at the Tokyo Institute of Technology. Please remember to mention Isabelle/HOL, \index{Isabelle/HOL} which is a software in which x/0 = 0. This software is the result of many years of research and a millions of dollars were invested in it. If x/0 = 0 was false, all these money was for nothing.Right now, there is a team of mathematicians formalizing all the mathematics in Isabelle/HOL, where x/0 = 0 for all x, so this mathematical relation is the future of mathematics.https://www.cl.cam.ac.uk/~lp15/Grants/Alexandria/%It seems that the division by zero calculus seems to be implimented to the computer system already in a sense.\medskip \end{quote} Surprisingly enough, he sent his e-mail at 2019.3.30.18:42 as follows: \medskip \begin{quote} Nevertheless, you can use that $x/0 = 0$, following the rules from Isabelle/HOL and you will obtain no contradiction. Indeed, you can check this fact just downloading Isabelle/HOL: https://isabelle.in.tum.de/ and copying the following code theory DivByZeroSatoihimports Complex Main begin theorem T: ‹x/0 + 2000 = 2000› for x :: complexby simp \end{quote} \bigskip
2024.05.13
再生核研究所声明 759(2024.5.13) 日本人の数学者はいないのか(BC569-1974) ー プリンストン数学大全を見て、偏見、独断? 少し古い文献が出てきて、考えてしまった。率直な感想を述べたい。 朝倉書店から2015年に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 の原点に於ける値は ゼロである。 ゼロ除算とゼロ除算算法の導入、無限遠点と ゼロ点が接していること、リーマン球面に対して、ホーントーラスの導入、多くの応用;(ゼロ除算算法の定義とホーントーラスの図) ゼロ除算算法の数学とは: 要するに 分母がゼロである ところで、あるいは 所謂 極と言って 孤立特異点を持つ解析関数で、あるいは ローラン展開で、今まで考えなかった、分母がゼロや極、あるいは孤立特異点で関数を考える ということです。 これらは、ユークリッド幾何学、解析幾何学、微積分学、線形代数学、微分方程式、複素解析学に広範な影響を与える。 現在、1300件を超える所見、具体例 を持っていること。我々は 初等数学には 基本的な欠陥がある と述べている。 初等数学は 相当に変更されるべきである と考える。ゼロ除算は 数学者ばかりではなく 人類の、世界史の恥である と考えられる。 更に最近 下記のように計算機関係に広範な応用が現れてきた: ソフトウェアが ゼロ除算 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:162024.4.15.6:43IBM がゼロ除算回避に 我々のゼロ除算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 CopilotIn 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.20Microsoft Excel に ゼロ除算採用1/0=0の兆しが見える。下記、#DIV/0! の代わりに 0 または "値なし" を表示し、 の部分です。ゼロ除算は考えてはならないが 数学界の常識ですが、ゼロ除算が現れたとき、 間違い、 解なし、計算機が止まるなど、 不便な状況が起きて居た。近年、1/0=0 が広く採用されるようになってきた。ゼロ除算にゼロを返すは、厳格数学で、自然な意味での拡張された分数でそうなりますが、 便利だからという理由で多用されるようになってきた。意味合いとしても、ゼロで割るは 考えてはならない、 不可能である、そのような場合ゼロで表すことが良いことが 広範に分かってきた。ゼロの意味の発見です。Coq, Lean,IBM 等は 更に深い理解で、ゼロ除算が利用されている。 Microsoft Excelは 便利だからの理解で、 弱いようである。2024.4.20.11:35 このような状況は、既にゼロ除算、ゼロ除算算法の発見が世界史上の大きな発見であることは 数学を考えれば歴然である と考えられる。 それゆえに 日本国は相当に力を入れてこれらの研究をひろく推進して、世界に貢献すべきであると考えます。 我々は、日本国の名誉のためにも、世界の数学界のためにも 数学者の名誉に掛けて努力したい。 奥村博氏の 和算へのゼロ除算算法の応用は ユークリッド幾何学に革命を起こしており、それは世界史上の事件であることは 既に歴然であると考える: H. Okumura, Geometry and division by zero calculus, International J. of Division by Zero Calculus, {\bf 1}(2021), (36pages). 以 上 2024.5.12.20:50 文献を見て面白くなく存念が直ぐに湧いたので一気に纏めてみた。素直な心情が表現されていると思われる。2024.5.12.21:16 一応文章内容纏まる。2024.5.12.22:03 充分に良い。2024.5.13.5:46 終夜小雨、これは良い。最後の文を挿入する。真実である。2024.5.13.6:18 良い、完成、公表。
2024.05.13
全88件 (88件中 1-50件目)