静的型検査