[SAMPLE] TypeScript型システム深掘り解説：実践的な型設計