静的型チェック

静的型チェック

(static type checking)