再生核研究所

Keyword Search

▼キーワード検索

Profile

再生核研究所

フォローする

Calendar

Favorite Blog

小西美帆　ブログ「g… 小西美帆さん
楽天ペットニュース… 楽天ペットスタッフさん

Comments

bugindiceBludge@ Clouptslots mzhrm generic cialis tadalafil https://tadal…

Afferiinfomia@ Clouptslots eolql tadalafil daily online cialis tadalafi…

Bolaimmormgiree@ Clouptslots kwefv https://cttadalafil.com/ cialis tadala…

cyclomune@ cyclosporineopthalmicemulsion buy cyclomune <a href="https://…

cyclomune@ cyclosporineopthalmicemulsion cyclosporine eye drops <a href=&quot…

Freepage List

2019.02.19

計算機がゼロ除算1/0=log 0 = tan (\pi/2) =0　等を出力させた意義

カテゴリ：カテゴリ未分類

計算機がゼロ除算1/0=log 0 = tan (\pi/2) =0　等を出力させた意義は、　ゼロ除算を可能にしたことにあるのではなく、そのような結果を評価しているグループが

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 計算機システムは　ゼロ除算ｘ/0=0　を導いた
確かなことは、　ここ３日間で　我々以外　考えていなかった　孤立特異点の値、ゼロ除算算法の具体的な値が　計算機の出力として、どんどん現れてきたという事実です。　新世界の値を　計算機が導いているということです。
その後質問に対して　回答があり、　添付のように　信じられないほどに　ソフトが完成されていることを見て、驚嘆させられています。
責任者とは交流がありましたが、大したことではないと言っていましたが、　実は相当なことを　大きなグループで完成していたと　考えられます。

２０１９．２．１７．２０：０５

お気に入りの記事を「いいね！」で応援しよう