BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//https://techplay.jp//JP
CALSCALE:GREGORIAN
METHOD:PUBLISH
X-WR-CALDESC:関数型プログラミング勉強会 shinosaka.hs #4
X-WR-CALNAME:関数型プログラミング勉強会 shinosaka.hs #4
X-WR-TIMEZONE:Asia/Tokyo
BEGIN:VTIMEZONE
TZID:Asia/Tokyo
BEGIN:STANDARD
DTSTART:19700101T000000
TZOFFSETFROM:+0900
TZOFFSETTO:+0900
TZNAME:JST
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
UID:615168@techplay.jp
SUMMARY:関数型プログラミング勉強会 shinosaka.hs #4
DTSTART;TZID=Asia/Tokyo:20170325T140000
DTEND;TZID=Asia/Tokyo:20170325T170000
DTSTAMP:20260506T032321Z
CREATED:20170228T122021Z
DESCRIPTION:イベント詳細はこちら\nhttps://techplay.jp/event/61516
 8?utm_medium=referral&utm_source=ics&utm_campaign=ics\n\nshinosaka.hs\nsh
 inosaka.hsは関数型言語全般に関する活動を行う大阪のコ
 ミュニティです。\n関数型を盛り上げていきましょー
 ヽ(○´∀｀)人(´∀｀○)ﾉ\n内容\n今回は関数型プログ
 ラミングの基礎理論の一部である、ラムダ計算と型シ
 ステムについてみんなで勉強しようと思います。でき
 るだけ数学的な証明は抜きで、haskellを用いて緩い感じ
 で説明する予定です。\nLT募集！\nライトニングトーク
 をしてみたい方がいらっしゃいましたら@techno_tanoCまで
 お願いします。内容はhaskellに限らず、関数型言語や関
 数型プログラミングに関わるものなら何でもOKです。\n
 持参するもの\nノートパソコン\n事前にStackのセットア
 ップを行っていただけるとありがたいです。\n会場に
 電源、WiFiあります。\n本番(a.k.a 飲み会)\n17:00から付近
 で任意参加の飲み会を行います。
LOCATION:株式会社ソウ（sou.co.ltd） 大阪市中央区瓦町3-4-9(
 ステーツ本町ビル8F)
URL:https://techplay.jp/event/615168?utm_medium=referral&utm_source=ics&utm
 _campaign=ics
END:VEVENT
END:VCALENDAR