関西関数型道場 - 第01回

2014/09/06(土)13:00 〜 18:00 開催
ブックマーク

イベント内容

What's this ?

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

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

もうちょい詳しく…

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

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

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

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

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

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

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

ここだけは見といて!

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

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

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

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

当日USTで中継するかも?

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

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

客席側はほぼ映すことはありませんが、「声が入っても困る」「映ったら死ぬ」などございましたら、事前にお伝え下さい。

アジェンダ

予定(のべ)
タイトル
感じ タグ あらまし
13:00〜13:50(50m)
関数型言語Haskell入門
@florets1 さん ビギナー Haskell,howto Haskellを始めてみた際に感じたことを発表する予定です。
14:00〜14:50(50m)
こわくないF# いっしょに学ぼう!
前川 博志 ( @Posaune ) さん ビギナー F#,howto なぜか怖がられることも多いF#…全然こわく無いので一緒に学んで行きましょう!
15:00〜15:50(50m)
等式推論:最適化と証明
ダニー ( @tataminomusi ) さん 濃い目 Haskell, Equational Reasoning 「関数型言語は数学的で良い」とよく言われていますが、具体的にはどのような意味があるのでしょうか? このセッションでは、等式推論や数学的な法則を、実際の開発でどのように活用するかを説明します。
16:00〜16:50(50m)
高速・軽量Webフレームワーク Spray で学ぶ Scala
Suguru Hamazaki ( @hamazy ) さん 常習者 Scala, Akka, Spray, DSL Scala, Akka ベースの Webフレームワークである Spray を題材に、 Spray の DSL の使い方や、Scala の文法を背景とした DSL の仕組みをご紹介する予定です。
17:00〜17:50(50m)
Attoparsecで簡単パージング
Fujiyan( @fujiyan18 )さん ビギナーから常習者 Haskell,すごいH本 HaskellのパーザライブラリであるAttoparsecを用いて、簡単にパーザが作成できる様子をご紹介します。

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

会場について

  • 会場は「株式会社ことば研究所」様の協力でお借りしています。

  • 会場には 電源がありますが、数が限られています 。皆様に行き渡らない場合もありますので、ご注意下さい。

  • Wifi はありません ので、ネットワークが必要な方は各自ご用意下さい。

  • 飲食は 蓋付の飲み物 (ペットボトル等) のみ OK です。

その他

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

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

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

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

注意事項

※ こちらのイベント情報は、外部サイトから取得した情報を掲載しています。
※ 掲載タイミングや更新頻度によっては、情報提供元ページの内容と差異が発生しますので予めご了承ください。
※ 最新情報の確認や参加申込手続き、イベントに関するお問い合わせ等は情報提供元ページにてお願いします。

関連するイベント