トップページ > 科学ニュース+ > 2019年03月10日 > GTY/x4P2

書き込み順位＆時間帯一覧

36 位/327 ID中時間01234567891011121314151617181920212223Total
書き込み数0000000000000020000000002



使用した名前一覧書き込んだスレッド一覧
よっちゃん
【物理学】宇宙の果てには何があるの？ 専門家に聞いてみた［02/24］

書き込みレス一覧

【物理学】宇宙の果てには何があるの？ 専門家に聞いてみた［02/24］
451 ：よっちゃん[kbdmm360@yahoo.co.jp]：2019/03/10(日) 14:11:39.00 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　が　私たちの原理、幾何学的な考察にあり、　既に広く　運用され、
それは既に　揺るがない　という　事ですね。
【物理学】宇宙の果てには何があるの？ 専門家に聞いてみた［02/24］
452 ：よっちゃん[]：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　が　私たちの原理、幾何学的な考察にあり、　既に広く　運用され、
それは既に　揺るがない　という　事ですね。


※このページは、『２ちゃんねる』の書き込みを基に自動生成したものです。オリジナルはリンク先の２ちゃんねるの書き込みです。
※このサイトでオリジナルの書き込みについては対応できません。
※何か問題のある場合はメールをしてください。対応します。