日常

授業×2
片一方がλ計算で出なくても良い気がして悩む。λ式の定義もせずに簡約やってた。さて。
師匠に気になったことがあったので確認のメールを送ってみたら、セミナーの日付が決まった（;´Д｀） 薮蛇。