Haskellでわかる群論の代数的構造
README
1.
最初に
1.1.
想定読者
1.2.
登場人物
2.
半群
2.1.
半群コード
2.2.
半群解説-演算子
2.3.
半群解説-結合律
2.4.
半群解説-半群がもうひとつ
3.
モノイド
3.1.
モノイド-コード1
3.2.
モノイド-コード2
3.3.
モノイド-単位元律
3.4.
モノイド-モノイドももうひとつ
4.
群
4.1.
群-コード
4.2.
群-コード-群型クラスと群インスタンス
4.3.
群-コード-逆元の存在
5.
終わりに
Powered by
GitBook
Haskellでわかる群論の代数的構造
この本の読者想定レベル
Haskellでモノイドを知っている ( もしくはすごいH本を読んだレベル )
「群? ナニソレキニナルー」な人 ( 「代数的構造」に興味がある人 )
この本の想定しない読者レベル
Haskellのモノイドを全く知らない人
既に群論がマジわかる人