『ゼロから始めるLean言語入門』輪読会 #12

お知らせ運営会社の年末年始休業につき、2025年12月26日(金)12時以降のconnpass機能のお問い合わせにつきましては2026年1月5日(月)より順次ご案内させていただきます。あらかじめご了承ください。

新機能技術カンファレンスをより見つけやすく、参加しやすくするための新機能「カンファレンス特集ページ」をリリースしました。「技術」や「テーマ」などのトピック別に探せるほか、直近開催予定のカンファレンスが一覧で確認できますのでご活用ください。詳しい機能説明や掲載方法についてはこちらをご確認ください。

11月

23

『ゼロから始めるLean言語入門』輪読会 #12

募集内容	参加枠無料参加者数 7人音読枠無料参加者数 2人
申込者	申込者一覧を見る
開催日時	2025/11/23(日) 21:00 ～ 23:00 Googleカレンダー icsファイル
募集期間	2025/11/17(月) 00:42 〜 2025/11/23(日) 23:00まで
会場	(場所未定)
参加者への情報	(参加者と発表者のみに公開されます)
出席登録	(イベント開始時間の2時間前から終了時間まで、参加者のみに公開されます)

ゼロから始めるLean言語入門をみんなで読むオンラインの輪読会です。

次回 p105 の 6.3.2 狭義順序と広義順序、等号の関係 から！
(Leanの環境構築は済ませた状態でご参加ください)

この輪読会は λ Kansai の Discordで開催します。
λ Kansaiに参加したことがない人でもLeanに興味がある人は誰でも参加可能です。
参加登録をするとDiscordに入るためのリンクが見えるようになるので、そこから入ってください。

LEAN JA ( https://discord.gg/p32ZfnVawh )
- Lean の話題全般のための Discord サーバ(管理者はこの本の著者)
- Lean のよく分からない仕様に出会ったり、コードを書いて詰まった時は「質問コーナー」に投げることができる
- Lean の教材を読むゼミやもくもく会もここで開催される
- Lean by Example を始めとした lean-ja のコンテンツに関する要望がある時もこっち