精密な型抜き案例