お知らせ connpassではさらなる価値のあるデータを提供するため、2024年5月23日(木)を以ちましてイベントサーチAPIの無料での提供の廃止を決定いたしました。
料金・プラン等につきましては後日改めてご案内いたします。詳しくはこちらの お知らせをご覧ください。

お知らせ connpassをご利用いただく全ユーザーにおいて健全で円滑なイベントの開催や参加いただけるよう、イベント参加者向け・イベント管理者向けのガイドラインページを公開しました。内容をご理解の上、イベント内での違反行為に対応する参考としていただきますようお願いいたします。

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

Mar

24

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

~関数型プログラミング教育について~

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

第四回関数型プログラミング(仮)の会
Hashtag :#func_party
Registration info

オンライン参加枠

Free

FCFS
200/250

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

Free

FCFS
5/5

オンラインLT枠(5分)

Free

FCFS
3/6

Attendees
giantneco
増田 亨
NaOHaq
webgyo
rkyymmt
yuta24
arsydc1
mokamoto12
tadsan
stakumi
View Attendee List
Start Date
2023/03/24(Fri) 18:30 ~ 23:00
Registration Period

2023/01/24(Tue) 00:00 〜
2023/03/24(Fri) 23:00まで

Location

オンライン

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

Description


概要

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

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

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

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

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

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

として開催してきた本イベントですが、第四回のテーマは「関数型プログラミング教育」です。

関数型プログラミング言語にあった機能や概念は、既存の言語にもかなり実装されてきており、以前よりは理解を得やすくなったとはいえ、まだまだ「関数型プログラミング」という言葉自体が難しく感じられる人も多いように思います。

その観点から「関数型プログラミング」という考え方や諸機能についてどう教えるか、あるいは教える際の課題について話し合えればと考えています。

現在、関数型プログラミング的な考え方を教える側に立っている側も、教わっている側も、どちらの観点からの発表も歓迎します。

「教える」「学習する」という観点での発表であれば言語は問いません。概念(たとえば「副作用」「純粋関数」といった用語について)についても、言語の機能(ラムダ式、型クラス、代数的データ型)についてでもOKです。

皆様の参加や発表をお待ちしています。

参加資格

特にありません。今回は特に「教育」に関係する問題でもあるので「関数型プログラミング」について「よくわからない」という印象を持っている方の参加も積極的に歓迎したいと思います。

発表について

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

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

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

  • 18:30: 開始
  • 18:30-18:40: オープニング by @kmizu
  • 18:50-21:10: 発表
    • 18:50-19:10: 社内のメンバーに 関数型プログラミングの学習・教育 についていろいろ聞いてみた by @j5ik2o
    • 19:10-19:20: 休憩
    • 19:20-19:40: 本当に0からの関数型プログラミングの歩き始め方 by @guvalif
    • 19:40-19:50: 休憩
    • 19:50-20:10: コードレビューサービスで多くの現場に伝えたこと by @gakuzzzz
    • 20:10-20:20: 休憩
    • 20:20-20:40: 関数型プログラミング攻略ガイド by @knih
    • 20:40-20:50: 休憩
    • 20:50-21:10: 脱・初心者のための自作ゲームボーイエミュレータ開発 by @linoscope
  • 21:10-21:30: LT
    • LT1: 関数型で表現するイベントソーシングの実装とその教育 by @tomohisa
      • 社内で使っているイベントソーシングの実装をできるだけ関数型に寄せて作成して、それをチームが実装するときにどのように教えて行ったかについて話したいと思います。
    • LT2: 関数型言語使いのための形式証明入門 by @yoshihiro503
    • LT3: 関数型プログラミングってなんだろう by @tockri
  • 21:30-21:40: クロージング
  • 21:40-23:00: 懇親会

場所

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

受付

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

参加費について

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

飲食について

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

キャンセルについて

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

アンケートについて

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

<共同利用企業>

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

Presenter

Feed

Lin Oshitani

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

03/25/2023 00:17

tomohisa

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

03/24/2023 21:46

gakuzzzz

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

03/24/2023 21:46

かとじゅん

かとじゅんさんが資料をアップしました。

03/24/2023 19:20

かとじゅん

かとじゅんさんが資料をアップしました。

03/24/2023 19:20

TAKASE Kazuyuki

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

03/24/2023 18:33

yoshihiro503

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

03/24/2023 17:06

yoshihiro503

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

03/24/2023 17:04

kmizu

kmizu wrote a comment.

2023/03/24 14:34

ZoomウェビナーのURLが発行されました。「参加者への情報」欄に書かれています。

kmizu

kmizu wrote a comment.

2023/03/23 10:28

プログラム更新しました!よろしくお願い致します!

kmizu

kmizu wrote a comment.

2023/03/22 16:22

二日前ですが、プログラム更新しました!よろしくお願い致します!

kmizu

kmizu wrote a comment.

2023/03/20 23:57

connpassのメッセージが届いてない方がいるかもなので、こちらの方でも告知です。発表者(LT枠含む)の方はなるべく早めに発表タイトルいただけると助かります……。

kmizu

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

01/24/2023 15:50

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

Group

Ended

2023/03/24(Fri)

18:30
23:00

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

Registration Period
2023/01/24(Tue) 00:00 〜
2023/03/24(Fri) 23:00

Location

オンライン

オンライン

Attendees(208)

giantneco

giantneco

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

増田 亨

増田 亨

これは楽しみ。 第四回関数型プログラミング(仮)の会に参加を申し込みました!

NaOHaq

NaOHaq

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

webgyo

webgyo

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

rkyymmt

rkyymmt

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

yuta24

yuta24

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

arsydc1

arsydc1

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

mokamoto12

mokamoto12

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

tadsan

tadsan

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

stakumi

stakumi

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

Attendees (208)

Canceled (7)