>>1 乗法は定義されるのだろうか？
けっこう大変。