>>79
>father(son(x)) = x
>これは、左辺にある x に対する2個の（この順の）変換が右辺と同等である
>という事を示していると思う
うん。だがそれはその式を単にそのまま読んだだけだと思うんだ。
なにが言いたいんだこの式は？何が言えてるんだこの式は？とは思わな
いかい？
まあそういうことなんだが、皆さんイライラしているようだし、この辺
で寝るよ。かまってくれてありがとう。