【物理学】宇宙の果てには何があるの？ 専門家に聞いてみた［02/24］

[0452 よっちゃん 2019/03/10(日) 14:13:24.17 ID:GTY/x4P2]

The deduction that z/0 = 0, for any z, is based in Saitoh's geometric intuition
and it is currently applied in proof assistant technology, which are useful in
industry and in the military.

Isabelle　が　私たちの原理、幾何学的な考察にあり、　既に広く　運用され、
それは既に　揺るがない　という　事ですね。