実際、Isabelle/HOL:は　1980年代に1/0=0　を盛んに出していたという。の画像