お知らせ ビープラウド、機械学習・データ分析の問題をオンライン学習サービスPyQにて提供開始

このエントリーをはてなブックマークに追加

3月

25

関数型プログラミング勉強会 shinosaka.hs #4

募集内容

参加枠

無料

先着順
5/15

イベントの説明

shinosaka.hs

shinosaka.hsは関数型言語全般に関する活動を行う大阪のコミュニティです。

関数型を盛り上げていきましょーヽ(○´∀`)人(´∀`○)ノ

内容

今回は関数型プログラミングの基礎理論の一部である、ラムダ計算と型システムについてみんなで勉強しようと思います。できるだけ数学的な証明は抜きで、haskellを用いて緩い感じで説明する予定です。

LT募集!

ライトニングトークをしてみたい方がいらっしゃいましたら@techno_tanoCまでお願いします。内容はhaskellに限らず、関数型言語や関数型プログラミングに関わるものなら何でもOKです。

持参するもの

ノートパソコン

事前にStackのセットアップを行っていただけるとありがたいです。

会場に電源、WiFiあります。

本番(a.k.a 飲み会)

17:00から付近で任意参加の飲み会を行います。

資料 資料をもっと見る/編集する

資料が投稿されると、最新の3件が表示されます。

フィード

techno-tanoC

techno-tanoC さんが 関数型プログラミング勉強会 shinosaka.hs #4 を公開しました。

2017/02/28 20:26

関数型プログラミング勉強会 shinosaka.hs #4 を公開しました!

グループ

shinosaka.hs

イベント数 3回

メンバー数 24人

終了

2017/03/25(土)

14:00
17:00

募集期間
2017/02/28(火) 20:25 〜
2017/03/25(土) 17:00

会場

株式会社ソウ(sou.co.ltd)

大阪市中央区瓦町3-4-9(ステーツ本町ビル8F)

株式会社ソウ(sou.co.ltd)

管理者

参加者(5人)

bouzuya

bouzuya

関数型プログラミング勉強会 shinosaka.hs #4に参加を申し込みました!

yuyakato

yuyakato

関数型プログラミング勉強会 shinosaka.hs #4 に参加を申し込みました!

gnagano

gnagano

関数型プログラミング勉強会 shinosaka.hs #4 に参加を申し込みました!

kytiken

kytiken

関数型プログラミング勉強会 shinosaka.hs #4 に参加を申し込みました!

いるやん

いるやん

関数型プログラミング勉強会 shinosaka.hs #4に参加を申し込みました!

参加者一覧(5人)

キャンセルした人(3人)