再生核研究所

そこで、ゼロ除算の理解は、未だ容易ではないと考えて、どんどん結果をプレプリントとして公表して行くこととした：

Saburou Saitoh
[5] viXra:1902.0240 submitted on 2019-02-13 22:57:25, (0 unique-IP downloads)
Zero and Infinity; Their Interrelation by Means of Division by Zero
Authors: Saburou Saitoh
Category: General Mathematics
[4] viXra:1902.0223 submitted on 2019-02-12 18:39:18, (2 unique-IP downloads)
Horn Torus Models for the Riemann Sphere and Division by Zero
Authors: Wolfgang W. D\"aumler, Hiroshi Okumura, Vyacheslav V. Puha, Saburou Saitoh
Category: Functions and Analysis
[3] viXra:1902.0204 submitted on 2019-02-11 18:46:02, (6 unique-IP downloads)
A Meaning and Interpretation of Minus Areas of Figures by Means of Division by Zero
Authors: Saburou Saitoh
Category: General Mathematics
[2] viXra:1902.0187 submitted on 2019-02-10 22:40:35, (3 unique-IP downloads)
The Simple and Typical Physical Examples of the Division by Zero 1/0=0 by Ctes\'ibio (BC. 286-222) and e. Torricelli (1608 1646)
Authors: Saburou Saitoh
Category: General Mathematics
[1] viXra:1902.0058 submitted on 2019-02-03 22:47:53, (26 unique-IP downloads)
We Can Divide the Numbers and Analytic Functions by Zero\\ with a Natural Sense.
Authors: Saburou Saitoh
Category: General Mathematics

さらに２０１９．２．１６．　夜、計算機が　ゼロ除算ができるとの情報が入り、本人と連絡が取れた：

José Manuel Rodríguez Caballero
Added an answer
In the proof assistant Isabelle/HOL we have x/0 = 0 for each number x. This is advantageous in order to simplify the proofs. You can download this proof assistant here: https://isabelle.in.tum.de/
ケンブリッジ大学とミュンヘン工科大学のIsabelle 計算機システムはゼロ除算ｘ/0=0　を導いた
その後 質問に対して　回答があり、　添付のように　信じられないほどに　ソフトが完成されていることを見て、驚嘆させられています。
責任者とは交流がありましたが、大したことではない と 言っていましたが、　実は 相当なことを　大きなグループで 完成していたと　考えられます。
2値や　大事な \tan(\pi/2)=0　も できているので、驚嘆です。
２０１９．２．１７．２０：０５