機能改善 イベント資料の投稿において、SlideShareやSpeakerDeckと同様に、Docswellの資料を埋め込みスライド表示できるように対応いたしました。資料の投稿機能は、資料URLを指定するだけで、URLから取得した情報を、適した形でconnpass上で表示・共有できる機能です

お知らせ connpassプライバシーポリシーの内容を一部更新しました。詳細につきましてはこちらをご覧ください。

このエントリーをはてなブックマークに追加

Oct

25

函数型なんたらの集い 2014 in Tokyo

函数はつくれる

Registration info

Haskell(発表枠)

2000(Pay at the door)

Standard (Lottery Finished)
2/2

Scala(発表枠)

2000(Pay at the door)

Standard (Lottery Finished)
2/2

Lisp系(発表枠)

2000(Pay at the door)

Standard (Lottery Finished)
2/2

ML系(発表枠)

2000(Pay at the door)

Standard (Lottery Finished)
3/3

その他(発表枠)

2000(Pay at the door)

Standard (Lottery Finished)
3/3

地方参加枠

2000(Pay at the door)

FCFS
13/15

一般参加枠

2000(Pay at the door)

FCFS
69/55

Description

函数型とかいうなんたらの集まり

函数プログラマの交流を目的として開催されている"函数プログラミングの集い" ── の外伝的な何かです。

本イベントは函数型なんたらという言葉にピンときた 型々 方々の交流を目的としています。

ニコニコ生放送のタイムシフト予約はこちら

[10/18更新]発表時間

1セッション発表20分、質問5分です。 20分になったらアラートをだし、25分になったら強制的に打ち切ります。

発表者募集

本イベントでは発表者を募集しています。

発表内容

発表内容は函数型的ななんたらに関することであれば、自由に応募いただけます。 実用からネタまで、様々な発表をお待ちしております。

発表枠は、各グループでの抽選方式となります。 グループ分けは

  • Haskell 2枠
  • Scala 2枠
  • Lisp系 2枠
  • ML系 3枠
  • その他 3枠

となります。

抽選にはconnpassの抽選機能を用います。 証明された乱数実装かどうかはわかりませんが、ご了承ください。

抽選に漏れた場合

抽選に漏れた方々の参加枠は、(応募人数次第で変わるかもしれませんが)確保する予定です。

ニコ生について

本イベントはニコニコ生放送による配信を行う予定です。

生放送による配信に同意いただける方は、アンケートの"生放送での配信に同意する"を選択してください。

発表順序

下記の抽選用コードを使用します。

実行には Wandbox の gcc 4.9.1(Boost 1.56.0) を利用します。

[9/19更新]発表順序の抽選を行いました。

http://melpon.org/wandbox/permlink/WVkD9lNCY6ifhdNw

発表順序を変更したい場合は、各自で相談してください。 連絡がとれない場合はこちらで調整を試みるので、 @pocketberserker までご連絡ください。

参加について

会場はドワンゴ セミナールーム(歌舞伎座タワー 14F)です。

懇親会

懇親会はビアバッシュ形式で行います。

参加費

  • 講演部分は無料
  • ビアバッシュ参加は一人につき2000円
  • ビアバッシュ参加費は変更する可能性があります。変更になった場合は通知します。

入場方法

  • 歌舞伎座タワーへは、地下鉄各線の東銀座駅から地下で直結しております。
  • 歌舞伎座タワーのエレベータで 7Fスカイロビーで乗り換えて 、14Fまでお越しください。
  • 14Fについたら廊下を右奥まで進むとドワンゴのセミナールームがあります。

電源タップについて

無線LANと電源はありますが、電源は床埋込み式で Macのアダプタが刺さりません 。 電源タップをご持参ください。

地方枠

地方から参加される方は、地方参加枠をご利用ください。 本イベントでの"地方"の定義は下記の通りです。

  • 電車通勤朝9時出社に換算して、特急電車に乗らないと間に合わない or 乗っても間に合わない人

地方参加枠が増えることはありませんので、地方参加枠であふれた方は一般参加枠に登録してください。

その他

  • 喫煙室はありません
  • 貴重品は各自で管理してください
  • 会場は飲食可能です

暫定タイムテーブル

発表タイトルは予告なく変更される可能性があります。

時間 概要 or 仮発表タイトル 話す人・備考
11:00 ~ 開場
11:30 ~ 11:40 挨拶と諸注意
11:40 ~ 12:05 エンジニアとモナド ruicc
12:05 ~ 12:30 C# でCoYoneda its_out_of_tune
12:30 ~ 13:30 お昼休憩
13:30 ~ 13:55 C6H6+HNO3 blackenedgold
13:55 ~ 14:20 Haskell OSを作りたい(仮) mzp
14:30 ~ 14:55 SI屋のためのF# ~DSL編~ bleis-tift
14:55 ~ 15:20 shapelessの紹介 xuwei_k
15:30 ~ 15:55 今日からはじめるATSプログラミング masterq
15:55 ~ 16:20 Findable Java: 型による関数検索の試み もがみ
16:30 ~ 16:55 マクロと限定継続 halcat0x15a
16:55 ~ 17:20 パターンマッチいろいろ gakuzzzz
17:30 ~ 17:55 OCamlとUnicode - Camomile開発の話 Yoriyuki Yamagata
17:55 ~ 18:20 Pure boys script pab_tech
18:20 ~ 19:00 準備
19:00 ~ ビアバッシュ
22:00 ~ 型付け 片付け、会場復帰とも

Feed

yoriyuki

yoriyukiさんが資料をアップしました。

10/30/2014 01:17

bleis-tift

bleis-tiftさんが資料をアップしました。

10/27/2014 09:17

κeen

κeenさんが資料をアップしました。

10/26/2014 18:41

masterq

masterqさんが資料をアップしました。

10/25/2014 20:36

xuwei_k

xuwei_kさんが資料をアップしました。

10/25/2014 18:08

ruicc

ruiccさんが資料をアップしました。

10/25/2014 15:50

pocketberserker

pocketberserker wrote a comment.

2014/10/18 20:37

@ 発表予定者各位 / 発表時間は発表20分質問5分です。20分前にアラートをだし、25分で強制的に打ち切ります(質問時間なし)。

pocketberserker

pocketberserker wrote a comment.

2014/09/19 00:52

発表者の抽選、および発表順序の抽選を行いました。

pocketberserker

pocketberserker published 函数型なんたらの集い 2014 in Tokyo.

09/12/2014 19:49

函数型なんたらの集い 2014 in Tokyo を公開しました!

pocketberserker

pocketberserker published 函数型なんたらの集い 2014 in Tokyo.

09/12/2014 19:47

函数型なんたらの集い 2014 in Tokyo を公開しました!

Ended

2014/10/25(Sat)

11:30
18:30

Registration Period
2014/09/12(Fri) 19:49 〜
2014/10/25(Sat) 18:30

Location

ドワンゴ セミナールーム(歌舞伎座タワー 14F)

東京都中央区銀座4-12-15

Attendees(80)

ruicc

ruicc

エンジニアから見たモナド

mzp

mzp

函数型なんたらの集い 2014 in Tokyoに参加を申し込みました!

xuwei_k

xuwei_k

({type λ[α] = ValidationNel[String, α]})#λ

gakuzzzz

gakuzzzz

函数型なんたらの集い 2014 in Tokyoに参加を申し込みました!

halcat0x15a

halcat0x15a

函数型なんたらの集い 2014 in Tokyoに参加を申し込みました!

κeen

κeen

Lisp枠で函数型なんたらの集い 2014 in Tokyoに参加を申し込みました! #函数型なんたら

yoriyuki

yoriyuki

函数型なんたらの集い 2014 in Tokyoに参加を申し込みました!

masterq

masterq

"今日からはじめるATSプログラミング"

bleis-tift

bleis-tift

函数型なんたらの集い 2014 in Tokyoに参加を申し込みました!

Tatsuno

Tatsuno

その他枠(Java)で申し込みなおしました→函数型なんたらの集い 2014 in Tokyo

Attendees (80)

Waitlist (14)

Shun Yanaura

Shun Yanaura

I joined 函数型なんたらの集い 2014 in Tokyo!

mizoken001

mizoken001

函数型なんたらの集い 2014 in Tokyoに参加を申し込みました!

mrkm4ntr

mrkm4ntr

函数型なんたらの集い 2014 in Tokyoに参加を申し込みました!

yuliij

yuliij

I joined 函数型なんたらの集い 2014 in Tokyo!

wadldoo

wadldoo

函数型なんたらの集い 2014 in Tokyoに参加を申し込みました!

srtk86

srtk86

函数型なんたらの集い 2014 in Tokyoに参加を申し込みました!

swinfield

swinfield

I joined 函数型なんたらの集い 2014 in Tokyo!

mananan

mananan

函数型なんたらの集い 2014 in Tokyoに参加を申し込みました!

(退会ユーザー)

(退会ユーザー)

函数型なんたらの集い 2014 in Tokyoに参加を申し込みました!

zed_throben

zed_throben

函数型なんたらの集い 2014 in Tokyoに参加を申し込みました!

Waitlist (14)

Canceled (25)