本当の気持ち診断やってみた♪

日々の疲れの解消法「十分な睡眠」が６割以上　平均的な１日の睡眠時間８割近くが７時間未満

https://www.daily.co.jp/gossip/subculture/2024/04/17/0017551571.shtml#google_vignette

Akiko Yano (矢野顕子) ‎– Honto No Kimochi (ホントのきもち), 2004 (full album)

https://www.youtube.com/watch?v=AHDUZMjnvs8

矢野顕子 with YMO また会おね1979

https://www.youtube.com/watch?v=-oNsG_5j6zI

外国人「日本人って欧米人と接触する前から地球が丸いって知ってたの？」【海外反応】

https://masters.hiroshima-u.ac.jp/TSS-gakumon-sanpo/25-3-mizuta.pdf

そういう事じたい考えなかったと思います。

2300年も間違いを冒してきた、人類の歴史： 何でもゼロで割ればゼロです。

https://ameblo.jp/syoshinoris/entry-12795458289.html

2021-04-20

1/0=0

Wikipediaにおける0除算解説

https://hoinori.hatenablog.com/entry/2021/04/20/075636

Terence Tao, "Machine Assisted Proof"

https://www.youtube.com/watch?v=AayZuuDDKP0

なぜアインシュタインは天才と呼ばれたのか？

アインシュタインは、他の科学者達がとらわれていたある「常識」、普通はとらわれていることにすら気がつかないある「常識」、それに気づきそれを打ち破り「究極の発想の転換」をしたのです。

このことが、アインシュタインが相対性理論を作り、二十世紀最高の天才と言われる理由なのです。2018/11/12

https://tenro-in.com/mediagp/readinglife-science/63425/#:~:text=%E3%82%A2%E3%82%A4%E3%83%B3%E3%82%B7%E3%83%A5%E3%82%BF%E3%82%A4%E3%83%B3%E3%81%AF%E3%80%81%E4%BB%96%E3%81%AE%E7%A7%91%E5%AD%A6,%E8%A8%80%E3%82%8F%E3%82%8C%E3%82%8B%E7%90%86%E7%94%B1%E3%81%AA%E3%81%AE%E3%81%A7%E3%81%99%E3%80%82

これはもっともなことだと思います。ゼロ除算も同じようではないでしょうか。

Division by zero is definable and possible

Einstein's Only Mistake: Division by Zero

http://refully.blogspot.com/2012/05/einsteins-only-mistake-division-by-zero.html

George Gamow (1904-1968) Russian-born American nuclear physicist and cosmologist remarked that "it is well known to students of high school algebra" that division by zero is not valid; and Einstein admitted it as {\bf the biggest blunder of his life} [1]：1. Gamow, G., My World Line (Viking, New York). p 44, 1970.

ゼロ除算は実は簡単でした：0で割る事は、割らないことです：0はしないこと、できない事を表しています。

ゼロ除算は、　実は　ゼロの意味　からも当たり前です：
ゼロで割ることは　割らないこと、したがって　割り当てられた数は無く、ゼロ。ゼロには、しないこと、できないことを表す　意味がある。
ゼロで割ることは　割らないこと、したがって　割り当てられた数は無く、ゼロ。ゼロには、しないこと、できないことを表す　意味がある。　ゼロ円あげるは、あげないことですね。ゼロ回施行は、しないことですね。　時速ゼロｋｍで走るは　止まっていて　走らないことを意味しますね。ですから、ゼロの意味を

https://ameblo.jp/syoshinoris/entry-12680138080.html

Isabelle (BSD-3, ML/Scala/Isabelle, mirror):

(Univ. Cambridge, TU Munchen, Univ. Paris-Sud)

https://github.com/johnyf/tool_lists/blob/main/verification_synthesis.md#theorem-provers

培養脳細胞で「ChatGPTを超える」AI開発　豪スタートアップが13億円調達

https://news.yahoo.co.jp/articles/11a7436a6b2d396a2862cd51365c601eb7b0300b

0除算(0で割る行為)を認めてしまうと、『数学の崩壊』・『世界の終わり』

https://twitter.com/Oita443256/status/1648222826946760704

それが常識でしたが、ゼロで割るには、自然な新しい意味があることが分りました。

現代数学の欠陥で　新世界を拓きます。　数学の夜明けです。　ご覧あれ

マスク氏、TruthGPTの開発表明「最大限に真実追求するAI」

https://news.yahoo.co.jp/articles/9b24e5931cd267d0ac5a430711e86c0739862f75

0除算はできましたか、

再生核研究所はできているが、正しいでしょうか。

Stephen Goree

B.S. in Mathematics, Western Washington University (Graduated 2019)Author has 79 answers and 22K answer views2y

Terence Tao points out in Analysis I that, starting from the Peano axioms and working from there up to a construction of the real numbers, you could possibly define a number system in which a/0 is defined for any number a…but then you’d end up with a system that doesn’t behave like the real numbers we’re familiar with. So essentially, that’s the answer to your question: you can’t in the real number system. You would have to define a completely new number system which doesn’t behave the same way the real numbers do.

866 views

View upvotes

https://www.quora.com/How-can-you-divide-by-zero?__nsrc__=4&fbclid=IwAR0NcvKGwaSRSlxOqyYfYEu1B97UMQnO0jnfEpHjgU9K32DFxDBL-u_TUzQ

If division by Zero were possible,then the result would exceed every integer

http://www.fen.bilkent.edu.tr/~franz/M300/zero.pdf　　　4/6

If division by Zero were possible,then the result would exceed every integer. An Early Reference to Division by Zero 　C. B. Boyer：4/6.

2023年11月24日 11時07分ソフトウェア

OpenAIが4度目のブレイクスルーとなる数学ができるAI「Q*(キュースター)」で汎用人工知能開発の飛躍を目指す、

アルトマンCEO解任騒動の一因か

https://gigazine.net/news/20231124-open-ai-q-star/#google_vignette

イサベルホルは、相当進んでいるのではないでしょうか。

初めて飛行機を作って乗った方、車を初めて作って乗った方を見たとき、人はどうして今日のような時代を迎えるだろうと想像できたでしょうか。ゼロ除算の世界は　真に新しい世界、その世界を覗かないで　どうしてゼロ除算の世界について想像したり、語れるでしょうかhttps://ameblo.jp/syoshinoris/entry-12490439836.html

https://ameblo.jp/syoshinoris/entry-12680138080.html

引用されている論文が出ました。

中国の研究チームが達成した「量子超越性」が意味すること

スパコンで20億年以上の計算を3分強で

https://news.yahoo.co.jp/.../aca92e377336a2c16ca10fa2adbb...

凄いですね：0除算はできるでしょうか：

どうでしょうか？？？

1999年には、アメリカ合衆国の雑誌である『ライフ』の企画「この1000年で最も重要な功績を残した世界の人物100人」で、日本人として唯一86位にランクインした。葛飾北斎

https://ja.wikipedia.org/.../%E8%91%9B%E9%A3%BE%E5%8C%97...

The Institute of Reproducing Kernels is dealing with the theory of division by zero calculus and declares that the division by zero was discovered as 0/0=1/0=z/0=0 in a natural sense on 2014.2.2. The result shows a new basic idea on the universe and space since Aristotelēs (BC384 - BC322) and Euclid (BC 3 Century - ), and the division by zero is since Brahmagupta (598 - 668 ?).

再生核研究所声明 477(2019.2.2３) ケンブリッジ大学とミュンヘン工科大学のIsabelle 計算機システムはゼロ除算ｘ/0=0　を導いた

再生核研究所声明 479(2019.3.12) 　遅れをとったゼロ除算　－　活かされない敗戦経験とイギリスの畏れるべき戦略/0=0　を導いた

Black holes are where God divided by 0

ゼロ除算（division by zero）1/0=0/0=z/0=\tan(\pi/2)=0、log0=0

【量子力学】Google、ついに世界初の「量子超越性」実証か約1万年かかる計算を、3分20秒で終える[9/22]

http://itest.5ch.net/.../read.../scienceplus/1571396462/-100 …

「ゼロ除算が割り切れる時代が来たか」「え?」

https://twitter.com/.../status/1185245335532134400/photo/1

万能AIがもたらす未来　物理法則を発見する可能性も

3Graphics

https://www.nikkei.com/article/DGXZQOCD0756V0X01C23A2000000/

ゼロ除算は、30年も前に予告していたイサベルホル、人間が理解できなかった。

生成系AIに興味のある全ての方へ

アマゾンウェブサービスジャパン

https://aws.amazon.com/jp/events/aws-innovate/apj/aiml-data/?trkCampaign=innovate-aiml-apj&trk=fc3630de-ccf3-48a9-8e1c-283528af31d4&sc_channel=display+ads&sc_publisher=yda

ニュートンとアインシュタインの重力理論が崩壊している連星を発見！

https://nazology.net/archives/143351#google_vignette

ゼロ除算の応用できないですか。ゼロ除算で解決できないですか。

ゼロ除算とは何か

それはゼロで割ることである。ゼロで割る事とは何か。　

その定義、意味が　問題である。

それを普通の掛け算の逆と考えれば、それはできないとか、定まらないと　なり、それが永い間の世の常識である。

ところがゼロで割るという意味には、割ることの意味を　自然に拡張（ある一般的な意味における割る意味で）、あるいは　そもそもゼロの意味から、考えると、ゼロ除算は何時でも可能で、何時でも　ゼロで割ればゼロである　という美しい数学が　２０１４．２．２．に発見された。　それを発展させた　ゼロ除算算法　は　数学の基礎に甚大な影響を与え、数学ばかりではなく、人生観、世界観に　甚大な影響を与えることは分かってきた。

特に、数学は　そもそも基本的な欠陥を有している　と言える。

２０２４．１．１０．５：４６

何故ゼロ除算が不可能であったか理由

１　割り算を掛け算の逆と考えた事

２　極限で考えようとした事

３　教科書やあらゆる文献が、不可能であると書いてあるので、みんなそう思った。

Matrices and Division by Zero z/0 = 0

http://file.scirp.org/pdf/ALAMT_2016061413593686.pdf

「マイクロソフト」「Google」「Amazon」AI三つ巴戦の行方は？　超絶進化で仕事は奪われサイバー犯罪も激増？https://news.yahoo.co.jp/articles/78d81b626b1ead633347f036e78d32db918f91eb

キラー問題もスラスラ…「韓国製数学ＡＩ」、ＣｈａｔＧＰＴ抜き世界評価１位

https://news.yahoo.co.jp/articles/7bf80224fc9de6702d7540c6a78d3bd693619106

インド出身の偉大な　世界的な　指導的な数学者が、ゼロ除算の我々の発見の凄さ　を認識したようである。

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

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

東大合格率とゼロ除算：

ある名門高校の東大合格率は40％だという。　これは架空の話しであるが　東大受験した高校生の合格率と考えれば ありそうな話しであろう。　合格しなそうな人は 受験しないからである。名門校となれば データや経験から、合格率を高められるだろう。

問題は、受験生がゼロの時、合格率はどのようになるだろうか。

現代数学では、考えてはならないとなっている。ゼロで割れないからである。

歴史上はじめて 宣言された我々のゼロ除算では、合格率は ゼロとなる。

世相でも　良い結果ではないだろうか。ゼロ除算不可能を　可能にしている。

ついでに　私の理解に寄れば、　母校の中学は　再編後前も　歴史上　東大受験生は唯一人で　合格している。

東大合格率は１００％である。　甥の同級生で子供のころから　神童の誉が高かった。

母校の高校　再編後前も　歴史上　東大受験生は　ゼロで、従って東大合格率は　ゼロである。　

買い物から帰って　この構想が湧いた。

２０２４．１．１８．１２：３４

時速ゼロｋｍで走るは　止まっていて　走らないことを意味しますね。ですから、ゼロの意味を

https://ameblo.jp/syoshinoris/entry-12680138080.html

「生成AIは100％数学でできている」現役スタンフォード生が語るAI時代の算数力

https://dime.jp/genre/1720142/#google_vignette

感じは分かりますが、そこまで言えるでしょうか。

グーグルがAI製品の名前をすべて｢Gemini｣に変えた理由

https://www.businessinsider.jp/post-282403

au Webポータル

生成ＡＩ対立でなく協調…編集局長・前木理一郎

産業革命やインターネット革命を上回る変革を人類にもたらすとされる生成ＡＩ。技術の独走に対し、人間社会はＡＩをどう受け止め、ＡＩのある社会を...

https://article.auone.jp/detail/1/2/3/379_3_r_20240409_1712606622892868

そう思います。

イーロン・マスク氏「AIの知能、2025年末に人間超え」

https://www.nikkei.com/article/DGXZQOGN09E3N0Z00C24A4000000/

最も賢い人間しのぐＡＩ、早ければ来年に開発も＝マスク氏

https://nordot.app/1150195605247640492?c=768367547562557440

ゼロ除算もしっかりやってもらいたいです。

人間がトロトロしていますから。

もう人間を超えているところが　たくさんあります。

0除算も40年も前に出していました。

存在は論理に先立つものですか？私たちが当たり前に使う論理は、物理法則に起因するものでしょうか？

これは深い問いです。われ思うゆえに我あり　を　しっかり省察したい。論理とは何か？　物理には無関係ですね。数学、論理の鎖で　関係の集合です。世界最高のシステムは　40年以上前から　論理を追求していて、数学の自動証明や数学の定理の検証システムを追及している。人間を超えて　数学の世界を拓こうしています。　何とゼロ除算　1/0=0　を　40年も前に示していたが、人間が分からなくて、拒否続けている。　なんと　今でも　人間は拒否している。先入観と　権威主義など　野蛮な数学界の体質があたらしい世界を閉ざしている。　既に計算機システムは　便利だという理由で　欧米で活用されている。　その最高システムは、機密主義を敷いている相当の感触を得ている：２０２４．４．１３．１０：５３

ソフトウエアが　ゼロ除算 1/0=0 を　実装することを待っているのですが、　最近、

real.ｄiv として　Coq, Lean 等に実装され　広く応用されていることが分かりました。　更に、Snowflake　で

DIV0: This function performs division similar to the division operator (/), but instead of reporting an error, it returns 0 when the divisor is 0.

DIV0NULLは、除算（割り算）を行う際に、分母が「0」や「NULL」であってもエラーやNULLを返すことなく、代わりに「0」を返す関数です1 2.

具体的には、除算演算子（/）のように除算を実行しますが、以下の条件で動作します:

除数が0またはNULLの場合、関数は0を返します。

エラーを報告したり、NULLを返したりすることはありません。

として実装されていることを見つけました。

これらは理由も付けずに、 convention として利用しているようですが、それらは　拡張された意味でのゼロ除算です。

他にも、1/0=0 を利用しているシステムが　有るでしょうか。情報を知りたい。

２０２４．４．１１．１８：１６

Memorable people

3501 BC - 2023

Showing 50 of ~102150 results　　Page 1 of 2043

https://pantheon.world/explore/rankings?show=people&years=-3501,2023

Map of Science (and everything else)

https://www.youtube.com/watch?v=ohyai6GIRZg

IBM（アイビーエム、正式名: International Business Machines Corporation）は、アメリカ合衆国ニューヨーク州アーモンクに本社を置くテクノロジー関連企業。世界170か国以上^[5]で事業を展開する典型的な多国籍企業であり、世界最大手規模のIT企業。IBMの愛称はビッグブルー、IBM社員の愛称はIBMer。行動指針は、「お客様の成功に全力を尽くす」「私たち、そして世界に価値あるイノベーション」「あらゆる関係における信頼と一人ひとりの責任」。社員への教育理念は、「教育に飽和点はない」。社員の文化として、何ものにもとらわれず「野鴨」、「THINK」などがあり、これらは創業時から100年以上続いている^[6]。

IBMは企業別特許取得数で長年にわたり一位を保持してきており、2022年にサムスン電子へ一位の座を譲るまで、連続一位取得記録は29年間続いた。IBMは、2020年以降特許に注力しない方針に転換していた旨の声明を出している^[9]。

https://ja.wikipedia.org/wiki/IBM

ゼロによる除算エラーの処理

最終更新: 2021-04-14

ゼロによる除算は、「Query ファイルのオープン (OPNQRYF)」コマンドではエラーとみなされます。ただし、ゼロの結果を受け取り、ゼロ除算エラーを防ぐことができます。

通常、レコード選択はフィールド・マッピング・エラーが発生する前に行われます。したがって、ゼロによる除算エラーの原因となったレコードを除外することができ、この場合では、OPNQRYF コマンドによる処理は継続します。答えをゼロにしたい場合には、通常の商業データに実際に使用できる以下のような方法があります。

A を B で除算して C を得たいとします (式で表すと、A / B = C となります)。以下の定義で、B はゼロの場合があるとします。

フィールド	桁数	10 進数
A	6	2
B	3	0
C	6	2

以下の算法を使用することができます。

(A * B) / %MAX((B * B) .nnnn1)

%MAX 関数は、B * B または最小値のうち、大きい方を返します。最小値には十分な桁数のゼロを先行させ、B がゼロでない限り B * B で計算されるすべての値よりも小さくなるようにしなければなりません。この例では、B の小数点以下の桁数がゼロなので、.1 を使用できます。先行ゼロの数は、B の小数点以下の桁数の 2 倍にする必要があります。たとえば、B の小数点以下の桁数が 2 の場合には、.00001 を使用します。

以下の MAPFLD 定義を指定します。

MAPFLD((C '(A * B) / %MAX((B * B) .1)'))

最初の乗算の目的は、B がゼロの場合に被除数をゼロにすることです。このようにすると、除算が行われたときに、結果がゼロになります。B がゼロの場合には除数として .1 が使用されるので、ゼロによる除算は起こりません。

親トピック:

エラーの処理

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

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)

The Institute of Reproducing Kernels is dealing with the theory of division by zero calculus and declares that the division by zero was discovered as $0/0=1/0=z/0=0$ in a natural sense on 2014.2.2. The result shows a new basic idea on the universe and space since Aristotele (BC384 - BC322) and Euclid (BC 3 Century - ), and the division by zero is since Brahmagupta (598 - 668 ?).

Announcement 478: Who did derive first the division by zero 1/0 and the division by zero calculus $\tan(\pi/2)=0, \log 0=0$ as the outputs of a computer?

世界を変えた等式１７：　素晴らしい。

しかしながら、アリストテレス（紀元前384年－紀元前322年）以来　否定され、天才オイラーの間違いを含み、アインシュタインの生涯の懸案だったとされるゼロ除算が　含まれていない。惜しいかな数学。四則演算が不完全だった。

そこで　下記の公式は、17に続く等式と　すべきではないでしょうか。

1/0=0/0=0,

tan (\pi/2)=0,

log 0=0,

(f(x)/x)(0) = f^\prime(0) = f’(0)

2022.2.8.06:00

The equation that changed the world 17: Great.

However, it has been denied since Aristotle (384 BC-322 BC), including the mistake of genius Euler, and does not include division by zero, which is said to have been a concern for Einstein's life. A regrettable math. The four arithmetic operations were incomplete. Therefore, the following formula should be the equation following 17.

1/0 = 0/0 = 0,

tan (\ pi / 2) = 0,

log 0 = 0,

(f (x) / x) (0) = f ^ \ prime (0) = f ’(0)

2022.2.8.06:00