Hey! I heard that Lean thinks 1/0 = 0. Is that true?

Hey! I heard that Lean thinks 1/0 = 0. Is that true?

Hey! I heard that Lean thinks 1/0 = 0. Is that true?
Mathematicians learning Lean. Kevin Buzzard. @imperialcollege. Discord (every Thurs eve UK):

もっとみる

今まではレジ袋0円だったからゼロ除算出来なかったのが

今まではレジ袋0円だったからゼロ除算出来なかったのが

今まではレジ袋0円だったからゼロ除算出来なかったのが、レジ袋に値段がつくことでx円払えばレジ袋一個ぶん環境を破壊してもいいみたいな計算が出来てしまう。https://twitter.com/handful_of_help/status/1278315006275117057



ゼロ除算は考え方を変えて、自然に意味のある形で、できるように

もっとみる

Suddenly starting to get "division by zero" crashes now because PCs

Suddenly starting to get "division by zero" crashes now because PCs

I suspect another problem with DOS and 16-bit Windows programs suddenly starting to get "division by zero" crashes now because PCs

もっとみる

Division by Zero at MagickCore/layer.c:1616 #1629

Division by Zero at MagickCore/layer.c:1616 #1629

1 / 9 = 0.1 111111111111111111111... 12 / 99 = 0.12 121212121212121212... 1234 / 9999 = 0.1234 123412341234... 123456 / 999999 = 0.123456 123456... f

もっとみる

ゼロ除算警察だ!

ゼロ除算警察だ!

ゆるます! ざせつしない微分積分 - 170 ページ - Google ブック検索結果

books.google.co.jp › books

菊地 唯真 - 2019 - ‎Mathematics

算しているけど、身長が 0 ってなれば......ゼロ除算警察だ!アウト!たとえば、さっきの BMI を考えよう。あれはメートル単位の身長の 2 乗で割りあ、たしかに。でも、身

もっとみる

1992年10月31日 ガリレオの死から350年目。

1992年10月31日 ガリレオの死から350年目。

これらは、伝統、思い込み、習慣を変えるのに、 合理的に、理性的に、論理的に それらでは 中々変えられない 人間の 姿が見える。

アメリカの一部では、マスクをすることが、コロナウイルス事件が起きても、反対だという。 中々銃を手放せない 事情とも 通じているという。 これらは、伝統、思い込み、習慣を変えるのに、 合理的に、理性的に、論理的に そ

もっとみる