TypeScript:仕様