お知らせ connpassではさらなる価値のあるデータを提供するため、イベントサーチAPIの提供方法の見直しを決定しました。2024年5月23日(木)より 「企業・法人」「コミュニティ及び個人」向けの2プランを提供開始いたします。ご利用にあたっては利用申請及び審査がございます。詳細はヘルプページをご確認ください。

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

Sep

30

第三回関数型プログラミング(仮)の会

~関数型データ構造について話そう~

Organizing : Opt Technologies/オプトテクノロジーズ

Hashtag :#func_party
Registration info

オンライン参加枠

Free

FCFS
200/200

オンライン発表枠(15分)

Free

FCFS
5/5

オンラインLT枠(5分)

Free

FCFS
0/6

Attendees
いとたけ
giantneco
ryuhei.ishibashi
Masaki Haga
_ssd
takayuki-tk
sm0kym0nkey
cohhee
橋本 英樹
yaza_ta
View Attendee List
Start Date
2022/09/30(Fri) 18:30 ~ 23:00
Registration Period

2022/08/19(Fri) 00:00 〜
2022/09/30(Fri) 23:00まで

Location

オンライン

参加者への情報
(参加者と発表者のみに公開されます)

Description


概要

最近、「関数型プログラミング」(Functional Programming)はかなり一般的になっています。

特に、いわゆる「関数型プログラミング言語」(HaskellやOCaml、Clojure、Scala、Elmなど)からは多くの機能が既に主流の言語に輸入されています。たとえば、

  • 高階関数(ファーストクラス関数)
  • 不変コレクション
  • 不変データを簡単に作る機構

などは多くの言語に取り入れられています。

それぞれの言語コミュニティで徐々に「関数型プログラミング」が業務にも広がっているようにも感じます。

そんな「関数型プログラミング」ぽいものについて、言語コミュニティを超えて知見を共有したり、単にわいわいしゃべりあうという会を定期開催するのが良いのではと感じるに至りました。というのが「関数型プログラミング(仮)の会」の趣旨です。

  • 第一回:フリーテーマ
  • 第二回:現場での関数型プログラミング

として開催してきた本イベントですが、第三回のテーマは「関数型データ構造」です。

関数型データ構造とは、ざっくりとした言葉でいえば一度作ったらあとは変更できないデータ構造のことで、データの追加や削除は新しいデータ構造の生成という形で表現します。

関数型データ構造は変更可能な状態を持たないため、実装する側は性能を落とさないように色々工夫をしなければいけませんが、利用者がその不変性から得られるメリットも大きいです。

関数型データ構造は奥深いトピックで、専門書として『純粋関数型データ構造』(原題:Purely Functional Data Structures)がアスキードワンゴ様から出版されています。

今回はそんな関数型データ構造について皆様とわいわいお話しできればと思います。熟練者による実装の話でも、関数型データ構造に触れて感じた利点や課題の話、あるいは実務的な観点からのお話などなんでもありです。

言語も問いません。Clojureのvectorのお話でもScalaのimmutable.HashMapの実装でも良いですし、JavaScriptのImmutable.jsについてでも構いません。言語を問わない関数型データ構造の実装や使い方についてのお話も歓迎します。皆で楽しくお話ししましょう。

参加資格

特にありませんが、いわゆる「関数型プログラミング言語」と呼ばれる言語(HaskellやOCaml、Clojure、Idris、Erlang、Elixir、Elmなどなど)を使っている方や、「関数型プログラミング」ぽいことを実践している方が望ましいです。

発表について

Zoomを使ってオンラインで発表していただきます。発表資料を画面共有しながら発表していただくという形になります。プレゼン資料については、必ずしも事前に提出の必要はありませんが、事前にあると聴講しにくる方にとって便利なので、できれば当日までに提出していただけると助かります(提出先については、このページのコメント欄にいただければと思います)。

なお、イベントの改善を目的として各発表を録画させていただきますがご了承ください。録画した内容は会社内部での閲覧にのみ供し、それ以外の目的では利用致しません。

タイムスケジュール(敬称略)

  • 18:30: 開始
  • 18:30-18:40: オープニング by @kmizu
  • 18:50-20:40: 発表
    • 18:50-19:10: 純粋関数型データ構造と依存型同時入門 by @blackenedgold
    • 19:10-19:20: 休憩
    • 19:20-19:40: JavaでZipper by @kmizu
    • 19:40-19:50: 休憩
    • 19:50-20:10: ElmでVisual Study!! by @ababupdownba
    • 20:10-20:20: 休憩
    • 20:20-20:40: Clojureコレクションで探るimmutableでpersistentな世界 by @lagenorhynque
    • 20:40-20:50: 休憩
    • 20:50-21:10: Union Findを永続にしたい by @fumieval
  • 21:10-21:20: クロージング
  • 21:20-23:00: 懇親会

場所

ご自宅などネット環境のあるところならどこでも(要マイク・スピーカー)

受付

特にありません。参加登録いただいた方は、当日夕方までに「参加者への情報」欄経由でZoom Webinar URLが見られるようになっています。よろしくお願いします。

参加費について

無料です。オンライン開催なので、飲食物の提供はありません。

飲食について

オンライン開催のため飲食物の提供はありませんが、各自でご自由に飲食いただけます。

キャンセルについて

当日あるいは事前に参加できなくなった場合は、必ずこのページから「キャンセル」を押して、キャンセルしてください。

アンケートについて

本イベントの参加者に対して、LTが終わったタイミングで当日アンケートを行います(回答は任意)。アンケートの結果には個人情報を含みませんが、今後のイベントのご案内等のために利用させていただく場合がございます。

<共同利用企業>

  • 株式会社デジタルホールディングス
  • 株式会社オプト

Presenter

Feed

lagénorhynque/カマイルカ

lagénorhynque/カマイルカさんが資料をアップしました。

10/01/2022 17:57

lagénorhynque/カマイルカ

lagénorhynque/カマイルカさんが資料をアップしました。

09/30/2022 19:47

kmizu

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

09/30/2022 13:50

kmizu

kmizu wrote a comment.

2022/09/29 17:20

当日プログラム更新しました!いよいよ明日ですがよろしくお願いします。

κeen

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

09/29/2022 13:38

kmizu

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

09/28/2022 14:25

kmizu

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

09/28/2022 14:25

kmizu

kmizu wrote a comment.

2022/09/28 14:21

当日プログラム更新しました。よろしくお願いします。

ababupdownba

ababupdownba wrote a comment.

2022/09/27 01:24

発表者のABAB↑↓BAです。タイトルは、「ElmでVisual Study!! 」でお願いします。資料はこちら。https://docs.google.com/presentation/d/13FXKv1wjU41sXHPcNuCl3DQOexpruv1maB1zIbLg4sY/edit?usp=sharing

kmizu

kmizu wrote a comment.

2022/09/26 15:26

当日プログラム更新しました!作業が遅れており申し訳ありません。

κeen

κeen wrote a comment.

2022/09/16 00:53

発表者のκeenです。タイトルは仮ですが「純粋関数型データ構造と依存型同時入門」でお願いします。また、前提知識としてNat(ペアノ数)とGADTを仮定します。

kmizu

kmizu published 第三回関数型プログラミング(仮)の会.

08/19/2022 14:27

第三回関数型プログラミング(仮)の会 を公開しました!

Group

Ended

2022/09/30(Fri)

18:30
23:00

You cannot RSVP if you are already participating in another event at the same date.

Registration Period
2022/08/19(Fri) 00:00 〜
2022/09/30(Fri) 23:00

Location

オンライン

オンライン

Attendees(205)

いとたけ

いとたけ

第三回関数型プログラミング(仮)の会に参加を申し込みました!

giantneco

giantneco

第三回関数型プログラミング(仮)の会に参加を申し込みました!

ryuhei.ishibashi

ryuhei.ishibashi

第三回関数型プログラミング(仮)の会 に参加を申し込みました!

Masaki Haga

Masaki Haga

第三回関数型プログラミング(仮)の会に参加を申し込みました!

_ssd

_ssd

第三回関数型プログラミング(仮)の会に参加を申し込みました!

takayuki-tk

takayuki-tk

第三回関数型プログラミング(仮)の会 に参加を申し込みました!

sm0kym0nkey

sm0kym0nkey

第三回関数型プログラミング(仮)の会に参加を申し込みました!

cohhee

cohhee

第三回関数型プログラミング(仮)の会 に参加を申し込みました!

橋本 英樹

橋本 英樹

第三回関数型プログラミング(仮)の会に参加を申し込みました!

yaza_ta

yaza_ta

第三回関数型プログラミング(仮)の会 に参加を申し込みました!

Attendees (205)

Canceled (9)