静的型検査
Static type checking
英訳は正しくないかもしれない
コンパイル時型検査
反意語
動的型検査