Takeo IMAI wrote:
> さて、f = id;f = f;g;f で、かつ、f は epiです。

なるほど!!!

f = f;(g;f) = f;IDy
よって g;f = IDy

ですね。

ありがとうございました。

-- 
Akira Nonaka
http://homepage.mac.com/nonaka/


--
ML: haskell-jp / quickml.com
Web: http://QuickML.com/haskell-jp
使い方: http://QuickML.com/