Functional programming & Automated Theorem Proving

新機能 connpass API をメジャーバージョンアップし、「connpass API v2」を公開しました。APIの詳細な仕様や利用方法につきましては、 APIリファレンスをご確認ください。なお、旧バージョンの connpass API v1 は2025年末に廃止される予定です。

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

4月

19
Functional programming & Automated Theorem Proving

主催 : Inferara

募集内容	参加枠1 無料先着順 1/10人
申込者	申込者一覧を見る
開催日時	2025/04/19(土) 13:00 ～ 15:00 Googleカレンダー icsファイル
募集期間	2025/03/31(月) 12:06 〜 2025/04/19(土) 15:00まで
会場	福岡市エンジニアカフェ（赤煉瓦文化館内）福岡市中央区天神1丁目15番30号マップで見る会場のサイトを見る
参加者への情報	(参加者と発表者のみに公開されます)
出席登録	(イベント開始時間の2時間前から終了時間まで、参加者のみに公開されます)

イベントの説明

Join us for a workshop on functional programming and automated theorem proving. In this workshop, you will learn about the basics of functional programming, including algebraic data types, pattern matching, and polymorphic type systems. You will also learn how to use Rocq, a functional programming language, to prove theorems and construct programs.