静的型チェック