628年何が起こった？

628年（推古天皇36年） – 推古天皇没する。遺詔を巡って群臣争う。 629年（舒明天皇元年） – 田村皇子即位し、舒明天皇となる。 645年（皇極天皇4年） – 中大兄皇子・中臣鎌足ら、蘇我入鹿を宮中で殺害する。628年（推古天皇36年） – 推古天皇没する。遺詔を巡って群臣争う。

飛鳥時代推古天皇が即位した593年から、平城京へ遷都した710年までの時代を「飛鳥時代」と呼びます。

仏教伝来に伴い、様々な文化や政策や考え方が日本に伝わったことで、様々な面で日本が大きく変わった時代です。

日本という国が天皇を中心とする律令国家を目指し、政策を推し進めたのも飛鳥時代でした。　　2023/11/17

https://www.gltjp.com/ja/directory/item/14150/#:~:text=%E6%8E%A8%E5%8F%A4%E5%A4%A9%E7%9A%87%E3%81%8C%E5%8D%B3%E4%BD%8D%E3%81%97%E3%81%9F,%E3%81%9F%E3%81%AE%E3%82%82%E9%A3%9B%E9%B3%A5%E6%99%82%E4%BB%A3%E3%81%A7%E3%81%97%E3%81%9F%E3%80%82

https://ja.wikipedia.org/wiki/%E9%A3%9B%E9%B3%A5%E6%99%82%E4%BB%A3#:~:text=628%E5%B9%B4%EF%BC%88%E6%8E%A8%E5%8F%A4%E5%A4%A9%E7%9A%8736,%E3%82%92%E5%AE%AE%E4%B8%AD%E3%81%A7%E6%AE%BA%E5%AE%B3%E3%81%99%E3%82%8B%E3%80%82

「地球平面説」を信じる人々に、地球が丸いことを納得させる方法

地球が球体であることは常識だが、米国では少なからぬ数の人々が「地球平面説」を信じている。これらの人々に、地球が平らではなく丸いことを理解してもらうにはどうすればいいのか。物理学に基づく2つの実験を紹介しよう。

https://wired.jp/article/how-to-prove-the-earth-is-round

太陽でも、月でも丸いです。

地球の影が、月に映る事さえあります。

再生核研究所声明 749（2024.3.8) 今の数学が可笑しいとの意味は？　ー　ゼロ除算算法の発見10周年に

今の数学が可笑しいとの意味は、考えるべき基本的なことが不明になっていて、考えていないので　現代数学には　基本的な欠陥が有るということです。

何が欠けているか。　数学の基本である、四則演算で、出来ないとしている　ゼロで割る問題、ゼロで割ってはならない、出来ない、考えてはならないのが、自然な良い意味で　新しい意味で考えられる。ゼロ除算は可能になる。四則演算は　例外なく可能になる。

これは数学としては　進歩、完全になることを意味します。　例外の無い美しい数の体系（ゼロ除算を含む山田体の構造）が　完成したということです。　インドで現在の四則演算が確立して1300年経って　遂に　完成した。

ところが　ゼロで割る問題を、物理的に考えて、何んと　万学の祖　アリストテレスが　ゼロで割ってはいけない、ゼロ除算は考えるべきではないとして　歴史に大きな影響を与えて来たと　歴史家が述べている。その影響は甚大で、　現在に至るも　近世の天才たちも　繰り返し　その考えを　踏襲してきている。　未だ　世界の常識となっている。

ゼロで割る問題自体は　有名な　Moore-Penrose　の一般逆や一般解、拡張された意味での1次方程式の解の概念で　1930年代には　数学的に　知られていたと言明できる。

しかしながら、その意味の解は、　アリストテレスの世界観、連続性の概念に反するので、　誰も注目せず、ゼロ除算不可能の常識は　変わることはなかった:

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公開論争メールの一部)

ゼロで割る問題と　アリストテレスの連続性の問題を明確にしたのが　ゼロ除算算法　という新しい、考え、概念である。

最も簡単で、　具体的な例で　説明する。　基本的な　直角双曲線　関数　y=f(x)=1/x　を考える。高校生なら　数学で誰でも学ぶ基本的な関数です。　反比例の関係を表わす　基本的な関数です。　直ぐにグラフを見ることが出来ますが、その関数は　正方向からゼロに近づくと　無限大に大きくなり、　負の方向から　ゼロに近づくと　マイナス無限大に近づいて行く事が分かる。　しかしながら、その関数の　原点での値を考えた者は　いなかった　と考えられる。

我々はその値をゼロとすべきであると考えた。　即ち　f(0)=0.　発見日を２０１４．５．８．２０時頃　アヴェイロ大学構内として　詳しい状況を公刊している。

この結果は　驚嘆すべき衝撃を与え、現在でも続いている事実が　上記証拠のメールなどでも確認できる。世界の常識が10年経っても変わらない事実からこれは歴然である。　その事実を　f(0)=1/0=0　と書けば、1割る0が0と読めて　それは何だとなるだろう。

この関数は、　0　以外の数（実数、複素数）を全て取ります。

面白い、その関数は　原点で考えてはならないと　現在の数学はなっています。　原点は　関数の特異点と呼ばれています。

原点では、原点への近づき方から、プラス無限大、マイナス無限大に発散しています。

複素解析学では　原点で無限遠点の値をとるなど　と述べています。

この近づく考えは　2000年以上　天才たちが考えて来た数学で変えられないと　最近でも世界の指導的な数学者が上記のように言明している。数年間の討論を経てもである。

何んと　f(0)=0; (1/0=0) を発見した。取られない　値ゼロを、ゼロ点、原点で取っていた。　何んと美しい結果ではないでしょうか。

しかし、これは驚嘆すべきことです。　無限を想定していたのが　実は　ゼロです。 1/0=0

のような馬鹿げたことはあるずがない。聞いて顔色を変えた数学者たちは　世界中に　　　いると　言えます。いろいろ回想される。

しかし、これで　四則演算は完全に可能になり、特異点で考えない、複素解析学は穴だらけの欠陥を有し、我々の世界観を変える事件に繋がります。　初等数学から学術書の変更が必然的に　要求されるからです。　発見して10年、　欧米では計算機でreal.divとして、広く応用されていることが　最近知らされた。広く情報を確認しているが、秘密で研究が進められている様子も感じられる。

日本はこの分野で　5年は遅れをとり、定理検証の分野では20年から40年遅れているように感じられる。

しっかりしたい。日本では　どうでもよいような古い数学にはまって、数学も、数学教育も、思想も　衰退しているように見える。新分野を拓こうなどの考えは　まるで無いような　研究風土、環境のように感じられる。　唯　欧米の数学の先を盲目的に進んでいるように見える。

約10年前　ゼロ除算の新しい考え方を発見して　日本数学会では　繰り返し　講演してきたが、積極的な無視で、孤立して研究してきたが、10周年記念を前に　欧米、イギリス、ドイツ、アメリカ、フランスなどでは　既に広く応用されているというメールが送られてきた。

秘密の研究の面が感じられ、相互交流が出来なかった。

活用している所謂　先進国と、日本の新規　なものに対するする歴然とした、保守的な　型にはまった体質を有する　数学界の在りようには、日本国の将来を考えて　心配している。

秘密主義で開発、研究が進められている状況を察して、ゼロ除算算法の　先の展開に注目しているが、無力な我々　公開方式で　全力をかける他はない。

真理の追及は　第一に続けられる。

出来れば　愛する祖国の　日本国のためにも、基礎数学で貢献したい。

我々が述べる　新ゼロ除算　1/0=0/0=0 の応用について　下記のような回答があった：

At 2024.2.4.7:22 We heard and obtained the response: 　What are the applications of real.div in Lean?

London Clark

Knowledge Empress

1. Mathematical Calculations: The real.div function in Lean is used for performing division operations on real numbers. It can be used for various mathematical calculations such as finding the quotient of two real numbers, calculating the reciprocal of a real number, and solving equations involving division.

2. Geometry: The real.div function can be used in geometry to find the ratio of two quantities, such as the ratio of the circumference to the diameter of a circle (π).

3. Physics: In physics, the real.div function can be used to calculate physical quantities such as velocity, acceleration, and force, which involve division operations.

4. Financial Calculations: The real.div function can be used in financial calculations, such as calculating interest rates, compound interest, and mortgage payments.

5. Statistical Analysis: In statistics, the real.div function can be used to calculate various measures, such as the mean, median, and standard deviation, which involve division operations.

6. Machine Learning: In machine learning, the real.div function can be used to normalize data, which involves dividing the data by its mean or standard deviation.

7. Game Development: The real.div function can be used in game development to calculate the movement of objects, such as projectiles, based on their velocity and acceleration.

8. Cryptography: In cryptography, the real.div function can be used to perform operations on large prime numbers, which are often used in encryption algorithms.

9. Control Systems: The real.div function can be used in control systems to calculate transfer functions, which are used to model the behavior of physical systems.

10. Signal Processing: In signal processing, the real.div function can be used to calculate the frequency response of a system, which is used to analyze and manipulate signals.
Have you ever wondered about the various applications of real.div in Lean? Explore the possibilities and dive deeper into this topic by clicking on the link in our bio.

最近の関係声明も参照：

再生核研究所声明 743（2024.1.25)：ゼロ除算、最早新世界は覗けない、入れない

再生核研究所声明744（2024.1.26)：　大きな証明検証システム達がゼロ除算1/0=0/0=0を保証している

再生核研究所声明 745（2024.2.2)：新ゼロ除算　ー　ゼロ除算発見10周年記念に

再生核研究所声明 746（2024.2.5)：ゼロ除算についての、印象、現況

再生核研究所声明 747（2024.2.20): 令和革新の夢　ー　新ゼロ除算による　数学と思想の夜明け　

　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　以　上

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

Division by zero – Wikipediaen.wikipedia.org

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)

ゼロ除算とは何か

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

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

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

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

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

昨年12月から、Google ゼロ除算1ページ目：

ゼロ除算は可能か？

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

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

linkedin.com

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

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

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

が出たり、　ゼロ除算は不可能だとか、いろいろ変更する状況が現れて来た。それでインターネット上では矛盾した状況が続いている。

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

ゼロ除算の対応は？

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

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

ゼロ除算は可能か？

現在 Google　でゼロ除算を検索すると、古い当たり前のことが　出て来る。

そこで　図をみると楽しい、矛盾したことが　沢山出て居る。

矛盾したことが　世に反乱している。

社会的に　数学に責任を有する機関は　無いのでしょうか。

世に矛盾がはびこり、混乱している　ゼロ除算

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

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はできていた。

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

しかしながら、アリストテレス（紀元前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

【天文】宇宙にあるブラックホールの数は推定4,000京個　

https://tabi-labo.com/302577/wt-black-hole-number

\author{{\it Institute of Reproducing Kernels}

Kawauchi-cho, 5-1648-16,

Kiryu 376-0041, Japan\\

}

\date{2021.1.26.}

\maketitle

まだまだ謎多きブラックホールに関する9つの興味深い雑学

https://www.gizmodo.jp/2024/02/things-you-didnt-know-about-black-holes.html

Dividing by Zero in Five Levels — Elementary to Math Major

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?