動的型検査
Dynamic type checking
英訳は正しくないかもしれない
実行時型検査
反意語
静的型検査