お知らせ 9月22日(水)10:15から15分ほど、サーバーのメンテナンス作業を予定しております。作業の間はconnpassのご利用が出来ません。ご迷惑をおかけしますが何卒ご了承ください。

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

Mar

25

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

Registration info

参加枠

Free

FCFS
5/15

Description

shinosaka.hs

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

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

内容

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

LT募集!

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

持参するもの

ノートパソコン

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

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

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

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

Media View all Media

If you add event media, up to 3 items will be shown here.

Feed

てくのたのしー

てくのたのしー published 関数型プログラミング勉強会 shinosaka.hs #4.

02/28/2017 20:26

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

Group

shinosaka.hs

Number of events 3

Members 25

Ended

2017/03/25(Sat)

14:00
17:00

Registration Period
2017/02/28(Tue) 20:25 〜
2017/03/25(Sat) 17:00

Location

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

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

Attendees(5)

bouzuya

bouzuya

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

yuyakato

yuyakato

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

gnagano

gnagano

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

ちけん(Kenta Yamaguchi)

ちけん(Kenta Yamaguchi)

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

いるやん

いるやん

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

Attendees (5)

Canceled (3)