勉強会：【マルゼミ】論理学入門 II -- ラムダ計算と関数型言語
【マルゼミ】論理学入門 II -- ラムダ計算と関数型言語
■ 日時：2020/3/26 19:00ｰ22:00
■ 感想
→ マルゼミ、初のオンラインセミナ
まだ視聴していないが、時間を見て学習予定
■ 開催・資料
- Web 開催：
→ マルゼミ「論理学入門 II — ラムダ計算と関数型言語」 - YouTube
→ 資料
（セミナ・メモ）
以上
→ マルゼミ、初のオンラインセミナ
まだ視聴していないが、時間を見て学習予定
（セミナ・メモ）
以上