関西関数型道場 - 第03回
2015/07/04(土)13:00
〜
18:00
開催
ブックマーク
イベント内容
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でも中の人直接でも、忌憚なきご意見・ご要望をお伝え下さい。
注意事項
※ こちらのイベント情報は、外部サイトから取得した情報を掲載しています。
※ 掲載タイミングや更新頻度によっては、情報提供元ページの内容と差異が発生しますので予めご了承ください。
※ 最新情報の確認や参加申込手続き、イベントに関するお問い合わせ等は情報提供元ページにてお願いします。
※ 掲載タイミングや更新頻度によっては、情報提供元ページの内容と差異が発生しますので予めご了承ください。
※ 最新情報の確認や参加申込手続き、イベントに関するお問い合わせ等は情報提供元ページにてお願いします。