論理学入門 II — ラムダ計算と関数型言語

2020/03/27 マルゼミの講演動画です。