LMF2019: Definiciones inductivas en Isabelle/HOL

LMF2019: Definiciones inductivas en Isabelle/HOL

LMF2019: Definiciones inductivas en Isabelle/HOL
José A. Alonso-28 mayo 2020-LMF2019

Division by zero in type theory: a FAQ. ~ Kevin Buzzard (@XenaPr

もっとみる

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

もっとみる

声明1から567までのリスト

声明1から567までのリスト

2007/1/27

                         再生核研究所 代表

                           齋藤 尚徳

再生核研究所声明について:

再生核研究所声明1: 良い社会を作るには

再生核研究所声明2: 中国古代の教育

再生核研究所声明3: 最低生活の保障を求める

再生核研究所声明4: 競争社会から個性を活か

もっとみる