Togetter/min.tを安心してお使い頂くためのガイドラインを公開しました。

圏論における再帰的関数(関西すうがく徒のつどい第4回) #kansaimath

(\!| ばなな |\!)
5

(| 講義前 |)

POND @beinthepond

うださんは圏論系。こわい。

2013-09-20 15:43:33
end.K @end313124

誰か圏論めいたhaskellの本教えちくりーwebでもよいー

2013-09-20 17:44:54
ふみ a.k.a.DJ Monad @fumieval

@end313124 Algebra of Programmingは圏論でGoferというHaskellに非常によく似た言語のコードを導出する本で、おすすめです。Haskell一般ならすごいHaskellが良いですが、Real World Haskellはぜったいにやめましょう

2013-09-20 21:31:55
end.K @end313124

@fumieval あー、うださんが参考文献にしてた奴ですね、機を見つけて見てみます、ありがとうございます

2013-09-20 21:32:43
青江 憂 @がんばらねば @aoeui666

つどい、魅力的な講演がたくさん... algさんとudaさんのが特に. うださんpointfree style教えてくださいー.

2013-09-20 22:58:28
関西すうがく徒のつどい @kansaimath

3コマ目 教室1:303号室「乱数について(山本大輔さん)」 教室2:407号室「コンパクト群の表現論(あとべさん)」 教室3:307号室「圏論における再帰的関数(うださん) #kansaimath #kansaimath301

2013-09-21 15:28:28
アイコンが見えない人 @invisible_qq

#0は自然数 タグをつけて実況したらタグ荒らしになるだろうか #kansaimath #kansaimath307

2013-09-21 15:49:13
14番目のいなジャス @jusco_rural

うださんの話も割と気になるんですがぁ

2013-09-21 15:59:43

(| 3枠目講義、開始 |)

ばんぬ @sorayana123

すうがく徒のつどいにはそういう人を求めてやってきたわけですが,つどいの方の中でもその人口は限りなく少ないという(のーてぃさんや相転移さん,0は自然数さんくらい)

2013-09-21 16:01:27
end.K @end313124

0は自然数の人による「圏論における再帰的函数#kansaimath303 #kansaimath

2013-09-21 16:01:40
ぴあのん @piano2683

0∈Nさんによる「圏論における再帰的函数」 #kansaimath #kansaimath307

2013-09-21 16:02:33
アイコンが見えない人 @invisible_qq

「圏論の基本的な用語(プロダクトぐらいまで)知ってる人,Haskellちょっとやったことある人?」 #kansaimath #kansaimath307

2013-09-21 16:02:36
end.K @end313124

今日話すのは圏論と再帰的函数との関連とか #kansaimath303 #kansaimath

2013-09-21 16:02:38
end.K @end313124

圏論というと代数めいていると思うが計算機でも出てくる,その一例として #kansaimath303 #kansaimath

2013-09-21 16:02:53
ばんぬ @sorayana123

0は自然数さんによる圏論による再帰的函数のおはなし.0は自然数さんは解析学徒さん.いつもお世話になっております #kansaimath407

2013-09-21 16:02:54
end.K @end313124

圏論の基本的な言葉については仮定する #kansaimath303 #kansaimath

2013-09-21 16:03:11
残りを読む(147)

コメント

Tomoki UDA @t_uda 2013年9月22日
補足を追加しました。
0