再生核研究所

これ良いのでは? 高校の教科書でも大事な関数、双曲線関数、あるいは　反比例を表わす関数として、 y=f(x)=1/x があります。

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

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

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

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

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

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

何んと美しい結果ではないでしょうか。

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

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

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

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

しっかりしたい。日本では　どうでもよい古い数学には　まって、数学も、数学教育も、思想も　衰退しているように見える。新分野を拓こうなどの考えは　まるで無いようだ。

2024.2.18.7:06

２０２４．２．１８．８；５５

2024.2.18.19:34

２０２４．２．１９．６：０３曇

ゼロ除算の応用

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

言葉が違っていて、相互交流が出来なかった。

活用している所謂　先進国と、日本の新規　なものにたいする歴然とした、野蛮な体質を有する学会の在りようには、日本国の将来を考えて　心配している。

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

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

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

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

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

２０２４．２．４．７：２２

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.