第四回関数型プログラミング（仮）の会 ～関数型プログラミング教育について～ #func_party
-
lagenorhynque
- 2099
- 2
- 0
- 0
-
- いいね！0
kmizu
@kmizu
第四回関数型プログラミング（仮）の会 opt.connpass.com/event/272470/ #func_party というわけでいよいよ当日です！ 170名超集まったので、なかなかでしょーか。 今夜は盛り上がっていきましょー！ LTも「よし！しゃべったるでー」って方が当日突然いい出してもノープロブレム！ #func_party
2023-03-24 09:06:39
ふじたま
@tockri
第四回関数型プログラミング（仮）の会 に参加を申し込みました！ opt.connpass.com/event/272470/?… #func_party
2023-03-24 09:25:53
Siena.
@n_siena
第四回関数型プログラミング（仮）の会 に参加を申し込みました！ opt.connpass.com/event/272470/?… #func_party
2023-03-24 10:27:40
そらぎわ
@madogiwa_429
第四回関数型プログラミング（仮）の会 に参加を申し込みました！ opt.connpass.com/event/272470/?… #func_party
2023-03-24 10:54:56
kmizu
@kmizu
ZoomウェビナーのURLが発行されました。「参加者への情報」欄に書かれています。 opt.connpass.com/event/272470/ #func_party
2023-03-24 14:34:40
がくし
@gaxiiiiiiiiiiii
関数型言語使いのための形式証明入門 第四回関数型プログラミング（仮）の会 opt.connpass.com/event/272470/ #func_party
2023-03-24 15:21:13
竹川
@tttyya
第四回関数型プログラミング（仮）の会 に参加を申し込みました！ opt.connpass.com/event/272470/?… #func_party
2023-03-24 16:30:13
Yoshihiro503
@yoshihiro503
本日の #func_party のスライドです: yoshihiro503.github.io/slides/func_pa… 5分間のLTなのでいろいろぶっとばしてます #関数型言語使いのための形式証明入門
2023-03-24 17:00:21
Kazuyuki TAKASE@関数型人事
@guvalif
#func_party 史上、一番平易と思われる登壇をします (※ 今回は圏論成分無いです 嘘偽り無く #プログラミング初心者 の人に参考になるといいなー speakerdeck.com/guvalif/how-to…
2023-03-24 18:35:24
masashi
@mymactive
第四回関数型プログラミング（仮）の会 opt.connpass.com/event/272470/ #func_party 初参加！
2023-03-24 18:38:44
kmizu
@kmizu
パーサーコンビネータは確かに関数型プログラミングが有用な分野の一つかも（パーサーの人なので意識してなかった）。 #func_party
2023-03-24 18:56:39
@windymelt@mstdn.takuya-a.net に引っ越しました
@windymelt
合成の手法が既に(モノイドとかAlternativeとかで)体系化されているのが関数型プログラミングの強力なところだよな〜と思ってます #func_party
2023-03-24 18:56:39
@windymelt@mstdn.takuya-a.net に引っ越しました
@windymelt
eed3si9nさんの猫番でグギャ〜ッとなりながら学びました #func_party
2023-03-24 18:58:10