正しいかどうか検算するだけで5年もかかるのかよ