公式が擬人化しただと・・・?