TOP

関西関数型道場 - 第03回

イベント内容

What's this ?

関数型プログラミングに関するセミナー形式の勉強会です。

言語問わず、学術・テクニック問わず、ビギナー・ベテラン問わず…関数型プログラミングに関係するものオールジャンルで学んで行きます。

もうちょい詳しく…

  • 「第一次関数型ブームに出遅れた…今から始めたい!」

  • 「関数型使ってて、色々知りたいのに…勉強会が無い!」

  • 「関数型について知見が貯まってきたのに…発表の場が無い!」

とか言いながら集まった「中の人ら」が多様な目的での学び舎にすべく開催する勉強会。

ビギナー向けから幅広く取り扱いますので、広くご参加頂けます。

トピック

発表者を募集しております!

  • 5分のライトニングトークス

「おっしゃ!」と手を上げて頂けます方は、#kansaifpタグ付きツイート / 中の人アカウントに連絡 など、お気軽にお知らせ下さい。

公式Wikiです!

前回(間に合えば今回も)資料を関西関数型道場のWikiにアップしています。ぜひご覧下さい。

当日USTで中継するかも?

まだ準備中ですが、間に合えばUstreamにて中継を行う予定です。

※予定地 : http://bit.ly/kansaifpust

アジェンダ

予定 (のべ) 感じ タグ あらまし
13:00 - 13:30 (30m) @Nakau さん ビギナー Haskell, FRP Reflexの紹介
13:45 - 14:35 (50m) @wakamatz さん 濃いめ Haskell, 圏論 再帰について
14:50 - 15:40 (50m) @philomel202 さん 普通 Haskell 型レベルプログラミング(仮)
15:55 - 16:45 (50m) @ its_out_of_tune さん 濃いめ Haskell, Coq 『正しさ』の話
17:00 - 18:00 (60m) - - - ライトニングトーク・フリータイム

※ 「感じ」の凡例 - ビギナー,常習者(普通に使える、使ってる人),濃い目

会場について

  • 当日、会場にて「椅子は人数分の脚数用意して」いますが、「机が足りない(前面20人分のみ用意)」状況となります。ご不便おかけしますが、予めご了承ください。

その他

  • 上記の予定は企画中のもので主催者都合で変更する可能性があります。予めご了承下さい。

  • Twitterでも中の人直接でも、忌憚なきご意見・ご要望をお伝え下さい。

参加者
23人 /定員30人
申込先
会場
Vitei Backroom
京都市下京区函谷鉾町79番地 ヤサカ四条烏丸ビル10階 株式会社ヴィテイ

注目のイベント

コラム

イベント New

インメモリデータベースの今後。新領域への適用可能性 - デジタルトランスフォーメーション時代の最新データベース技術勉強会 -

2018年3月6日(火)19時10分より、「【エンジニア向け勉強会】デジタルトランスフォーメーション時代の最新...
127 views
インタビュー

【eiicon×サムライインキュベート】事業創出支援「Open Innovation BootCamp Program」スタート!

ここ数年で、オープンイノベーションに対する企業の関心は急速に高まっている。しかしながら、「どうしたら...
103 views
イベント

4月(後半)に開催する注目のITイベント・勉強会まとめ 28選

4月後半に開催される注目のITイベント・勉強会をまとめました! 気になるイベントがあれば是非ご参加くだ...
1,506 views