圏論とSwiftへの応用 @inamiy #iosdc #c
https://fortee.jp/iosdc-japan-2018/proposal/45b858e0-753c-4387-9210-5837cff6da7a
圏論(カテゴリー理論)は、「対象」と対象間の「射」(関係性、構造)の集まりからなる「圏」を抽象的に扱う数学理論です。関数型プログラミングで度々登場する「モノイド」「関手」「自然変換」「モナド」の由来であり、さらには「米田の補題」「随伴」「極限」「F代数」「カン拡張」など、より高度な概念が登場します。この発表では、圏論から得られる様々な帰結について、Swiftの文法と型で分かりやすく解説していきます。
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
拡大
𝚖𝚊𝚛𝚝𝚢-𝚜𝚞𝚣𝚞𝚔𝚒🔔🌲
@marty_suzuki
「フリー素材となった私です」 #iosdc #c pic.twitter.com/pfuxhtX6yz
2018-09-02 15:11:24
拡大