勉強会について

目的

定理証明支援系であり関数型プログラミング言語でもある Lean の勉強会です。 参加者によるライトニングトーク（LT）をメインコンテンツとし、情報交換、相談など、稀少なユーザー同士の交流を図ることを目的とします。

LT

参加者で LT 発表できるかたはぜひお願いします（必須ではありません）。 会場の時間に余裕があるので、ロングトークでも歓迎します。

Lean に関係すれば内容不問です。 勉強した内容、実務で適用した経験、困ったこと、等々、 Lean に対する思いがあれば発表してください。

会場

京浜東北線赤羽駅徒歩5分のフルーリオ株式会社オフィスです。 詳細な入場方法は参加者に別途通知します。

タイムテーブル（仮）

※ 変更の可能性があります

グループのメンバー登録のお願い

Lean 界隈を盛り上げるために、今回の勉強会に参加されずとも、 Lean に興味のある方はぜひグループに参加してください。