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
[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
さらに2019.2.16. 夜、計算機が ゼロ除算ができるとの情報が入り、本人と連絡が取れた:
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 計算機システムはゼロ除算x/0=0 を導いた