再生核研究所

ゼロ除算の応用

約 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.