符号つき整数は論理シフトか算術シフトかコンパイラ依存ってだけの話でないの