Suche senden
Hochladen
モナモナ言うモナド入門
•
14 gefällt mir
•
4,524 views
Masahiro Honma
Folgen
モナドは友達、こわくないよ。
Weniger lesen
Mehr lesen
Bildung
Melden
Teilen
Melden
Teilen
1 von 27
Jetzt herunterladen
Downloaden Sie, um offline zu lesen
Empfohlen
WUPC2nd 総評
WUPC2nd 総評
Dai Hamada
曲線について
曲線について
amusementcreators
芳文社 聖地巡礼マップ「ドキドキ☆ビジュアルMAP」を作ってみた。
芳文社 聖地巡礼マップ「ドキドキ☆ビジュアルMAP」を作ってみた。
Hirosaji
第1回競技プログラミング勉強会
第1回競技プログラミング勉強会
Yoshiki TAKADA
RUPC2014_Day2_K
RUPC2014_Day2_K
s1190048
霧鎖台北城
霧鎖台北城
Kao Chi Feng
Putter King Education Program - Math Level 2 (Teacher's Guide Japanese)
Putter King Education Program - Math Level 2 (Teacher's Guide Japanese)
Kevin Dias
競技プログラミング練習会2015 Normal 第3回
競技プログラミング練習会2015 Normal 第3回
Hideaki Nagamine
Empfohlen
WUPC2nd 総評
WUPC2nd 総評
Dai Hamada
曲線について
曲線について
amusementcreators
芳文社 聖地巡礼マップ「ドキドキ☆ビジュアルMAP」を作ってみた。
芳文社 聖地巡礼マップ「ドキドキ☆ビジュアルMAP」を作ってみた。
Hirosaji
第1回競技プログラミング勉強会
第1回競技プログラミング勉強会
Yoshiki TAKADA
RUPC2014_Day2_K
RUPC2014_Day2_K
s1190048
霧鎖台北城
霧鎖台北城
Kao Chi Feng
Putter King Education Program - Math Level 2 (Teacher's Guide Japanese)
Putter King Education Program - Math Level 2 (Teacher's Guide Japanese)
Kevin Dias
競技プログラミング練習会2015 Normal 第3回
競技プログラミング練習会2015 Normal 第3回
Hideaki Nagamine
すごいMonad入門
すごいMonad入門
真一 北原
関数型プログラミングとモナド
関数型プログラミングとモナド
Masayuki Isobe
null使ったら負け福岡版
null使ったら負け福岡版
なおき きしだ
循環参照のはなし
循環参照のはなし
Masahiro Honma
Nullのはなし(up用)
Nullのはなし(up用)
Souki Tanaka
Monad tutorial
Monad tutorial
Hideyuki Tanaka
関数型言語とオブジェクト指向言語(序章)
関数型言語とオブジェクト指向言語(序章)
tadaaki hayashi
関数プログラミング入門
関数プログラミング入門
Hideyuki Tanaka
磯野ー!関数型言語やろうぜー!
磯野ー!関数型言語やろうぜー!
Ra Zon
レンズ (ぶつかり稽古の没プレゼン)
レンズ (ぶつかり稽古の没プレゼン)
Masahiro Honma
すべてが@__kanになる
すべてが@__kanになる
Masahiro Honma
Types and perl language
Types and perl language
Masahiro Honma
Currying in perl
Currying in perl
Masahiro Honma
カレーとHokkaidopm
カレーとHokkaidopm
Masahiro Honma
モナモナ言うモナド入門.tar.gz
モナモナ言うモナド入門.tar.gz
Masahiro Honma
Perl saved a lady.
Perl saved a lady.
Masahiro Honma
Levenshtein Automata
Levenshtein Automata
Masahiro Honma
20120526 hachioji.pm
20120526 hachioji.pm
Masahiro Honma
Arrows in perl
Arrows in perl
Masahiro Honma
Hachioji.pm in Machida の LT
Hachioji.pm in Machida の LT
Masahiro Honma
Monads in perl
Monads in perl
Masahiro Honma
ウヰスキーとPSGI
ウヰスキーとPSGI
Masahiro Honma
Weitere ähnliche Inhalte
Andere mochten auch
すごいMonad入門
すごいMonad入門
真一 北原
関数型プログラミングとモナド
関数型プログラミングとモナド
Masayuki Isobe
null使ったら負け福岡版
null使ったら負け福岡版
なおき きしだ
循環参照のはなし
循環参照のはなし
Masahiro Honma
Nullのはなし(up用)
Nullのはなし(up用)
Souki Tanaka
Monad tutorial
Monad tutorial
Hideyuki Tanaka
関数型言語とオブジェクト指向言語(序章)
関数型言語とオブジェクト指向言語(序章)
tadaaki hayashi
関数プログラミング入門
関数プログラミング入門
Hideyuki Tanaka
磯野ー!関数型言語やろうぜー!
磯野ー!関数型言語やろうぜー!
Ra Zon
Andere mochten auch
(9)
すごいMonad入門
すごいMonad入門
関数型プログラミングとモナド
関数型プログラミングとモナド
null使ったら負け福岡版
null使ったら負け福岡版
循環参照のはなし
循環参照のはなし
Nullのはなし(up用)
Nullのはなし(up用)
Monad tutorial
Monad tutorial
関数型言語とオブジェクト指向言語(序章)
関数型言語とオブジェクト指向言語(序章)
関数プログラミング入門
関数プログラミング入門
磯野ー!関数型言語やろうぜー!
磯野ー!関数型言語やろうぜー!
Mehr von Masahiro Honma
レンズ (ぶつかり稽古の没プレゼン)
レンズ (ぶつかり稽古の没プレゼン)
Masahiro Honma
すべてが@__kanになる
すべてが@__kanになる
Masahiro Honma
Types and perl language
Types and perl language
Masahiro Honma
Currying in perl
Currying in perl
Masahiro Honma
カレーとHokkaidopm
カレーとHokkaidopm
Masahiro Honma
モナモナ言うモナド入門.tar.gz
モナモナ言うモナド入門.tar.gz
Masahiro Honma
Perl saved a lady.
Perl saved a lady.
Masahiro Honma
Levenshtein Automata
Levenshtein Automata
Masahiro Honma
20120526 hachioji.pm
20120526 hachioji.pm
Masahiro Honma
Arrows in perl
Arrows in perl
Masahiro Honma
Hachioji.pm in Machida の LT
Hachioji.pm in Machida の LT
Masahiro Honma
Monads in perl
Monads in perl
Masahiro Honma
ウヰスキーとPSGI
ウヰスキーとPSGI
Masahiro Honma
モデルから知るGit
モデルから知るGit
Masahiro Honma
YAPCレポートの舞台裏
YAPCレポートの舞台裏
Masahiro Honma
Git入門
Git入門
Masahiro Honma
AnyEvent and Plack
AnyEvent and Plack
Masahiro Honma
Math::Category
Math::Category
Masahiro Honma
Stateモナドの解説 後編
Stateモナドの解説 後編
Masahiro Honma
Stateモナドの解説 中編
Stateモナドの解説 中編
Masahiro Honma
Mehr von Masahiro Honma
(20)
レンズ (ぶつかり稽古の没プレゼン)
レンズ (ぶつかり稽古の没プレゼン)
すべてが@__kanになる
すべてが@__kanになる
Types and perl language
Types and perl language
Currying in perl
Currying in perl
カレーとHokkaidopm
カレーとHokkaidopm
モナモナ言うモナド入門.tar.gz
モナモナ言うモナド入門.tar.gz
Perl saved a lady.
Perl saved a lady.
Levenshtein Automata
Levenshtein Automata
20120526 hachioji.pm
20120526 hachioji.pm
Arrows in perl
Arrows in perl
Hachioji.pm in Machida の LT
Hachioji.pm in Machida の LT
Monads in perl
Monads in perl
ウヰスキーとPSGI
ウヰスキーとPSGI
モデルから知るGit
モデルから知るGit
YAPCレポートの舞台裏
YAPCレポートの舞台裏
Git入門
Git入門
AnyEvent and Plack
AnyEvent and Plack
Math::Category
Math::Category
Stateモナドの解説 後編
Stateモナドの解説 後編
Stateモナドの解説 中編
Stateモナドの解説 中編
Kürzlich hochgeladen
International Politics I - Lecture 1
International Politics I - Lecture 1
Toru Oga
My Inspire High Award 2024「なぜ、好きなことにいつかは飽きるの」
My Inspire High Award 2024「なぜ、好きなことにいつかは飽きるの」
inspirehighstaff03
3年前期 交通基盤工学 第一回 ガイダンス 交通基盤工学の概要 パワーポイント
3年前期 交通基盤工学 第一回 ガイダンス 交通基盤工学の概要 パワーポイント
shu1108hina1020
My Inspire High Award 2024 「本当の『悪者』って何?」
My Inspire High Award 2024 「本当の『悪者』って何?」
inspirehighstaff03
My Inspire High Award 2024「スーパーマーケットで回収されたキャベツ外葉は廃棄されているの?」
My Inspire High Award 2024「スーパーマーケットで回収されたキャベツ外葉は廃棄されているの?」
inspirehighstaff03
My Inspire High Award 2024「老いることは不幸なこと?」
My Inspire High Award 2024「老いることは不幸なこと?」
inspirehighstaff03
Establishment and operation of medical corporations.pdf
Establishment and operation of medical corporations.pdf
oganekyokoi
My Inspire High Award 2024 「AIと仲良くなるには?」
My Inspire High Award 2024 「AIと仲良くなるには?」
inspirehighstaff03
My Inspire High Award 2024 「家族とは何か」
My Inspire High Award 2024 「家族とは何か」
inspirehighstaff03
Divorce agreements in administrative work.pdf
Divorce agreements in administrative work.pdf
oganekyokoi
My Inspire High Award 2024 「正義って存在するの?」
My Inspire High Award 2024 「正義って存在するの?」
inspirehighstaff03
My Inspire High Award 2024「なぜ人は他人と違うところがあってもそれをなかなか誇れないのか?」
My Inspire High Award 2024「なぜ人は他人と違うところがあってもそれをなかなか誇れないのか?」
inspirehighstaff03
【ゲーム理論入門】ChatGPTが作成した ゲーム理論の問題を解く #3 Slide
【ゲーム理論入門】ChatGPTが作成した ゲーム理論の問題を解く #3 Slide
ssusere0a682
My Inspire High Award 2024「他者と自分、対立を防ぐには?」
My Inspire High Award 2024「他者と自分、対立を防ぐには?」
inspirehighstaff03
My Inspire High Award 2024「なぜ議会への関心が低いのか?」
My Inspire High Award 2024「なぜ議会への関心が低いのか?」
inspirehighstaff03
My Inspire High Award 2024 「孤独は敵なのか?」
My Inspire High Award 2024 「孤独は敵なのか?」
inspirehighstaff03
My Inspire High Award2024「外国人が日本のテーブルマナーに驚く理由は?」
My Inspire High Award2024「外国人が日本のテーブルマナーに驚く理由は?」
inspirehighstaff03
My Inspire High Award 2024「世の中の流行はどのようにして生まれるのか」
My Inspire High Award 2024「世の中の流行はどのようにして生まれるのか」
inspirehighstaff03
My Inspire High Award 2024「Yakushima Islandってなんか変じゃない?」.pdf
My Inspire High Award 2024「Yakushima Islandってなんか変じゃない?」.pdf
inspirehighstaff03
What I did before opening my business..pdf
What I did before opening my business..pdf
oganekyokoi
Kürzlich hochgeladen
(20)
International Politics I - Lecture 1
International Politics I - Lecture 1
My Inspire High Award 2024「なぜ、好きなことにいつかは飽きるの」
My Inspire High Award 2024「なぜ、好きなことにいつかは飽きるの」
3年前期 交通基盤工学 第一回 ガイダンス 交通基盤工学の概要 パワーポイント
3年前期 交通基盤工学 第一回 ガイダンス 交通基盤工学の概要 パワーポイント
My Inspire High Award 2024 「本当の『悪者』って何?」
My Inspire High Award 2024 「本当の『悪者』って何?」
My Inspire High Award 2024「スーパーマーケットで回収されたキャベツ外葉は廃棄されているの?」
My Inspire High Award 2024「スーパーマーケットで回収されたキャベツ外葉は廃棄されているの?」
My Inspire High Award 2024「老いることは不幸なこと?」
My Inspire High Award 2024「老いることは不幸なこと?」
Establishment and operation of medical corporations.pdf
Establishment and operation of medical corporations.pdf
My Inspire High Award 2024 「AIと仲良くなるには?」
My Inspire High Award 2024 「AIと仲良くなるには?」
My Inspire High Award 2024 「家族とは何か」
My Inspire High Award 2024 「家族とは何か」
Divorce agreements in administrative work.pdf
Divorce agreements in administrative work.pdf
My Inspire High Award 2024 「正義って存在するの?」
My Inspire High Award 2024 「正義って存在するの?」
My Inspire High Award 2024「なぜ人は他人と違うところがあってもそれをなかなか誇れないのか?」
My Inspire High Award 2024「なぜ人は他人と違うところがあってもそれをなかなか誇れないのか?」
【ゲーム理論入門】ChatGPTが作成した ゲーム理論の問題を解く #3 Slide
【ゲーム理論入門】ChatGPTが作成した ゲーム理論の問題を解く #3 Slide
My Inspire High Award 2024「他者と自分、対立を防ぐには?」
My Inspire High Award 2024「他者と自分、対立を防ぐには?」
My Inspire High Award 2024「なぜ議会への関心が低いのか?」
My Inspire High Award 2024「なぜ議会への関心が低いのか?」
My Inspire High Award 2024 「孤独は敵なのか?」
My Inspire High Award 2024 「孤独は敵なのか?」
My Inspire High Award2024「外国人が日本のテーブルマナーに驚く理由は?」
My Inspire High Award2024「外国人が日本のテーブルマナーに驚く理由は?」
My Inspire High Award 2024「世の中の流行はどのようにして生まれるのか」
My Inspire High Award 2024「世の中の流行はどのようにして生まれるのか」
My Inspire High Award 2024「Yakushima Islandってなんか変じゃない?」.pdf
My Inspire High Award 2024「Yakushima Islandってなんか変じゃない?」.pdf
What I did before opening my business..pdf
What I did before opening my business..pdf
モナモナ言うモナド入門
1.
モナモナ言うモナド入門
2012.11.17 hiratara
2.
今日話すこと ✦
圏論から目を背けずに 、 モナドの定義を淡々と ✦ 図はスライド作るの面倒なので板書で ✦ タイトルは@kazu_yamamoto さんの 「モナモナ言わないモナド入門」の オマージュ
3.
今日話すこと ✦
モナドは数学の概念 ✦ よほどの数学嫌いでもない限り、 回り道をして誤摩化す必要はない
4.
ゃ駄目だ。逃げちゃ駄目だ。 逃げちゃ駄目だ。 逃げ ちゃ駄目だ。
逃げちゃ駄目だ。 逃げちゃ駄目だ。 逃 げちゃ駄目だ。 逃げちゃ駄目だ。 逃げちゃ駄目だ。 逃げちゃ駄目だ。 逃げちゃ駄目だ。 逃げちゃ駄目 だ。 逃げちゃ駄目だ。 逃げちゃ駄目だ。 逃げちゃ駄 目だ。 逃げちゃ駄目だ。 逃げちゃ駄目だ。 逃げちゃ 駄目だ。 逃げちゃ駄目だ。 逃げちゃ駄目だ。 逃げ ちゃ駄目だ。 逃げちゃ駄目だ。 逃げちゃ駄目だ。 逃 げちゃ駄目だ。 逃げちゃ駄目だ。 逃げちゃ駄目だ。 逃げちゃ駄目だ。 逃げちゃ駄目だ。 逃げちゃ駄目 だ。 逃げちゃ駄目だ。 逃げちゃ駄目だ。 逃げちゃ駄
5.
圏 (Category)
6.
圏(Category) ✦
C0 - 対象の集合。A, B, C, ... ✦ C1 - 射の集合。f, g, h, ... ✦ dom: C1 → C0 - 定義域 ✦ cod: C1 → C0 - 値域
7.
圏(Category) ✦
id: C0 → C1 - 恒等射 ✦ dom (id A) = cod (id A) = A ✦ ∘: C1×C1 → C1 - 合成 (C1×C1 := {<g, f>| dom g = cod f}) ✦ dom g ∘f = dom f, cod g ∘f = cod g
8.
圏(Category) ✦
h ∘(g ∘f) = (h ∘g) ∘f - 結合律 ✦ id ∘ f = f ∘ id = f - 恒等射
9.
関手 (Functor)
10.
関手(Functor) ✦
圏Cと圏Dについて、関手F : C → Dとは、 F : C0 → D0 - 対象関数 F : C1 → D1 - 射関数 の組
11.
関手(Functor) ✦
dom Ff = F(dom f), cod Ff = F(cod f) ✦ F id = id ✦ F (g ∘f) = Fg ∘ Ff
12.
13.
自然変換 (Natural Transformation)
14.
自然変換(Nat) ✦
関手F, G:C → D について、 自然変換α:F→Gとは、 α : C0 → D1 (dom αA = FA、cod αA = GA)
15.
自然変換(Nat) ✦
任意のCの射f : A → Bについて、 αB∘Ff = Gf∘αA
16.
補足)垂直合成 ✦
F, F’,F’’:C→C’ α:F→F’, β:F’→F’’について、β.α:F→F’’を (β.α)A := βA∘αA と定義。
17.
水平合成 ✦
F, F’:C→C’、G, G’:C’→C’’ α:F→F’, β:G→G’について、β∘α:FG→F’G’を (β∘α)A := βF’A∘GαA (= G’αA∘βFA) と定義。
18.
19.
モノイド (Monoid)
20.
モノイダル圏 ✦
圏C、双関手□:C×C→C、対象I、 自然同型α:(-□-)□-→-□(-□-)、 λ:I□-→id、ρ:-□I→idについて、
21.
モノイダル圏 ✦
(C, □, I, α, λ, ρ)がモノイダル圏とは、 任意の対象W, X, Y ,Zについて、 W□α(X, Y, Z)∘α(W, X□Y, Z)∘α(W, X, Y)□Z =α(W, X, Y□Z)∘α(W□X, Y, Z) X□λ∘α(X, I, Y) = ρ□Y
22.
モノイド ✦
モノイダル圏 (C, □, I, α, λ, ρ)において、 対象M、射µ:M□M→M、η:I→Mが モノイドとは、 µ∘id□µ∘α(M, M, M) = µ∘µ□id µ∘η□id = λ, µ∘id□η = ρ
23.
24.
25.
モナド (Monad)
26.
モナド ✦
関手 T:C→C、自然変換η:id→T、µ:TT→T (T, η, µ)がモナドとは、 µ∘Tµ = µ∘µT µ∘Tη = µ∘ηT = id
Jetzt herunterladen