Iso(2)を2次元合同変換群(つまり平行移動の群とSO(2)の半直積)として、pとlを、平面上の点と直線とする。ただし、lはpを含んでいる。で、pを固定するIso(2)の部分群Hと、lを固定するIso(2)の部分群Kを取る。X=Iso(2)/Hは単に元の平面で、Y=Iso(2)/Kは、平面…

http://www.tom.sfc.keio.ac.jp/~sakai/d/?date=20061220#p02 経由で http://haskell.g.hatena.ne.jp/jmk/20061220/1166594317 と、あと http://www.lab2.kuis.kyoto-u.ac.jp/~hanatani/tdiary/?date=20041210 が動機。 方針:n-引数flipは、一般にn!個のバリ…

http://www.zvon.org/other/haskell/Outputprelude/Read_c.html http://www.zvon.org/other/haskell/Outputprelude/read_f.htmlreadは主に、文字列で表記された数値をIntegerなりFloatなりに変換するための関数(かどうかは知らないが)。Readって便利だな〜と…

ウフコックが見たかった(´・ω・｀)