静的な型と動的な型の一致とは?