生成AIは諸葛孔明を超えるか？生成AIを活用した外交・軍事の政策・戦略決定のリスク
https://jbpress.ismedia.jp/articles/-/80860
超えると思います。
【12/10発売】『三國志14 with パワーアップキット』PV（Nintendo Switch™）
再生核研究所声明 754（2024.4.13) 数学の神秘性、神の存在、信仰
有名なピタゴラスの定理： 直角三角形において 斜辺の2乗は 他の2辺の2乗の和に等しい のように 数学の結果は表現される。数学とは何かを深く論じて 数学は、時間にも エネルギーにもよらずに 存在する神秘的に 美しい世界だと論じている：
再生核研究所声明522(2019.12.08): 数学とは何か、 数学の不思議さ － 本質の本質
再生核研究所声明575(2020.8.20): 数学とは何か ー 生命、人間、人生
数学、人生について、相当な年月をかけて 総合的に纏めてきた －
しかしながら、数学について、そもそも数学とは何だろうかと問い、ユニバースと数学の関係に思いを致すのは大事ではないだろうか。この本質論については幸運にも相当に力を入れて書いたものがある：
No.81, May 2012(pdf 432kb)
www.jams.or.jp/kaiho/kaiho-81.pdf
19/03/2012
ここでは、数学とは何かについて考えながら、数学と人間に絡む問題などについて、幅. 広く面白く触れたい。骨格は .... の上に立って判断されるべきです
(再生核研究所声明 41: 世界史、大義、評価、神、最後の. 審判)。実際、何十年も経って、
簡潔に述べれば、数学は 時間にも、エネルギーにもよらずに存在する神秘的な 関係の論理体系であるが、ユニバースは 数学を言語として構成されているという、信仰のような信念を抱いている。基本的な数学はユニバースの基本的な様を表現しているのではないだろうか。
面白いことに 神の意思をうけて、ピタゴラスの定理では、2乗でなければならないと言及している。 ー 神は２を愛し給う。
まこと、時間にも エネルギーにもよらずに存在する関係とは何だろうか。宇宙の存在には始まりが有るとする現代物理学とは矛盾するようではないだろうか。 宇宙の、世界の存在によらずに、数学は存在しているように思える。 しかも美しい 目もくらむような雄大な世界が、数学が存在する。 それではどうして そのような関係の世界が存在するのだろうか。 誰がそのような関係の世界を創ったのかと考えれば、神が創造されたと発想せざるを得ないのではないだろうか。 数学の世界の存在から、神の存在の確信を擁かざるを得ない。 整然とした完全に美しい世界である。 気づいてみれば 美しい薔薇の花にも、 生命の神秘性にも 至る所に その背後に神の存在を確信させる。それは万物の背後に 神の存在を感じさせると表現できる。 その強い確信は 信仰とも表現されて、何ごとも思い煩うことはない、我々の背後には神が存在して 一切を支えられていると表現される。それは赤子が 良くは分からないが母親の懐で、 笑顔で微笑んでいる情景の様である。
数学者も幸いである。なぜなら神の創造された美しい世界の様子を 神の定められたように歓びに満ちて、探検できるからである。 数学者も とは何でも究めて行こうとするものは同じ様だと考えられるからである。
世には、神によって定められた秩序が存在する。その秩序にしたがって そのように生きることこそ 在るべき在りようである。見えるものには見え、聞こえるものには聞こえる。 神の言葉である。 道である。そうなれば 人間は神の意思に従って生きて行けば 良いとなる。神の意思に従って生きて行けばいい。良く、その言葉が聞こえるように 心を磨くのが修行である と言える。
現在 プーチン政権が暴力を振るっているように、また同じように盲目と意図的に作られた権威が世界を暗くしている 恥ずかしい様が示しているように 世界は未だ夜明け前である。 間もなくＡIが 人間に先駆けて夜明けを拓くだろう。その兆しが見えて来たが、人間が意図的に、恣意的に 逆らっている状況が見える。 恥ずかしい。
以 上
世界史における 3大事件：
１． 天動説に対して 地動説の出現
２． 非ユークリッド幾何学の出現
３． ゼロ除算の解明; ゼロ除算算法の数学の出現
これは 数学者の良心を掛けた 決戦である。
２０２４．４．９．１９：２７
viXra:2402.0068 submitted on 2024-02-14 21:47:20 ,
Division by Zero 1/0 = 0/0 = 0 and Computers real.div: New Information and Many Applications
下記 永く問うてきましたが、 既にゼロ除算は real.div として実装され、活用されている。 Coq, Lean などで 欧米です： Hey! I heard that Lean thinks 1/0 = 0. Is that true?
Yes. So do Coq and Isabelle and many other theorem provers.
日本にも現われた(下記Snowflakeは残念、アメリカだった）ゼロ除算1/0=0: 見かけ上ゼロ除算回避の 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:
DIV0NULL: Unlike the division operator, DIV0NULL returns 0 (instead of reporting an error or returning NULL) when the divisor is 0 or NULL:
DIV0 returns 0 when the divisor is 0.
DIV0NULL also returns 0 (instead of an error or NULL) when the divisor is 0 or NULL12.
Remember, dividing by zero is mathematically undefined, but these functions provide a practical way to handle such cases in Snowflake.
詳細情報
1
docs.snowflake.com2docs.snowflake.com3stackoverflow.com4docs.snowflake.com
そこで、計算機は何時、1/0=0 ができるようになるでしょうか。 楽しみにしています。
もうできる 進化した 計算機をお持ちの方は おられないですね。
現在、人類は計算機に負けている。 1/0=0 も40年も前に出していた。人間が理解できず、それは駄目だと考えて来た。
これは 凄い、面白い事件では？ 計算機が人間を超えている 例では？
面白いことを発見しました。 計算機は 正しい答え 0/0=0
を出したのに、 この方は 間違いだと 言っている、思っているようです。
0/0=0 は １３００年も前に 算術の発見者によって与えられたにも関わらず、世界史は間違いだと とんでもないことを言ってきた。 世界史の恥。 実は a/0=0 が 何時も成り立っていた。 しかし、ここで 分数の意味を きちんと定義する必要がある。 計算機は、その意味さえ知っているようですね。 計算機、人間より賢くなっている 様が 出て居て 実に 面白い。
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)
ゼロ除算（ゼロじょさん、0除算、英語: division by zero）とは、0で除す割り算のことである。
このような除算は除される数をaとするならば、形式上は a/0と書くことが ...
関連する質問
0は除算できないのはなぜ？
0による除算とは何ですか？
ゼロ除算は可能か？
ゼロ除算は可能で、正解はゼロです。 何を0で割っても ゼロです。2022/04/22
ゼロ除算は可能で、正解はゼロです。 何を0で割っても ゼロです。
ゼロ除算の対応は？
ゼロに対応する点は無限遠点で、1/0=∞ と考えられてきた。 オイラー、アーベル、リーマンの流れである。 ところが、ゼロ除算は1/0=0 で、実は無限遠点はゼロに対応していることが確認された。2022/04/22
ゼロ除算は可能で、正解はゼロです。 何を0で割っても ゼロです。
ゼロ除算は可能か？
ゼロ除算は可能で、正解はゼロです。 何を0で割っても ゼロです。2022/04/22
https://jp.linkedin.com › pulse › ゼロ除算は可能で正解...
検索: ゼロ除算は可能か？
0の新しい意味の発見、0の意味から当たり前
0は できないこと、しないこと、を現す意味をもつ。
0で割る事は割らないことで、したがって
割り当てられた数はない。
すなわち、0除算は０です。
何を0で割っても０です。
続いて、0除算を実行してみます。select 1/0の場合は前述の通りエラーメッセージが返ってきますが、select div0null(1, 0)の場合には、「0」が返ってきました。
https://dev.classmethod.jp/articles/snowflake-function-div0null/
DIV0
除算演算子（/）のように除算を実行しますが、除数が0の場合は0を返します（エラーを報告するのではなく）。
https://docs.snowflake.com/ja/sql-reference/functions/div0
DIV0NULL
除算演算子（/）のように除算を実行しますが、除数が0または NULL 場合は0を返します
（エラーを報告したり、 NULL を返したりするのではなく）。
https://docs.snowflake.com/ja/sql-reference/functions/div0null
https://www.ibm.com/docs/ja/i/7.3?topic=errors-handling-divide-by-zero
2024.4.20
Microsoft Excel に ゼロ除算採用1/0=0の兆しが見える。
下記、#DIV/0! の代わりに 0 または "値なし" を表示し、の部分です。ゼロ除算は考えてはならないが 数学界の常識ですが、ゼロ除算が現れたとき、間違い、解なし、計算機が止まるなど、不便な状況が起きて居た。近年、1/0=0が広く採用されるようになってきた。ゼロ除算にゼロを返すは、厳格数学で、自然な意味での拡張された分数でそうなりますが、便利だからという理由で多用されるようになってきた。意味合いとしても、ゼロで割るは 考えてはならない、不可能である、そのような場合ゼロで表すことが良いことが広範に分かってきた。ゼロの意味の発見です。Coq, Lean,IBM 等は 更に深い理解で、ゼロ除算が利用されている。 Microsoft Excelは 便利だからの理解で、弱いようである。２０２４．４．２０．１１：３５
分母で 0 または値なしを評価する
#DIV/0! エラーが表示されないようにする最も簡単な方法は、IF 関数を使用して分母の存在を評価することです。
0 または値なしの場合は数式の結果として #DIV/0! の代わりに 0 または "値なし" を表示し、
それ以外の場合は数式を計算します。
たとえば、エラーを返す数式が =A2/A3 の場合、0 を返すには =IF(A3,A2/A3,0) を使い、空の文字列を返すには =IF(A3,A2/A3,””) を使います。 =IF(A3,A2/A3,"入力が必要です") のようにして、独自のメッセージを表示することもできます。 最初の例の QUOTIENT 関数を使うと、=IF(A3,QUOTIENT(A2,A3),0) のようになります。 この式は、IF(A3 が存在する場合は数式の結果を返し、存在しない場合はその結果を無視する) のように Excel に指示します。
Hacker's Delight - 202 ページ - Google ブック検索結果
https://books.google.co.jp › books
Henry S. Warren · 2003 · Computers
I think that I shall never envision An op unlovely as division . ... Good code to divide takes a Knuthian hero , But even God can't divide by zero !
極限ではなくて、ずばりである。 特異点そこで である。
近づきでは 幾ら近づいても 特異点での性質は 捉えられない。
２０２４．１．１５．８：５０
インド出身の偉大な 世界的な 指導的な数学者が、ゼロ除算の我々の発見の凄さ を認識したようである。
２０２４．１．１５．８：４２
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.
You will be able to contribute to mathematics on world history with India's great and long hirosophy.
We Japanese studied deeply from India.
I expect your contribution to the division by zero.
My feelings are almost void.
NOT LIMITTING!!!!
I attached one typical evidence.
2024.1.15.8:30
0の概念：インド1万7千年前から
Ancient History: The reality is the concept of ‘zero’ or ‘shunya’ or शुन्य was invented
at least 17000 years ago in ancient India.
https://myind.net/Home/viewArticle/history-of-zero
Institute of Reproducing Kernels Division by 0 solved
If you divide anything by 0, it's zero.
1 divided by 0 is 0. Brahmagupta could not do it. 0 divided by 0 is 0.
1割る0は0 はブラーマグプタはできなかった。
0割る0は0はできていた。
