set\)の構造を圏論のモナドを用いて描くと下図のようになる。set\)はこれを用いて次のように定義すればよい。False])一応確認しておこう。[1,2,3][[1,2,3],[1,2],[1,3],[1],[2,3],[2],[3],[]]出来上がりだ。モナドを定義するために、冪集合から初めて、最後はまた冪集合に戻ってきた。クリスマスプレゼントとはいえ、長い記事になってしまったが、モナドを様々な面から観察することができ、新たな発見もあって、楽しむことができた。読者の方はいかがでしたか。参加グループ知識リンクはてなブログブログをはじめる週刊はてなブログはてなブログProはてなブログをはじめよう!bitterharvestさんは、はてなブログを使っています。ブログを報告する引用をストックしましたストック一覧を見る閉じる引用するにはまずログインしてくださいログイン閉じる引用をストックできませんでした。再度お試しください閉じる限定公開記事のため引用できません。