お知らせ
connpassではさらなる価値のあるデータを提供するため、2024年5月23日(木)を以ちましてイベントサーチAPIの無料での提供の廃止を決定いたしました。
2024年5月23日(木)以降より開始予定の「connpass 有料API」の料金プランにつきましてはこちらをご覧ください。
お知らせ connpassをご利用いただく全ユーザーにおいて健全で円滑なイベントの開催や参加いただけるよう、イベント参加者向け・イベント管理者向けのガイドラインページを公開しました。内容をご理解の上、イベント内での違反行為に対応する参考としていただきますようお願いいたします。
TaPL (型システム入門) をみんなで読みましょう。 実装はあまりやらずに主に証明を中心に読み進めます。
ビデオ閲覧申請： https://goo.gl/forms/ej6VXirPIE5mWZdu2
§11.5 Let束縛
型システム入門 （無ければ隣の人に見せてもらえるかも）
"Sicss Society枠"はサークル関係者のための枠です。 よくわからない方は一般枠からお申し込みください
資料が投稿されると、最新の3件が表示されます。
まだ投稿されていません。
2018/10/10(水)
18:45 〜 20:45開催日時が重複しているイベントに申し込んでいる場合、このイベントには申し込むことができません
募集期間
2018/10/10(水) 18:45
〜
20:45
connpass関連サービス
Haochen Kotoi-Xie (謝昊辰)
c0hama
エンジニアをつなぐ
connpass は株式会社ビープラウドが開発・運営しています