変数に型がある。