Toiminnallista matematiikkaa ulkona