アルキメデスって学者が作った式。