関数型言語F#をやっているときに学んだ数学