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.2３) ケンブリッジ大学とミュンヘン工科大学のIsabelle
計算機システムはゼロ除算ｘ/0=0　を導いた

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

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