再帰関数の技 http://www.nurs.or.jp/~sug/soft/super/lisp.htm 紹介していたところ。（blog面白い。） http://alohakun.blog7.fc2.com/blog-entry-225.html

isbn:0521478170 の、p.56あたりから読む。 automorphismとisomorphismとpermutationの続き。 昨日よくわからないまま寝てしまったところの続きから。一般的に、isomorphismが存在すれば、その数は、 automorphismと同数である。 これを、"数える"ことなしに…

つづき。 自体が、isomorphismであることを示すために、のinverse を次のように作る。 なんだか、Fとかfとか混ざってややこしくなってきた。 もう一度整理すると、まず、Isom(A,B)のひとつの要素を選んで、これをとする。 Isom(A,B)の要素なので、当然invers…