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

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

たちうさだった @tatyusa419

0は自然数 #kansaimath

2013-09-21 10:30:50

関西すうがく徒のつどい @kansaimath

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

2013-09-21 15:28:28

アイコンが見えない人 @invisible_qq

#kansaimath307

2013-09-21 15:36:23

アイコンが見えない人 @invisible_qq

0∈ℕ #0は自然数 #kansaimath #kansaimath307

2013-09-21 15:48:27

アイコンが見えない人 @invisible_qq

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

2013-09-21 15:49:13

北神の女(ひと) @jusco_snidel

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

2013-09-21 15:59:43

アイコンが見えない人 @invisible_qq

司会がいない？ #kansaimath307

2013-09-21 16:00:16

アイコンが見えない人 @invisible_qq

「怖い人が司会だった」 #kansaimath #kansaimath307

2013-09-21 16:01:07

ばんぬ @sorayana123

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

2013-09-21 16:01:27

end.K @end313124

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

2013-09-21 16:01:40

たちうさだった @tatyusa419

圏論における再帰的函数 #kansaimath

2013-09-21 16:01:57

ぴあのん @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

イパトゥル @coobaja

0は自然数 #kansaimath

2013-09-21 16:03:10

end.K @end313124

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

2013-09-21 16:03:11

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

(| 講義前 |)

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

いま話題のタグ