TypeScript:静的チェック