これをチンポパラドックスって言うらしいね