関数合成と関数適用の練習

	f	g	g . f	g f	補足
1	a -> b	c -> d	a -> c	d
2	a -> b -> c	d -> e -> f	a -> e -> f	e -> f
3	a -> (b -> c)	d -> e -> f			2と同じ
4	(a -> b) -> c	d -> e -> f	(a -> b) -> e -> f	e -> f
5	a -> b -> c	d -> (e -> f)	a -> e -> f	e -> f
6	a -> b -> c	(d -> e) -> f	a -> c	f
7	a -> (b -> c)	d -> (e -> f)			２と同じ
8	(a -> b) -> c	(d -> e) -> f	(a -> b) -> c	f
9	(a -> b) -> c	d -> (e -> f)			4と同じ
10	a -> (b -> c)	(d -> e) -> f			1と同じ
11	a -> b	c -> d -> e	a -> d -> e	d -> e	g.fは２のg.fと同じ
12	a -> b	(c -> d) -> e	a -> c	e	1と同じ
13	a -> b -> c	d -> e	a -> c	e	12と同じ(1と同じ)
14	(a -> b) -> c	d -> e	(a -> b) -> c	e	1の変形
15	a -> b -> c	d -> e -> d	a -> e -> b -> c	e -> a -> b -> c	g.fのときd=b->c、g fのときd=a->b->c
16	(a -> b) -> c	d -> e -> d	(a -> b) -> e -> d	e -> (a -> b) -> c	g.fのときd=c、g fのときd=(a->b)->c
17	(a -> b) -> c	(d -> e) -> d	(a -> b) -> c	a -> b	g.fのときd->e=cでキャンセルされる、g fのときd=(a->b)とe=cでe=cはキャンセル