再生核研究所

相当な計算機システムがゼロ除算1/0=0を2020年には認識、相当に広まっていたことが分る。しかも　それらが秘密で行われ、出て来なかった。Ｂing など　あるいは世間、多くが　そのゼロ除算が　所謂　ゼロ除算の自然な拡張で可能になったことを認識できず、　数学の世界と　別の議論だと誤解している。それが原理が新しく、漏れて　我々の意味のゼロ除算であることが　昨夜　　確認できた。衝撃的な事件なので、直ぐに新しい声明を作成したい。


Lean 　はフランスの、

Coq  は　アメリカの関係、大きなソフト会社であることが分かった。他にも多く有ると述べられている。そこで、国際的な競争関係が激化しているようだ。マル秘で適切な回答が得られない。　 Isabell 　はイギリスとドイツの連携の巨大なシステム。１９８０年代から 1/0=0 を認識していたという。

彼らの分数　 f(x,y) =x/y　の定義と我々の拡張分数、割り算の定義は　同じである。　我々は高橋の一意性定理によって動機付けや山田体の構成で　そう宣言した。ゼロ除算算法から基本性質を導いている。上記検証は我々の理論を保証している。　沢山されているようである。２０２４．１．２４．２０：３４