再生核研究所

Lean 　はフランスの、

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

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