[logic-ml] ラムダ計算と論理の早春セミナー (3/6--3/10)