2007-04-27 ■ 他 「関数が連続であるとは、値を計算するときにその関数を有限回しか使わないでよいことである」ということが少し実感できた気がする。直観主義にとって連続性が何よりも大事である理由もこのあたりか。finite call property。