『第6回 プログラマのための数学勉強会』のまとめ #maths4pg

fortunan @fortunan

圏論勉強開始したのは68歳から！！！ #maths4pg

⊥ @fuminashit

「圏論は68歳から勉強したんですよね。十分間に合います」 #maths4pg

矢崎 裕一/Yuichi YAZAKI @yuichy02

68歳からの圏論！ #maths4pg

あひるのコ @Ryu2333

68歳から圏論を勉強されたと・・・すごい・・・。大森先生 #maths4pg

しょうま @tantakan_

20歳から圏論やろうかなw #maths4pg

ハトネコエ🐈 @nekonenene

68歳から学んでも圏論は間に合う！ｗ #maths4pg

Masa @asas_mimi

圏論、６８歳から勉強を始めたのか、、、流石 #maths4pg

くまっく @kumapuro

圏論は65歳からでも大丈夫 #maths4pg

熊谷 友宏 @es_kumagai

『圏論とは。数学は元来抽象的だが、その中で最も抽象的。それぞれの分野を圏とし、それらに共通するものを扱う』らしい。 #maths4pg

Dan Kogai @dankogai

映画卒業の舞台は Berkeley ということになっているが、撮影は USC (南カリフォルニア大学) // これ豆 #maths4pg

がむ @gam0022

圏論は様々な数学の分野の共通した概念を扱うらしい そういうことだったのか #maths4pg

熊谷 友宏 @es_kumagai

集合、モノイド、群、ベクトル空間、グラフ、実数の集合と連続関数、位相空間、デカルト閉圏。そんなカテゴリがあるのだとか。 #maths4pg

ばあや @bayafilm

うわああ大森健児教授がいらしてくれたあえ #maths4pg

リング @matsumoring

圏の定義 #maths4pg

ばあや @bayafilm

授業受講したの、何年前だろう #maths4pg

リング @matsumoring

おそらくずっと資料を作っているs.t.氏 #maths4pg

熊谷 友宏 @es_kumagai

圏とは。対象（集合：要素の集まり）、射（関数）、ソース・ターゲット、恒等射、合成（結合律） #maths4pg

人生成功大全 @usadamasa

今回の発表は出だしは具体的なもので段々と抽象度が増してく構成だったような。 #maths4pg

リング @matsumoring

自然数そのものが射なのだ #maths4pg

リング @matsumoring

カリー化 #maths4pg

リング @matsumoring

名前が示唆的だ #maths4pg

熊谷 友宏 @es_kumagai

１変数にすると話が簡単になる → カリー化 #maths4pg

Yasu @7akase

最近、本を読んで勉強しているところだけど、耳から聞くと違う刺激が入っていいね。#maths4pg

⊥ @fuminashit

関手！ #maths4pg

リング @matsumoring

関手の定義 #maths4pg