初め の 数 回 で 定義 や 成り立ち から 丁寧 に 教え て くれる 。 証明 手順 の 説明 も ちゃんと 聞け ば わかる し ISTU で 録画 が 配信 さ れ て いる の で 見直す こと が できる 。 授業 中 は 睡魔 に 負ける 人 が 大勢 いる もの の 注意 さ れ ない 。 毎回 の ミニット ペーパー に なに かしら ひと つ は コメント を 書く よう 言わ れる 。 テスト は 基本的 に 授業 で 使う プリント の 練習問題 を なぞっ た 内容 で 、 練習問題 の 解答 も 配布 さ れる の で テスト 期間 だけ 勉強 すれ ば 乗り切れる 。 自然 演繹 系 の 無矛盾 性 の 論述 が 出さ れ た が よく わから なかっ た 。 それ で も 証明 問題 と 自由 記述 を そこそこ 書い たら AA もらえ た 。