今後も使う予定なのでメモしとく。 詳細は↓の文章を参照してください： http://en.wikibooks.org/wiki/Haskell/Category_theoryHaskellの型システムが圏であり、ここでHaskと名をつける。 Haskの要素は下表通り： Category Hask objects 型の集合{Int, Doubl…

例えば： 詳細は： http://hatenadiary.g.hatena.ne.jp/keyword/%E6%95%B0%E5%BC%8F%E3%82%92%E8%A1%A8%E7%A4%BA%E3%81%99%E3%82%8B%EF%BC%88tex%E8%A8%98%E6%B3%95%EF%BC%89 http://www.forkosh.com/mimetexmanual.html http://www.forkosh.com/mimetextuto…