735 ：デフォルトの名無しさん ：2007/02/15(木) 00:11:39 >>733 3行で説明するのは俺には無理． まず定義5．これは実際に手を動かすと見えてくるので， 具体例でやるのが良いと思う．以下はその pdf にもある例． 1. リスト函手 ・型 A に対し T A は A の…