10周年のSPコンテンツ!
5
(| 講義前 |)
POND @beinthepond
うださんは圏論系。こわい。
end.K @end313124
誰か圏論めいたhaskellの本教えちくりーwebでもよいー
ふみ @fumieval
@end313124 Algebra of Programmingは圏論でGoferというHaskellに非常によく似た言語のコードを導出する本で、おすすめです。Haskell一般ならすごいHaskellが良いですが、Real World Haskellはぜったいにやめましょう
end.K @end313124
@fumieval あー、うださんが参考文献にしてた奴ですね、機を見つけて見てみます、ありがとうございます
青江 憂 @がんばらねば @aoeui666
つどい、魅力的な講演がたくさん... algさんとudaさんのが特に. うださんpointfree style教えてくださいー.
関西すうがく徒のつどい @kansaimath
3コマ目 教室1:303号室「乱数について(山本大輔さん)」 教室2:407号室「コンパクト群の表現論(あとべさん)」 教室3:307号室「圏論における再帰的関数(うださん) #kansaimath #kansaimath301
アイコンが見えない人 @invisible_qq
#0は自然数 タグをつけて実況したらタグ荒らしになるだろうか #kansaimath #kansaimath307
田舎のジャスコ @Mon9Love
うださんの話も割と気になるんですがぁ
(| 3枠目講義、開始 |)
ばんぬ @sorayana123
すうがく徒のつどいにはそういう人を求めてやってきたわけですが,つどいの方の中でもその人口は限りなく少ないという(のーてぃさんや相転移さん,0は自然数さんくらい)
end.K @end313124
0は自然数の人による「圏論における再帰的函数#kansaimath303 #kansaimath
ぴあのん @piano2683
0∈Nさんによる「圏論における再帰的函数」 #kansaimath #kansaimath307
アイコンが見えない人 @invisible_qq
「圏論の基本的な用語(プロダクトぐらいまで)知ってる人,Haskellちょっとやったことある人?」 #kansaimath #kansaimath307
end.K @end313124
今日話すのは圏論と再帰的函数との関連とか #kansaimath303 #kansaimath
end.K @end313124
圏論というと代数めいていると思うが計算機でも出てくる,その一例として #kansaimath303 #kansaimath
ばんぬ @sorayana123
0は自然数さんによる圏論による再帰的函数のおはなし.0は自然数さんは解析学徒さん.いつもお世話になっております #kansaimath407
end.K @end313124
圏論の基本的な言葉については仮定する #kansaimath303 #kansaimath
残りを読む(147)

コメント

Tomoki UDA @t_uda 2013年9月22日
補足を追加しました。
ログインして広告を非表示にする
ログインして広告を非表示にする