a↑の絶対値は求められるか?