まじめに数学やってれば定義位は覚えるものではなかったのか…