2018年9月2日

圏論とSwiftへの応用 @inamiy #iosdc #c

https://fortee.jp/iosdc-japan-2018/proposal/45b858e0-753c-4387-9210-5837cff6da7a 圏論(カテゴリー理論)は、「対象」と対象間の「射」(関係性、構造)の集まりからなる「圏」を抽象的に扱う数学理論です。関数型プログラミングで度々登場する「モノイド」「関手」「自然変換」「モナド」の由来であり、さらには「米田の補題」「随伴」「極限」「F代数」「カン拡張」など、より高度な概念が登場します。この発表では、圏論から得られる様々な帰結について、Swiftの文法と型で分かりやすく解説していきます。
0
iOSDC Japan @iosdcjp

Next up: 15:10 Track C / 圏論とSwiftへの応用 / 稲見 泰宏 @inamiy #iosdc #c

2018-09-02 15:05:02
Naomichi Okada🛴LUUP CTO @7omich

Track C で @inamiy さんによる「圏論とSwiftへの応用」を聴きます。 数学の知識も functional programming の経験も0ですがどこまでついていけるか逆に楽しみ #iosdc #c

2018-09-02 15:05:23
Ray Fix @rayfix

TIL: Category Theory in Japanese is called 圏論 (kenron) Learning from @inamiy #iosdc #c

2018-09-02 15:06:05
まつおか @matsuokah_

@inamiy さんの話を聴きに来ました!圏論! #iosdc #c pic.twitter.com/SccJT1T54h

2018-09-02 15:08:05
拡大
ヒラノ風ドリア🥘(Get back ~61kg) @hiraraanon

なんか混んでると思ったらプレゼンター、イナミさんだった #iosdc #c

2018-09-02 15:08:12
宇佐見 公輔 @usamik26

個人的に今年のiOSDCで一番期待のセッション #iosdc #c

2018-09-02 15:08:50
優鉄 @yuutetu

Category Theoryを見に来た #iosdc #c

2018-09-02 15:09:13
Sho Ikeda @ikesyo

#iosdc #c @inamiy さんの発表を聴きにきました

2018-09-02 15:09:28
cokaholic🐰🍁 @_cokaholic

ついに@inamiy さんのセッション 無事に入れてよかった! #iosdc #c

2018-09-02 15:09:50
acevif @acevif

圏論とSwiftへの応用 ききにきた #c #iosdc

2018-09-02 15:10:14
crea @crea_io

#iosdc #c ふりおとされないようがんばります

2018-09-02 15:10:32
Sho Ikeda @ikesyo

#iosdc #c 圏論、数学の知識がゼロでも学べる、関数型プログラミングで大活躍

2018-09-02 15:11:53
星野恵瑠#今日も1日フレンズ㌠ @lovee

圏論を学べば型システムチョットデキル #c #iosdc

2018-09-02 15:12:11
Shingo Takagi @zizi4n5

一度挫折した圏論を稲見さんのセッションで理解したい #iosdc #c

2018-09-02 15:12:22
残りを読む(47)

コメント

コメントがまだありません。感想を最初に伝えてみませんか?