17206 normal 1415289776 kansaifp 02

関西関数型道場 - 第02回

Sat, 06 Dec 2014 13:00 - 18:00

コネクトフリー株式会社 京都研究所

京都市下京区中堂寺粟田町91 京都リサーチパーク9号館709

Yuya Kato Amry Fitra 大川豪 ‌tsuka bouzuya Matari Mocha Murai はやぶさ tnoda_ 阪本さん morishin kenji farvel ウチコ nstym murase_syuka + 18 more participants
Register

Registration is closed

Get invited to future events

Free admission

What's this ?

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

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

もうちょい詳しく…

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

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

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

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

基本的に自由で、勉強会形式すらも試行中ですが、

  • 「1セッション(あるいは1コーナー)だけはビギナー向けを入れる」

ことだけ決まっていますので、これから始められる方も…いやこれからの方こそご参加下さい。

ここだけは見といて!

増枠しました!!(10人)

懇親会の参加募集を始めました!

お手数ですが、こちらとは別で以下からお申し込みいただければ幸いです。(頃合いに有料です)

http://kansaifp.doorkeeper.jp/events/17691

当日USTで中継するかも?

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

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

アジェンダ

予定 (のべ)
タイトル
感じ タグ あらまし
13:00 - 13:50 (50m)
すごいYesodうれしく学ぼう
@didy_kithz さん ビギナー Haskell, Yesod, howto HaskellでWebアプリを作るべく一緒にYesodの使い方を学びましょう
14:05 - 14:55 (50m)
「coq入門(仮)」
@murase_syuka さん ふつう coq, 証明,
ハンズオン
入門できたらいいな(希望)
coq環境入れておくといいかも(懇願)
15:10 - 16:00 (50m)
「λ計算からの圏論入門」(予定)
@Wakamatz さん 濃い目 λ計算,圏論 λ計算と圏論の話をします。
16:15 - 17:05 (50m)
「非 Clojure プログラマのための Clojure のはなし」
@tnoda_ さん ビギナー clojure, 教養 Clojure を普段書いていないプログラマ向けに Clojure のはなしをします。
17:20 - 18:00 (40m) - - - アンカンファレンス
会場スポンサー様からのお知らせ

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

会場について

  • 会場は「コネクトフリー株式会社」様の協力でお借りしています。

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

その他

  • 1,2回目は全発表形式ですが、これに固定するつもりもありません。

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

  • 3回目の発表者を募集しております。

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

About this community
関西関数型道場

関西関数型道場

関西で関数型言語の勉強会・ユーザーグループ。 Haskell、Clojure、Scala、Coq、Lisp、F# 等 初心者でも経験がある方でも、一緒に関数型プログラミングを勉強しましょう!

Join community