入門微積分の簡略化とリファクタリング(2018年)