>>412以降self談義している人は皆微分積分。