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

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

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

Jan

26

Nextbeat Tech Bar:第五回関数型プログラミング(仮)の会

関数型プログラミングについてわいわい語ろう

Organizing : 株式会社ネクストビート

Nextbeat Tech Bar:第五回関数型プログラミング(仮)の会
Hashtag :#NextbeatTechBar
Registration info

オンライン参加(Google Meet)

Free

FCFS
101/120

オフライン参加(恵比寿)

Free

FCFS
25/30

発表枠(15分)

Free

FCFS
4/4

LT発表枠(5分)

Free

FCFS
4/4

Attendees
sm0kym0nkey
fn
shin-okada
tanaka_akr
shinji_kono
omanuke
onikakusi
shela
woxtu
liveinwood
View Attendee List
Start Date
2024/01/26(Fri) 19:00 ï½ž 21:00
Registration Period

2023/12/18(Mon) 00:00 〜
2024/01/26(Fri) 09:00まで

Location

ハイブリッド

オンライン(Google Meet) or 株式会社ネクストビート本社オフィス

View Map
参加者への情報
(参加者と発表者のみに公開されます)
出席登録
(イベント開始時間の2時間前から終了時間まで、参加者のみに公開されます)

Description

📢 関数型プログラミング(仮)の会について

Opt Technologies / 株式会社オプト様が過去に主催していた、関数型プログラミングについてなら何でもありの技術イベントです。この度、オプト様からイベント名 / イベントコンセプトをお譲りいただくことになり、Nextbeat Tech Barの枠で開催できる運びとなりました。

📢 イベント概要

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

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

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

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

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

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

  • 第一回:フリーテーマ
  • 第二回:現場での関数型プログラミング
  • 第三回:関数型データ構造
  • 第四回:関数型プログラミング教育

と開催してきた本イベントですが、長らく休止状態にあったのを再開するにあたり、第一回と同様にフリーテーマで関数型プログラミングに関する発表を募集したいと思います。

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

参加資格

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

発表について

Google Meetを使ってオンラインで発表していただきます。発表資料を画面共有しながら発表していただくという形になります。プレゼン資料については、必ずしも事前に提出の必要はありませんが、事前にあると聴講しにくる方にとって便利なので、できれば当日までに提出していただけると助かります。提出先は、kota.mizushima{atmark}nextbeat.net までよろしくお願いします({atmark}を@に置換)。

日時

  • 2023å¹´1月26日(金)19:00~21:00

※~22:00まで懇親会、20:00以降の参加は不可(懇親会のみ参加は不可)

開催方法

ハイブリッド開催になります。

  • オンライン(Google Meet)
  • オフライン(ネクストビート本社 東京都渋谷区恵比寿4-9-10 恵比寿駅より徒歩4分)

※オフライン参加の場合、参加者管理を行うため必ず「オフライン参加(恵比寿)」よりご応募をお願いします。

※オンライン参加用のURLは前日&当日にメッセージ送付させていただきます。

スケジュール

時間 内容 発表タイトル
18:45 受付開始 オフライン参加者のみ
19:00 挨拶 by kmizu
19:05 登壇者発表(15分枠) @tarao:「仮想関数テーブルと型クラスを見比べる」
19:20 登壇者発表(15分枠) @yoshihiro503:「関数型でブロックチェーンプログラミング」
19:35 休憩
19:50 登壇者発表(15分枠) @nobsun:「型の楽しみ方:証明 — Haskell編」
20:05 登壇者発表(15分枠) @Nymphium:「新春最適化手法解説: Tail Modulo Cons」
20:20 休憩
20:35 LT1(5分) @Windymelt:「こんなところにKleisli」
20:40 LT2(5分) @dora56:「C#で関数型プログラミング」
20:45 LT3(5分) @fetburner:「ネットワーク機器の中のOCaml」
20:50 LT4(5分) @knih:「最強JVM系関数型論理プログラミング言語、その名はFlix」
20:55 発表終了
21:00 懇親会 オフライン参加者のみ
22:00 懇親会終了

発表概要

  • 「仮想関数テーブルと型クラスを見比べる」by @tarao:

型クラスについての理解を深めるために、仮想関数テーブルで部分型多相+動的ディスパッチを実現した場合との違い・共通点を見比べてみます。型クラスは(その出自はともかく)関数型プログラミング特有の概念というわけではないことを確かめます。

  • 「関数型でブロックチェーンプログラミング」by @yoshihiro503:

関数型プログラミング言語OCamlでEthereumブロックチェーン上などEVM上で動作するスマートコントラクトを開発できる言語処理系ocaml2evmを紹介します。

  • 新春最適化手法解説: by @Nymphium:

OCaml 4.14で導入されたtail modulo consというプログラム変換を紹介します。 まず再帰関数と末尾再帰について説明し、その後非末尾再帰関数の問題点に触れ、tail modulo consによる解決方法を説明します。 Tail modulo cons自体は昔からあるテクニックですが、プログラム変換として定式化することにより、OCamlコンパイラによる最適化として導入できています。 この定式化と、OCamlでどう変換されるかなども見ていきます。

  • 「こんなところにKleisli」by @Windymelt:

関数型プログラミング、特にモナドの文脈ではKleisliという用語が登場しますが、実際のアプリケーションではどのような形で出現するのでしょうか? この発表では、VOICEVOXを利用した解説動画を作成するツールでKleisliが果たしている役割を紹介します。

  • 「ネットワーク機器の中のOCaml」by @fetburner

ソフトウェアルータのVyOS内でOCamlがどのように使われているかお話します。

注意事項

  • 本イベントの録音・録画は禁止しております。
  • 採用、営業活動を目的としたご参加はできません。
  • 当日体調が優れない方は、オフラインでの参加はご遠慮ください。
  • イベントは止むを得ず中止させて頂く場合がございます。その際は、本サイトからのメッセージよりご連絡させて頂きますのでご確認をお願い致します。

※情報は随時更新します。

参加資格

特にありません。関数型プログラミングという言葉を初めて聞いた方も、バリバリ現場で関数型プログラミングしてるぜ、という方も参加お待ちしています。

🍺Nextbeat Tech Barについて

不定期にネクストビート本社9階で開催しているBar形式のイベントと接続して開催されるテックイベントです。~2時間の勉強会+懇親会の形式で、オンライン参加・オフライン参加どちらもOKです!

今回は金曜日での開催となります!

弊社のエンジニアも参加するので、ゆるく交流しましょう✨

<過去開催実績>

他

会場場所貸し・イベント共同開催等の依頼

ネクストビートでは、技術やテック系コミュニティの発展を支援するために、以下の取り組みを行っています。

  • イベント会場の無償貸出(詳細についてはこちら)
  • 勉強会の開催/共同開催
  • 技術イベントへの登壇
  • 技術コミュニティ/イベントへのスポンサード

「弊社のスペースを利用してイベント開催がしたい」「弊社のエンジニアと一緒に勉強会を開催したい」「弊社のエンジニアに登壇してほしい」等のご相談・お問い合わせに関しては、こちらのフォームよりご連絡をお願いいたします。

【過去の実績(例)】

発表者

Feed

Windymelt

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

01/26/2024 23:37

knih

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

01/26/2024 21:45

dora56

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

01/26/2024 19:24

nextbeat

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

01/26/2024 16:05

INA Lintaro

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

01/26/2024 13:50

kmizu

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

01/26/2024 13:19

yoshihiro503

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

01/25/2024 22:00

yoshihiro503

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

01/25/2024 21:45

yoshihiro503

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

01/25/2024 21:39

fetburner

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

01/25/2024 17:37

nextbeat

nextbeat wrote a comment.

2024/01/15 10:59

第五回関数型プログラミング(仮)の会、イベントページを更新しました!現時点までに提出いただいた発表タイトルを掲載致しました。 #func_party

nextbeat

nextbeat published Nextbeat Tech Bar:第五回関数型プログラミング(仮)の会.

12/18/2023 11:09

Nextbeat Tech Bar:第五回関数型プログラミング(仮)の会 を公開しました!

Group

nextbeat

人口減少社会において必要とされるインターネット事業を創造し、ニッポンを元気にする

Number of events 23

Members 442

Ended

2024/01/26(Fri)

19:00
〜 21:00

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

Registration Period
2023/12/18(Mon) 00:00 〜
2024/01/26(Fri) 09:00

Location

ハイブリッド

オンライン(Google Meet) or 株式会社ネクストビート本社オフィス

Organizer

Attendees(134)

sm0kym0nkey

sm0kym0nkey

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

fn

fn

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

shin-okada

shin-okada

I joined Nextbeat Tech Bar:第五回関数型プログラミング(仮)の会!

tanaka_akr

tanaka_akr

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

shinji_kono

shinji_kono

I joined Nextbeat Tech Bar:第五回関数型プログラミング(仮)の会!

omanuke

omanuke

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

onikakusi

onikakusi

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

shela

shela

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

woxtu

woxtu

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

liveinwood

liveinwood

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

Attendees (134)

Canceled (13)