>>526
-αの定義は?