[logic-ml] ラムダ計算と論理の早春セミナー3/12--3/16