>>628
ていうか、そもそも数学者ってコンピュータを信用してないんじゃなかったっけ