夏休み補講の日程調整 こちらのリンクから、日程調整ページへ飛んで、入力して下さい。 入力の〆切は7月22日（金）でお願いします。 結果発表は7月26日の予定です。 本日の授業内容 授業第十回目、量化子 ∀の導入規則と∃の除去規則に付加されているeigenvari…