新着イベント

新機能イベント参加者限定の懇親会やミニイベント開催に対応した「サブイベント機能」をリリースしました。イベント運営を簡素化し、参加者の登録漏れや確認漏れを防ぐのにご活用ください。主催の方はサブイベントを作成するから、参加者の方はサブイベントが設定されているイベントに参加するから詳細をご確認いただけます。

1月
26
Nextbeat Tech Bar：第五回関数型プログラミング（仮）の会
関数型プログラミングについてわいわい語ろう

主催 : 株式会社ネクストビート

ハッシュタグ：#NextbeatTechBar

募集内容	オンライン参加（Google Meet）無料先着順 101/120人オフライン参加（恵比寿）無料先着順 25/30人発表枠（15分）無料先着順 4/4人 LT発表枠（5分）無料先着順 4/4人
申込者	申込者一覧を見る
開催日時	2024/01/26(金) 19:00 ～ 21:00 Googleカレンダー icsファイル
募集期間	2023/12/18(月) 00:00 〜 2024/01/26(金) 09:00まで
会場	オンライン開催オンライン
参加者への情報	(参加者と発表者のみに公開されます)
出席登録	(イベント開始時間の2時間前から終了時間まで、参加者のみに公開されます)

イベントの説明

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

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	挨拶	bykmizu
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でどう変換されるかなども見ていきます｡