TypeScriptで条件付き型をマスターする