今週の授業、現状では授業ができそうですが、引き続き本Blog・クラシスの掲示及びメールにご注意下さい。 本日の授業 授業第八回目、∀の導入・除去規則についてです。∀の導入規則には、eigenvariable条件という、非常にややこしい制限がついているので、注意…