タグ local_offer数の型を作る が付いた記事

• article 数の型を作る(自然数編)
  最終更新日:2025-10-31

Haskellで自然数の型を構成します。

• article 数の型を作る(Grothendieck群編)
  最終更新日:2025-10-31

可換モノイドから得られる普遍的な可換群について纏めます。