Announcement 478: Who did derive first the division by zero 1/0 and
the division by zero calculus $\tan(\pi/2)=0, \log 0=0$ as the outputs of a computer?

再生核研究所声明 477(2019.2.23) ケンブリッジ大学とミュンヘン工科大学のIsabelle
計算機システムはゼロ除算x/0=0 を導いた

再生核研究所声明 479(2019.3.12)  遅れをとったゼロ除算 − 
活かされない敗戦経験とイギリスの畏れるべき戦略

ケンブリッジ大学とミュンヘン工科大学のIsabelle 計算機システムはゼロ除算x/0=0 を導いた。