mwtndmik (@mwtndmik)


参加する勉強会



過去の勉強会

1/17 (水)

50a44fe02b59d3bb9a33132348195c8f Sicss Society Public Seminars & Workshops
証明中心でピアスの型システム入門を読む会
内容 TaPL (型システム入門) をみんなで読みましょう。 実装はあまりやらずに主に証明を中心に読み進めます。 今回 今回は3章から 持ち物 型システム入門 (無ければ隣の人に見せてもらえるかも) 参加枠について "Sicss Society枠"はサークル関係者のための枠です。 よくわからない方は一般枠からお申し込みください

12/20 (水)

50a44fe02b59d3bb9a33132348195c8f Sicss Society Public Seminars & Workshops
証明中心でピアスの型システム入門を読む会
内容 TaPL (型システム入門) をみんなで読みましょう。 実装はあまりやらずに主に証明を中心に読み進めます。 今回 今回は§§2.2.6から 持ち物 型システム入門 (無ければ隣の人に見せてもらえるかも) *NEW* ギフト交換用のプレゼントを持ってきましょう〜 参加枠について "Sicss Society枠"はサークル関係者のための枠です。 よくわからない方は一般枠からお申し込みください

11/22 (水)

50a44fe02b59d3bb9a33132348195c8f Sicss Society Public Seminars & Workshops
証明中心でピアスの型システム入門を読む会
内容 TaPL (型システム入門) をみんなで読みましょう。 実装はあまりやらずに主に証明を中心に読み進めます。 今回 2章数学的準備から 持ち物 型システム入門 (無ければ隣の人に見せてもらえるかも) 参加枠について "Sicss Society枠"はサークル関係者のための枠です。 よくわからない方は一般枠からお申し込みください

3/18 (土)

8e4f7fce315670850c7a34f9a7813c1b ProofCafe
(開始時刻が02:30と表示されますが、14:30からです)
little prover 読書会です。 今回は 6章からです。 終了後、18:00より、よしひろさんの壮行会が予定されています。 https://proofcafe.connpass.com/event/53012/