強い静的型付け