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