絶対値

絶対値の定義と性質を更新。