定理の仮定を外して一般化するとか、得られた解の極限をとって妥当性を確認するとか、コーナーケースでプログラムのテストするとか、そんな小説だった