20/08/22 00:32:18.31 75MjfSAz.net
>>410
位相空間論の入門書には大抵書いてあるよ
あと「Haskellによる関数プログラミングの思考法」にも(証明は無いが)言及があった
((f . g) . h) x
= (f . g) (h x)
= f (g (h x))
= f ((g . h) x)
= (f . (g . h)) x
この等号は計算結果が等しいという意味で
途中の時間・空間計算量の違いは気にしていないので念の為
20/08/22 00:32:18.31 75MjfSAz.net
>>410
位相空間論の入門書には大抵書いてあるよ
あと「Haskellによる関数プログラミングの思考法」にも(証明は無いが)言及があった
((f . g) . h) x
= (f . g) (h x)
= f (g (h x))
= f ((g . h) x)
= (f . (g . h)) x
この等号は計算結果が等しいという意味で
途中の時間・空間計算量の違いは気にしていないので念の為